Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / egraphs-good/egraph-serialize issues and pull requests

#18 - json schema for serialization format

Issue - State: open - Opened by pca006132 2 months ago - 1 comment

#18 - json schema for serialization format

Issue - State: open - Opened by pca006132 2 months ago - 1 comment

#17 - Prepare v0.2.0

Pull Request - State: closed - Opened by yihozhang 3 months ago

#17 - Prepare v0.2.0

Pull Request - State: closed - Opened by yihozhang 3 months ago

#16 - Add support for storing if a node is subsumed

Pull Request - State: closed - Opened by saulshanabrook 3 months ago - 5 comments

#15 - Change graphviz text to be monospace

Pull Request - State: open - Opened by saulshanabrook 4 months ago

#14 - Add ability to split e-classes for easier visualization

Pull Request - State: closed - Opened by saulshanabrook 4 months ago - 1 comment

#13 - Emit deterministic output

Issue - State: open - Opened by fitzgen 5 months ago - 1 comment

#12 - Add algorithm to remove orphan nodes

Issue - State: open - Opened by saulshanabrook 7 months ago

#11 - Support Empty E-Classes

Issue - State: open - Opened by saulshanabrook 7 months ago

#10 - Fix viz generation instructions

Pull Request - State: closed - Opened by saulshanabrook 11 months ago

#9 - Make graphviz colors consistent and fix color bug

Pull Request - State: closed - Opened by saulshanabrook about 1 year ago

#8 - Add example of fib with outputs split into own e-classes

Pull Request - State: closed - Opened by saulshanabrook about 1 year ago - 2 comments

#7 - Escape newlines in graphviz output

Pull Request - State: closed - Opened by saulshanabrook about 1 year ago - 1 comment

#6 - Add ability to "saturate" inlining

Pull Request - State: closed - Opened by saulshanabrook over 1 year ago - 1 comment

#5 - Fix isolated nodes

Pull Request - State: closed - Opened by saulshanabrook over 1 year ago

#4 - Add support for exporting with Graphviz

Pull Request - State: closed - Opened by saulshanabrook over 1 year ago - 1 comment

#3 - Children are classes not nodes

Pull Request - State: closed - Opened by saulshanabrook over 1 year ago - 1 comment

#2 - Use local test files

Pull Request - State: closed - Opened by saulshanabrook over 1 year ago

#1 - Add sorts/types/names to classes

Pull Request - State: closed - Opened by saulshanabrook over 1 year ago - 2 comments