Skip to content

Replace egg-style deferred rebuilding with traditional immediate E-Graph repair - #154

Merged
hzhangxyz merged 3 commits into
mainfrom
copilot/use-original-egraph-implementation
Dec 22, 2025
Merged

Replace egg-style deferred rebuilding with traditional immediate E-Graph repair#154
hzhangxyz merged 3 commits into
mainfrom
copilot/use-original-egraph-implementation

Remove rebuild() method as it's no longer needed

ef893ab
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar