Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[MLIR] PresburgerSet emptiness check: remove assertions that there ar…
…e no symbols Symbols are now supported in the integer emptiness check. Remove some outdated assertions checking that there are no symbols. Reviewed By: ftynse Differential Revision: https://reviews.llvm.org/D100327
- Loading branch information