egraphs-good/egglog

Issues

• Performance issue when extracting large expression with vecs

  #493 opened 11 days ago
  1

• Unintuitive parser errors

  #488 opened 10 days ago
  0

• Disabling certain actions on `constructor` and `relation`

  #483 opened 17 days ago
  0

• Disabling custom function lookups in merge functions

  #482 opened 17 days ago
  0

• Update bindings to use constructors

  #481 opened 17 days ago
  0

• Pattern-local `let` binding?

  #476 opened 17 days ago
  6

• Compile time regression

  #468 opened a month ago
  1

• Cycle in compiled query error

  #464 opened 2 months ago
  0

• Bad error message for (+ 1 2 3)

  #463 opened 17 days ago
  0

• Subsumption confusing semantics

  #462 opened 2 months ago
  4

• Egglog viz cut off without indication

  #460 opened 2 months ago
  4

• Syntax proposal: `for`

  #455 opened 2 months ago
  1

• Add all contributors as members of the codspeed org

  #451 opened 2 months ago
  3

• Debug prints entire program every time

  #447 opened 2 months ago
  0