Skip to content
Commit 6ebeba88 authored by Arjun P's avatar Arjun P Committed by Alex Zinenko
Browse files

Support emptiness checks for unbounded FlatAffineConstraints. 

With this, we have complete support for emptiness checks. This also paves the way for future support to check if two FlatAffineConstraints are equal.

Reviewed By: ftynse

Differential Revision: https://reviews.llvm.org/D94272
parent be40c120
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment