EGraph minimization with bisimulation#346

Open

danieltherealyang wants to merge 22 commits intoegraphs-good:mainfrom danieltherealyang:clean

+1,160

Commits on Oct 22, 2024

quicksave
danieltherealyang
committed

Commits on Nov 2, 2024

implemented splitfn data structures for hashing
danieltherealyang
committed

Commits on Nov 3, 2024

dtfa completed, need to bug test
danieltherealyang
committed

Commits on Nov 16, 2024

Commits on Nov 20, 2024

generate_obsmap works
danieltherealyang
committed

Commits on Nov 27, 2024

Commits on Dec 1, 2024

separated obsmap changes from splitfn for clarity
danieltherealyang
committed

Commits on Dec 4, 2024

manual testing for splitf/splitfn, everything seems to be working
danieltherealyang
committed

Commits on Dec 26, 2024

created DtfaMapper which can map any generic state and symbol classes
danieltherealyang
committed

Commits on Dec 28, 2024

Outline for minimize egraph complete
danieltherealyang
committed

Commits on Dec 29, 2024

Egraph minimize helper fns implementation done, needs testing
danieltherealyang
committed

Commits on Dec 30, 2024

Commits on Jan 2, 2025

Fixed inconsistent symbols between egraph.nodes and egraph.classes().flatten_map()
danieltherealyang
committed