Draft: Complete Overhaul of Egraphs (even faster) #184

Closed

0x0f0f0f wants to merge 72 commits intomasterfrom

ale/RENEW_EGRAPH_ENODE_VEC

Commits on Oct 23, 2023

renew unionfind
a
committed
adjust test
a
committed

Commits on Oct 24, 2023

renew rebuilding
a
committed
fix typo
a
committed

Commits on Oct 28, 2023

Commits on Oct 29, 2023

add checks
a
committed

Commits on Nov 6, 2023

benchmarks and check memo comment
a
committed

Commits on Dec 5, 2023

add things
a
committed
make classical rewriting work
a
committed
make more tests passa
a
committed
make all tests
a
committed
TI version bump
a
committed

Commits on Dec 6, 2023

rename
a
committed
Merge branch 'ale/newtiface' into ale/RENEW_EGRAPH
a
committed
BLAZING FAST
a
committed
restrict type
a
committed
remove data structures
a
committed
fix op_key
a
committed

Commits on Dec 7, 2023

Merge branch 'master' into ale/RENEW_EGRAPH
a
committed

Commits on Dec 10, 2023

adjust tests and benchmarks
a
committed

Commits on Dec 30, 2023

Commits on Jan 7, 2024

Commits on Jan 8, 2024

cleanup and adjust docs
a
committed
README improvements
a
committed

Commits on Jan 9, 2024

Commits on Jan 10, 2024

use UInt as id
a
committed

Commits on Jan 11, 2024

better readme
a
committed
remove TODO and enhance readme
a
committed
ideas
a
committed

Commits on Jan 12, 2024

more readme
a
committed
initial adjustment to TermInterface
a
committed
more progress with new tiface
a
committed
make tests pass
a
committed
partial progress
a
committed
progress idk
a
committed

Commits on Jan 13, 2024