egraphs-good/egg Issues
Proof explanations for multi_rewrite
Updated 11How to pretty-print an egrah
Closed 1Backend-agnostic LP
Closed 1Prop test: error in CostantFold
Closed 1Pathological rebuild performance
Closed 18Getting the root ID of a RecExpr
Closed 3Mismatched parentheses
Closed 2Cycles in existence proofs
UpdatedParallel rewrites
Closed 3How to generate fresh `Var`s?
Closed 1Add feature docs
Closed 4Applying `egg` to SSA-based IRs
Closed 3Errors in `Analysis`
Updated 4Problems upgrading
Closed 12Plans for upcoming releases?
Closed 2