Don't generate let bindings for pure expressions

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Closed oflatt closed 7 months ago

oflatt commented 7 months ago

This PR modifies the translation from RVSDG to tree encoding to not generate let bindings for pure expressions.