Interval Analysis for Tree Unique - Githubissues

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Interval Analysis for Tree Unique #267

Closed ajpal closed 8 months ago

ajpal commented 8 months ago

Basically the same logic as https://github.com/egraphs-good/eggcc/pull/138, but much simpler under new schema

Future work

generalize rules to more branches
add more interval rules for the math operators. Right now just + and <

Closes #238