[Mlir-commits] [mlir] [mlir][presburger] Preserve relative ordering of symbols and non-symbol vars when setting up SymbolicLexSimplex (PR #119036)

[Arjun P]

https://github.com/Superty approved this pull request.

Hi, sorry about the delay. I mistakenly thought that this was blocked on opening the other issue. This looks good to me overall, but please address the two comments I just left before landing. Thanks for the PR! Looking forward to investigating a reproducer for the other issue.

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