[Tree Assume] Constant folding, including numeric and comparison operators - Githubissues

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

[Tree Assume] Constant folding, including numeric and comparison operators #253

Open oflatt opened 8 months ago