egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Replace NoContext with InFunc #528

Closed yihozhang closed 6 months ago

yihozhang commented 6 months ago

so that there will be no sharing among expressions in different functions. A follow-up task is to re-enable function inlining based on this refactor.