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

Open

christopherbate wants to merge 3 commits intollvm:mainfrom

christopherbate:mlir-presburger-compute-repr-fix

Commits on Dec 6, 2024

[mlir][presburger] Preserve relative ordering of symbols and non-symbol vars when setting up SymbolicLexSimplex
christopherbate
committed

Commits on Jan 6, 2025

Fix SimplexBase constructor to use stable partitioning when reordering columns.
christopherbate
committed
Address additional review comments.
christopherbate
committed