Skip to content

Bugfix: cprop rule: `(x + k1) - k2` becomes `x - (k2 - k1)`, not `x -…

40928ab
Select commit
Loading
Failed to load commit list.
Merged

egraph support: rewrite to work in terms of CLIF data structures. #5382

Bugfix: cprop rule: `(x + k1) - k2` becomes `x - (k2 - k1)`, not `x -…
40928ab
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs