Skip to content

[mlir][presburger] add functionality to compute local mod in IntegerRelation#153614

Merged
j2kun merged 1 commit intollvm:mainfrom
asraa:mod-constraint-relation
Aug 15, 2025
Merged

[mlir][presburger] add functionality to compute local mod in IntegerRelation#153614
j2kun merged 1 commit intollvm:mainfrom
asraa:mod-constraint-relation

Commits

Commits on Aug 15, 2025