egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Interpreter for DAG IR #411

Closed oflatt closed 7 months ago

oflatt commented 7 months ago

This PR fixes up the interpreter to work with the DAG IR. It does so by caching results for evaluating nodes based on the Rc pointer so that they are evaluated just once.