Search results

Duplicate root e-classes

Status: Open.

#54 In egraphs-good/extraction-gym;

· marcusrossel opened on Jun 23, 2026

Unused _root argument in DAG cost extractors?

Status: Open.

#49 In egraphs-good/extraction-gym;

· ren-zeng opened on Nov 10, 2025

cranelift egraphs

Status: Open.

#42 In egraphs-good/extraction-gym;

· pca006132 opened on Sep 20, 2024

Pipeline for getting an egraph_serialized from the extraction-gym

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