[Mlir-commits] [mlir] [mlir][Presburger] Add IntegerRelation::reduceUsingEqualities helper (PR #235956)

Jeremy Kun llvmlistbot at llvm.org
Mon Nov 2 19:10:43 PST 2026

Previous message: [Mlir-commits] [mlir] ac2333f - [mlir][Presburger] NFC: factor out removeRedundantConstraintsFromSimplex (#235955)
Next message: [Mlir-commits] [mlir] [mlir][Presburger] Add IntegerRelation::reduceUsingEqualities helper (PR #235956)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

https://github.com/j2kun edited https://github.com/llvm/llvm-project/pull/235956

Previous message: [Mlir-commits] [mlir] ac2333f - [mlir][Presburger] NFC: factor out removeRedundantConstraintsFromSimplex (#235955)
Next message: [Mlir-commits] [mlir] [mlir][Presburger] Add IntegerRelation::reduceUsingEqualities helper (PR #235956)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Mlir-commits mailing list