4 Pull requests merged by 2 people

• Store str instead of String in ParseError

  #469 merged Nov 13, 2024

• Add multiset-sum primitive

  #471 merged Nov 11, 2024

• Extract egraph-serialize features

  #466 merged Nov 11, 2024

• Remove unused 'serde-1' attribute

  #465 merged Nov 11, 2024

2 Pull requests opened by 1 person

• Disable build script for library builds

  #467 opened Nov 10, 2024

• New-type return type of Parser::map

  #470 opened Nov 11, 2024

4 Issues opened by 2 people

• Compile time regression

  #468 opened Nov 10, 2024

• Cycle in compiled query error

  #464 opened Nov 7, 2024

• Bad error message for (+ 1 2 3)

  #463 opened Nov 7, 2024

• Subsumption confusing semantics

  #462 opened Nov 7, 2024

3 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Allow more flexibility in cost of functions

  #294 commented on Nov 7, 2024 • 0 new comments

• Egglog viz cut off without indication

  #460 commented on Nov 11, 2024 • 0 new comments

• Delete -naive flag and disallow lookup actions in rules

  #461 commented on Nov 7, 2024 • 0 new comments