- ad34ce9 [MLIR] Simplex: fix a bug when rolling back a Simplex with no solutions by Arjun P · 3 years, 7 months ago
- f074bbb [MLIR] Simplex::pivot: also update the redundant rows when pivoting by Arjun P · 3 years, 7 months ago
- ad48ef1e [MLIR][NFC] Simplex::restoreRow: improve documentation by Arjun P · 3 years, 7 months ago
- 3b7b4a8 [MLIR][NFC] Simplex::markRowRedundant: assert that row is not already marked redundant by Arjun P · 3 years, 7 months ago
- 76cb876 [MLIR] Simplex::appendVariable: early return if count == 0 by Arjun P · 3 years, 9 months ago
- 33afea5 [MLIR] Simplex: rename num{Variables,Constraints} to getNum{Variables,Constraints} by Arjun P · 3 years, 9 months ago
- 2b44a73 [MLIR] Simplex: support adding new variables dynamically by Arjun P · 3 years, 9 months ago
- f263ea1 [MLIR] Matrix: support resizing horizontally by Arjun P · 3 years, 9 months ago
- c605dfc [MLIR] FlatAffineConstraints: Use Matrix objects to store the constraints by Arjun P · 4 years ago
- 90fec5e [mlir] make MLIRPresburger depend on MLIRIR by Alex Zinenko · 4 years, 3 months ago
- e21adfa [mlir] Mark LogicalResult as LLVM_NODISCARD by River Riddle · 4 years, 5 months ago
- 14056df [MLIR] Add support for extracting an integer sample point (if one exists) from an unbounded FlatAffineConstraints. by Arjun P · 4 years, 5 months ago
- 6ebeba8 Support emptiness checks for unbounded FlatAffineConstraints. by Arjun P · 4 years, 5 months ago
- 41b09f4 [mlir] NFC: fix trivial typos fix typos in comments and documents by Kazuaki Ishizaki · 4 years, 8 months ago
- 63dead2 Introduce subtraction for FlatAffineConstraints by Arjun P · 4 years, 9 months ago
- 33f5746 [MLIR] Redundancy detection for FlatAffineConstraints using Simplex by Arjun P · 4 years, 10 months ago
- 06b9058 [mlir]: NFC: Fix trivial typo in documents and comments by Kazuaki Ishizaki · 5 years ago
- 10a898b3 [MLIR] Exact integer emptiness checks for FlatAffineConstraints by Arjun P · 5 years ago
