egraphs-good / eggcc

MIT License
51 stars 11 forks source link

State edge passthrough #552

Closed Alex-Fischman closed 6 months ago

Alex-Fischman commented 6 months ago

This PR is finally able to fully delete if statements by rewriting them to if statements that don't have state edges if the state edge is passed through. It does this by creating a new subst-like helper called DropAt which can delete an input from a region.