egraphs-good/egglog

Issues

• Multi-Pattern Example

  #423 opened 4 months ago
  1

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

  #422 opened 4 months ago
  3

• Removing :default keyword

  #421 opened 4 months ago
  0

• Disallowing looking up non-constructor functions

  #420 opened 4 months ago
  1

• Rust Usage Example?

  #416 opened 4 months ago
  2

• Destructive rewriting in egglog ?

  #411 opened 5 months ago
  1

• Mitigating blowup with Associative-Commutative rules ?

  #410 opened 4 months ago
  1

• Add underscore as matching anything?

  #409 opened 5 months ago
  0

• Disallow unused variables

  #408 opened 5 months ago
  2

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

  #404 opened 5 months ago
  10

• Extract not working within a `rule`

  #403 opened 5 months ago
  6

• Rewrite regardless of variant

  #401 opened 5 months ago
  1

• Variable cost to variant

  #399 opened 3 months ago
  10

• Mutually recursive datatypes

  #397 opened 3 months ago
  4

• Pair / Tuple built-in type?

  #393 opened 4 months ago
  2

• 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
  1

• Maintain expression dependencies

  #390 opened 6 months ago
  1

• Built In Collection Constructor Type Checking Prohibitively Slow

  #388 opened 6 months ago
  4

• Auto Demand Rewrite Conditions

  #387 opened 7 months ago
  5

• User Defined Generics

  #386 opened 7 months ago
  5

• Fix Nullary Unstable Functions

  #382 opened 6 months ago
  3

• No matching primitive: set-length

  #378 opened 8 months ago
  3

• Potential bug in dot file output

  #377 opened 6 months ago
  3

• Serialize let bindings

  #376 opened 8 months ago
  0

• Remove Inlined d3-graphviz library

  #373 opened 5 months ago
  0

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

  #370 opened 9 months ago
  0

• Document `EGraph::function_to_dag`

  #367 opened 9 months ago
  0

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

  #366 opened 9 months ago
  2

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

  #361 opened 9 months ago
  0

• Web demo should show logs

  #358 opened 9 months ago
  1

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

  #357 opened 3 months ago
  6

• Support for macros to reduce code duplication

  #356 opened 10 months ago
  3

• Neovim plugin

  #354 opened 10 months ago
  1

• How to query for relations

  #352 opened 10 months ago
  1

• Add pretty printing of results

  #351 opened 10 months ago
  1

• Inefficient desugaring for `rewrite`

  #350 opened a year ago
  3

• No warning on checking unintroduced variables

  #346 opened a year ago
  9

• Serlalization not working as expected

  #345 opened 3 months ago
  5

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

  #343 opened a year ago
  1

• Terms file is not included

  #341 opened a year ago
  1

• Extract to string, and panic using it

  #340 opened a year ago
  0

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

  #339 opened a year ago
  0

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

  #337 opened a year ago
  2

• error [E0659] when `make all`

  #335 opened 9 months ago
  5

• Extracted Declarations are Temporary Variables

  #334 opened 5 months ago
  9

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

  #332 opened a year ago
  0

• Desugaring global variables

  #331 opened 10 months ago
  1

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

  #329 opened a year ago
  1

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

  #328 opened a year ago
  0

• Tests for typechecker

  #327 opened a year ago
  0