[Arith] MLIR PresburgerSet compile fix mlir >= 160#15638
Merged
junrushao merged 1 commit intoapache:mainfrom Aug 31, 2023
cbalint13:main
Merged
[Arith] MLIR PresburgerSet compile fix mlir >= 160#15638junrushao merged 1 commit intoapache:mainfrom cbalint13:main
junrushao merged 1 commit intoapache:mainfrom
cbalint13:main
