Fix rules to work with dag semantics

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Fix rules to work with dag semantics #414

Closed oflatt closed 5 months ago

oflatt commented 5 months ago

This PR makes various changes to make the egglog code compatible with DAG semantics, including removing Let from the language. Mostly it just cleans up the tests and re-writes them not to use lets.