Search results

Controllable labels, or a way to fold children into nodes

Status: Open.

#20 In egraphs-good/egraph-serialize;

· gussmith23 opened on Mar 20, 2025

json schema for serialization format

Status: Open.

#18 In egraphs-good/egraph-serialize;

· pca006132 opened on Sep 20, 2024

Emit deterministic output

Status: Open.

#13 In egraphs-good/egraph-serialize;

· fitzgen opened on Jun 28, 2024

Add algorithm to remove orphan nodes

Status: Open.

#12 In egraphs-good/egraph-serialize;

· saulshanabrook opened on Apr 26, 2024

Support Empty E-Classes

Status: Open.

#11 In egraphs-good/egraph-serialize;

· saulshanabrook opened on Apr 26, 2024