Search results

Scheduler: Allow configuring max number of iterations of rewrites

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#43 In alt-romes/hegg;

· alt-romes opened on Oct 30, 2025

·  

v0.7

Release 0.7.0

Status: Open.

#42 In alt-romes/hegg;

· alt-romes opened on Oct 29, 2025

·  

v0.7

E-Analysis in test/Sym.hs

Status: Open.

#35 In alt-romes/hegg;

· Tarmean opened on Mar 5, 2024

E-Matching Non-Canonical Nodes

Status: Open.

#34 In alt-romes/hegg;

· Tarmean opened on Mar 5, 2024

Direct rewrite rules

Status: Open.

#29 In alt-romes/hegg;

· jameshaydon opened on Sep 17, 2023

Refer to join semilattice in Analysis documentation

documentationImprovements or additions to documentationImprovements or additions to documentation

good first issueGood for newcomersGood for newcomers

Status: Open.

#28 In alt-romes/hegg;

· alt-romes opened on Aug 22, 2023

Module wrapping e-graphs to use custom e-class-ids

questionFurther information is requestedFurther information is requested

Status: Open.

#23 In alt-romes/hegg;

· alt-romes opened on Jul 29, 2023

Parent nodes are not deduplicated

Status: Open.

#21 In alt-romes/hegg;

· Tarmean opened on Mar 8, 2023

Rename {find,canonicalize} to unsafe{Find,Canonicalize}

Status: Open.

#1 In alt-romes/hegg;

· aspiwack opened on Aug 26, 2022

·  

v0.3