[Mlir-commits] [mlir] mlir/Presburger: contribute a free-standing parser (PR #94916)

[Ramkumar Ramachandra]

artagnon wrote:

I wasn't able to parse directly into a MultiAffineFunction, since I couldn't compute the relation space, which requires knowing the total number of div expressions in advance, but the new parse structures are very thin, and the flattener trivially flattens them directly into an IntMatrix.

https://github.com/llvm/llvm-project/pull/94916