Search results

Analysis script is missing analysisdata

Status: Open.

#26 In ashiven/eqsat;

· ashiven opened on Jun 17, 2026

Another script for new cost functions

enhancementNew feature or requestNew feature or request

Status: Open.

#25 In ashiven/eqsat;

· ashiven opened on Jun 14, 2026

Idea - Could write a formatter for mim

questionFurther information is requestedFurther information is requested

Status: Open.

#24 In ashiven/eqsat;

· ashiven opened on Jun 14, 2026

Implement type-union for TypeAnalysis::merge

enhancementNew feature or requestNew feature or request

Status: Open.

#23 In ashiven/eqsat;

· ashiven opened on Jun 14, 2026

Add larger and more complex test cases

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In ashiven/eqsat;

· ashiven opened on Jun 14, 2026

Parameter bindings created multiple times from unknown variable

bugSomething isn't workingSomething isn't working

Status: Open.

#21 In ashiven/eqsat;

· ashiven opened on Jun 12, 2026

Vars are emitted instead of equivalent terms

bugSomething isn't workingSomething isn't working

Status: Open.

#19 In ashiven/eqsat;

· ashiven opened on Jun 8, 2026

Performance improvements

enhancementNew feature or requestNew feature or request

Status: Open.

#15 In ashiven/eqsat;

· ashiven opened on Jun 7, 2026

Egg: Complex types containing mutables with variables

Status: Open.

#11 In ashiven/eqsat;

· ashiven opened on May 26, 2026

Egg: Implementation is lagging behind

Status: Open.

#8 In ashiven/eqsat;

· ashiven opened on May 13, 2026