[WIP] Tree InContext Loop Invariant Hoist - Githubissues

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

[WIP] Tree InContext Loop Invariant Hoist #387

Closed clyben closed 5 months ago

clyben commented 6 months ago

Draft version, blocked by subst functions and lacking test

clyben commented 5 months ago

closing for changing to new schema