Closed saulshanabrook closed 2 months ago
This pull request includes changes to serialize whether nodes are subsumed in the EGraph.
It depends on https://github.com/egraphs-good/egraph-serialize/pull/16 being merged first to add this field to the underlying serialized data structure.
It was requested by @gussmith23.
This pull request includes changes to serialize whether nodes are subsumed in the EGraph.
It depends on https://github.com/egraphs-good/egraph-serialize/pull/16 being merged first to add this field to the underlying serialized data structure.
It was requested by @gussmith23.