egraphs-good egraph-serialize issues - Githubissues

egraphs-good / egraph-serialize

egraph <-> json

MIT License

8 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Emit deterministic output

#13 fitzgen opened 4 days ago
1
Add algorithm to remove orphan nodes

#12 saulshanabrook opened 2 months ago
0
Support Empty E-Classes

#11 saulshanabrook opened 2 months ago
0
Fix viz generation instructions

#10 saulshanabrook closed 5 months ago
0
Make graphviz colors consistent and fix color bug

#9 saulshanabrook closed 7 months ago
0
Add example of fib with outputs split into own e-classes

#8 saulshanabrook closed 7 months ago
2
Escape newlines in graphviz output

#7 saulshanabrook closed 7 months ago
1
Add ability to "saturate" inlining

#6 saulshanabrook closed 7 months ago
1
Fix isolated nodes

#5 saulshanabrook closed 10 months ago
0
Add support for exporting with Graphviz

#4 saulshanabrook closed 11 months ago
1
Children are classes not nodes

#3 saulshanabrook closed 11 months ago
1
Use local test files

#2 saulshanabrook closed 11 months ago
0
Add sorts/types/names to classes

#1 saulshanabrook closed 11 months ago
2