Three quarters switch rewrites

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Closed Alex-Fischman closed 7 months ago

Alex-Fischman commented 7 months ago

This PR adds switch rewrites and switch rewrite tests. It also fixes an interpreter bug with short circuiting.