Draft: Complete overhaul#177

Closed

0x0f0f0f wants to merge 60 commits intomasterfrom

ale/RENEW_EGRAPH

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