Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

EGraph minimization with bisimulation #346

Open
wants to merge 22 commits into
base: main
Choose a base branch
from
Open

EGraph minimization with bisimulation #346

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
992b3e9
quicksave
danieltherealyang Oct 22, 2024
ebb9eec
implemented splitfn data structures for hashing
danieltherealyang Nov 2, 2024
94eb2e7
dtfa completed, need to bug test
danieltherealyang Nov 3, 2024
d04b035
bugfix: add coarse_id to compound_blocks when inserting new fine_id t…
danieltherealyang Nov 16, 2024
5ea808f
Added some comments
danieltherealyang Nov 16, 2024
35a0217
generate_obsmap works
danieltherealyang Nov 20, 2024
9029c34
fixed choose_smaller_half bug
danieltherealyang Nov 27, 2024
a1ae404
tested obs_q in new
danieltherealyang Nov 27, 2024
d4326a4
separated obsmap changes from splitfn for clarity
danieltherealyang Dec 1, 2024
0c3182c
manual testing for splitf/splitfn, everything seems to be working
danieltherealyang Dec 4, 2024
2063e42
created DtfaMapper which can map any generic state and symbol classes
danieltherealyang Dec 26, 2024
57c9a32
Outline for minimize egraph complete
danieltherealyang Dec 28, 2024
20551d3
Egraph minimize helper fns implementation done, needs testing
danieltherealyang Dec 29, 2024
dfe3f60
Changed dtfa testcase from DTFA::fn() to Dtfa::fn().
danieltherealyang Dec 30, 2024
ed6a306
Transition table returns empty iterator if no rules for state.
danieltherealyang Dec 30, 2024
7038594
Fixed inconsistent symbols between egraph.nodes and egraph.classes().…
danieltherealyang Jan 2, 2025
ce29226
Merge branch 'main' of https://github.com/egraphs-good/egg into clean
danieltherealyang Jan 21, 2025
1a8b1a8
changed dtfa test to not fail
danieltherealyang Jan 21, 2025
38c036b
remove hashbrown import and cargo fmt fix
danieltherealyang Jan 21, 2025
c28ba0d
clippy fixes
danieltherealyang Jan 21, 2025
52322d6
more clippy fixes
danieltherealyang Jan 21, 2025
e6453c0
Fix cargo fmt
danieltherealyang Jan 21, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -33,6 +33,7 @@ vectorize = {version = "0.2.0", optional = true}

# for the reports feature
saturating = "0.1.0"
derivative = "2.2.0"
serde_json = {version = "1.0.81", optional = true}

[dev-dependencies]
Expand Down
Loading
Loading