egraphs-good/egglog

Issues

• Auto Demand Rewrite Conditions

  #387 opened 6 months ago by saulshanabrook
  5

• Variable cost to variant

  #399 opened 2 months ago by AzizZayed
  10

• Mutually recursive datatypes

  #397 opened 2 months ago by yihozhang
  4

• Pair / Tuple built-in type?

  #393 opened 3 months ago by AzizZayed
  2

• Disallow unused variables

  #408 opened 4 months ago by oflatt
  2

• Mitigating blowup with Associative-Commutative rules ?

  #410 opened 3 months ago by remi-delmas-3000
  1

• Multi-Pattern Example

  #423 opened 3 months ago by jafioti
  1

• Renaming `function` whose output is an E-class to `constructor`

  #422 opened 4 months ago by yihozhang
  3

• Rust Usage Example?

  #416 opened 3 months ago by jafioti
  2

• Removing :default keyword

  #421 opened 4 months ago by yihozhang
  0

• Disallowing looking up non-constructor functions

  #420 opened 4 months ago by yihozhang
  1

• Extracted Declarations are Temporary Variables

  #334 opened 4 months ago by saulshanabrook
  9

• Remove Inlined d3-graphviz library

  #373 opened 4 months ago by saulshanabrook
  0

• Destructive rewriting in egglog ?

  #411 opened 4 months ago by remi-delmas-3000
  1

• [Proposal] Disallow shadowing between let bindings and constructors.

  #329 opened a year ago by oflatt
  1

• Add underscore as matching anything?

  #409 opened 4 months ago by oflatt
  0

• Extract not working within a `rule`

  #403 opened 5 months ago by AzizZayed
  6

• Best way to prevent arithmetic overflow/underflows during rewriting?

  #404 opened 5 months ago by remi-delmas-3000
  7

• API-supported way for translating between `Value`s in an `egglog::EGraph` and `ClassID`s in an `egraph_serialize::EGraph`

  #392 opened 5 months ago by gussmith23
  1

• User Defined Generics

  #386 opened 6 months ago by saulshanabrook
  5

• Rewrite regardless of variant

  #401 opened 5 months ago by AzizZayed
  1

• Potential bug in dot file output

  #377 opened 5 months ago by hessammehr
  3

• Built In Collection Constructor Type Checking Prohibitively Slow

  #388 opened 5 months ago by saulshanabrook
  4

• [Utility] Running multiple rulesets at once

  #326 opened 5 months ago by oflatt
  1

• Add pretty printing of results

  #351 opened 10 months ago by mwillsey
  1

• Fix Nullary Unstable Functions

  #382 opened 5 months ago by saulshanabrook
  3

• Maintain expression dependencies

  #390 opened 5 months ago by AzizZayed
  1

• No matching primitive: set-length

  #378 opened 7 months ago by cgyurgyik
  3

• Display bound variables in serialized e-graph

  #376 opened 7 months ago by saulshanabrook
  0

• Error when using `vec-of` in rule is not readable

  #370 opened 8 months ago by gussmith23
  0

• Refactor `print_function` to use a new function called `dump_function`

  #366 opened 8 months ago by gussmith23
  2

• Document `EGraph::function_to_dag`

  #367 opened 8 months ago by gussmith23
  0

• Web demo should show logs

  #358 opened 8 months ago by oflatt
  1

• Improving the Rust interface: inspecting into the E-graph

  #361 opened 9 months ago by yihozhang
  0

• error [E0659] when `make all`

  #335 opened 9 months ago by cyk2018
  5

• Neovim plugin

  #354 opened 9 months ago by segeljakt
  1

• How to query for relations

  #352 opened 9 months ago by rix0rrr
  1

• "subsume" doesn't fail but also doesn't work

  #357 opened 9 months ago by rix0rrr
  6

• Support for macros to reduce code duplication

  #356 opened 9 months ago by segeljakt
  3

• Desugaring global variables

  #331 opened 9 months ago by oflatt
  1

• Inefficient desugaring for `rewrite`

  #350 opened 10 months ago by ezrosent
  3

• No warning on checking unintroduced variables

  #346 opened 10 months ago by adrianleh
  9

• A rule testing a function evaluation against a literal always matches

  #343 opened 10 months ago by Roldak
  1

• Terms file is not included

  #341 opened 10 months ago by saulshanabrook
  1

• Extract to string, and panic using it

  #340 opened 10 months ago by oflatt
  0

• Proposal: Change `Set` to store an `Expr` as the first child

  #339 opened 10 months ago by oflatt
  0

• What's the parameter of run and why this can influence the result?

  #337 opened a year ago by cyk2018
  2

• `parse_and_run_program` doesn't return a log when it errors

  #332 opened a year ago by Alex-Fischman
  0

• `fail-typecheck` doesn't actually check for type error, just any error

  #328 opened a year ago by oflatt
  0

• Tests for typechecker

  #327 opened a year ago by oflatt
  0