Search results

cranelift egraphs

Status: Open.

#42 In egraphs-good/extraction-gym;

· pca006132 opened on Sep 20, 2024

Pipeline for getting an <code>egraph_serialized</code> from the <code>extraction-gym</code>

Status: Open.

#38 In egraphs-good/extraction-gym;

· ninehusky opened on Jul 18, 2024

ExtractionResult is not flexible enough for some extractors

Status: Open.

#36 In egraphs-good/extraction-gym;

· oflatt opened on Apr 29, 2024

Use extraction-gym as a library?

Status: Open.

#35 In egraphs-good/extraction-gym;

· gussmith23 opened on Apr 25, 2024

global-greedy-dag sometimes extracts nodes from the wrong class

Status: Open.

#28 In egraphs-good/extraction-gym;

· TrevorHansen opened on Dec 27, 2023

Why is fast-greedy-dag worse in terms of dag size?

Status: Open.

#19 In egraphs-good/extraction-gym;

· oflatt opened on Dec 5, 2023

Cycles found in tensat acyclic egraphs

Status: Open.

#14 In egraphs-good/extraction-gym;

· yaohuicai opened on Oct 25, 2023