egraphs-good/egg

Issues

• unique node counting

  #338 opened 2 months ago by Flians
  0

• Simple set of addition rewrites already explodes

  #334 opened 4 months ago by KarelPeeters
  7

• Add `&mut self` parameter to all Analysis functions

  #335 opened 4 months ago by KarelPeeters
  2

• Monte-Carlo Tree Search

  #329 opened 5 months ago by jafioti
  7

• Improve benchmarking with criterion

  #331 opened 4 months ago by paulzzy
  6

• Bad explanation when using explain existance

  #316 opened 4 months ago by eytans
  1

• Different results depending on architecture

  #328 opened 5 months ago by bksaiki
  0

• Stack overflow during rule application

  #327 opened 5 months ago by bksaiki
  0

• Pretty printing stack overflow for proofs

  #211 opened 2 years ago by oflatt
  3

• egg ignore a comm rule

  #323 opened 5 months ago by asukaminato0721
  4

• how to do some recursive check on `rw!` if cond

  #322 opened 5 months ago by asukaminato0721
  1

• Use newer version of rustc in CI

  #319 opened 5 months ago by kayagokalp
  1

• Relaxing `'static` lifetime bounds?

  #311 opened 8 months ago by robert-chiniquy
  5

• How to access external data when making an analysis?

  #315 opened 7 months ago by ChijinZ
  0

• Avoid recursive rule applying during Runner::run()

  #307 opened 7 months ago by ChijinZ
  2

• Add an example that **doesn't use** the define_language macro?

  #219 opened 9 months ago by sheredom
  11

• Is possible to use egg with my own parser as *input* instead of using text?

  #292 opened 9 months ago by mamcx
  4

• Map from `EGraph<L, _>` to `EGraph<L2, _>`

  #305 opened 9 months ago by sgpthomas
  1

• Question: Dealing with side effects/assignment

  #304 opened 10 months ago by thorstenhater
  4

• Loss of the discussions tab and its content

  #302 opened 10 months ago by SamPruden
  2

• Where is the dicussion part

  #301 opened 10 months ago by Gary-oak-Star
  1

• Division by zero nitpick - docs

  #297 opened 10 months ago by memoryleak47
  1

• How to simplify multiple equations with the same variables?

  #295 opened a year ago by Flians
  4

• Explanations using `add_internal` and `union_trusted`

  #282 opened a year ago by dewert99
  2

• Proof explanations for multi_rewrite

  #231 opened 2 years ago by K-dizzled
  11

• How to pretty-print an egrah

  #281 opened a year ago by ntcmp2u
  1

• It is possible to build egraph like Directed acyclic graph?

  #280 opened a year ago by Gary-oak-Star
  3

• How to define `rewrite` if I have no idea of how many variable in expression

  #279 opened a year ago by Gary-oak-Star
  1

• How to implement complex rules for expression simplification?

  #278 opened a year ago by yg0x01
  2

• Mutable access to the EGraph in `Analysis::make`

  #276 opened a year ago by cole-k
  3

• Syntax for passing multiple arguments to condition

  #272 opened a year ago by aditink
  1

• How to extract the solutions several times sorted by astsize

  #269 opened a year ago by chestercc1997
  5

• Feature request: Add a test utility to ensure that none of rules are inferred from the rest of rules

  #265 opened a year ago by hatoo
  2

• Randomly extract a RecExpr from a EGraph

  #264 opened a year ago by ntcmp2u
  1

• Backend-agnostic LP

  #263 opened a year ago by averyanalex
  1

• Prop test: error in CostantFold

  #258 opened 2 years ago by jakobhartmann
  1

• Pathological rebuild performance

  #239 opened 2 years ago by meithecatte
  18

• [Question] Do you know if anyone is trying to write a SQL optimizer with egg?

  #252 opened 2 years ago by fabianmurariu
  1

• LpExtractor creates an infeasible problem for CBC

  #207 opened 2 years ago by khaki3
  8

• Getting the root ID of a RecExpr

  #246 opened 2 years ago by droidkid
  3

• Writing parsers for custom structs in define_language! macro

  #245 opened 2 years ago by droidkid
  3

• tests/lambda.rs's handling of free variables is unsound

  #234 opened 2 years ago by meithecatte
  5

• Cascades like SQL query optimizer using egg?

  #227 opened 2 years ago by fabianmurariu
  1

• assertion failed: solution.col(v.active) > 0.0

  #196 opened 2 years ago by Bastacyclop
  3

• Mismatched parentheses

  #213 opened 2 years ago by intrigus
  2

• Runner stops before actual saturation when having ConditionEqual

  #208 opened 2 years ago by khaki3
  0

• Cycles in existence proofs

  #202 opened 2 years ago by oflatt
  0

• 'Recursive' rewrite rule not triggering.

  #199 opened 2 years ago by mpope9
  2

• Parallel rewrites

  #192 opened 2 years ago by Kixiron
  3

• How to generate fresh `Var`s?

  #190 opened 2 years ago by mb64
  1