Issues

• --to-json is truncated by the dot/svg render limits (--max-functions / --max-calls-per-function)

  egraphs-good/egglog#1049 · Filter by author nanderson21 opened on Oct 14, 2026

• Revisit deferred seminaive planning if runtime gains justify the complexity

  egraphs-good/egglog#1045 · Filter by author saulshanabrook opened on Oct 8, 2026

• Egglog Macro System Redesign

  egraphs-good/egglog#1036 · Filter by author oflatt-claude opened on Oct 7, 2026
  1

• Issue with Backoff Scheduler and :no-merge

  egraphs-good/egglog#1024 · Filter by author asglover opened on Sep 10, 2026
  1

• Nested call in a :merge expression is skipped when the colliding values are equal, giving a wrong result

  egraphs-good/egglog#987 · Filter by author oflatt-claude opened on Aug 8, 2026
  1

• Access variables from check

  egraphs-good/egglog#963 · Filter by author rprospero opened on Jul 28, 2026
  1

• Tree decomposition implements a wrong heuristics, and unclear what a correct and good heuristics is.

  egraphs-good/egglog#960 · Filter by author yihozhang opened on Jul 23, 2026
  2

• Naive evaluation can be faster than semi-naive

  egraphs-good/egglog#951 · Filter by author yihozhang opened on Jul 18, 2026
  1

• free join: use galloping cursors instead of per-probe binary search on sorted column indexes

  egraphs-good/egglog#950 · Filter by author yihozhang opened on Jul 18, 2026
  1

• Example of manual decomposition leading to large speedup

  status:ready for work
  Performance

  egraphs-good/egglog#946 · Filter by author oflatt opened on Jul 8, 2026
  3

• Built-in match on any eclass with a particular sort?

  status:needs discussion
  Feature

  egraphs-good/egglog#943 · Filter by author oflatt opened on Jun 29, 2026

• Adopt LSP server

  egraphs-good/egglog#937 · Filter by author saulshanabrook opened on Jun 26, 2026
  10

  

• Make egglog-bridge a private Cargo dependency

  egraphs-good/egglog#932 · Filter by author oflatt-claude opened on Jun 24, 2026
  1

• re-optimization of rules during recursion

  egraphs-good/egglog#926 · Filter by author yihozhang opened on Jun 15, 2026

• Either remove unstable function or bring it into core more fully

  egraphs-good/egglog#924 · Filter by author saulshanabrook opened on Jun 8, 2026

• Create CONTRIBUTING.md

  status:ready for work
  Documentation

  egraphs-good/egglog#921 · Filter by author saulshanabrook opened on Jun 6, 2026

• Get :no-merge working on proofs

  status:ready for work
  Bug

  egraphs-good/egglog#916 · Filter by author saulshanabrook opened on Jun 4, 2026

• Run tests with debug assertions on

  status:ready for work
  Bug

  egraphs-good/egglog#906 · Filter by author saulshanabrook opened on Jun 1, 2026

• Report primitive resolution panics as typed errors

  egraphs-good/egglog#898 · Filter by author saulshanabrook opened on May 26, 2026
  2

• Efficient way to get large expressions out of the e-graph

  egraphs-good/egglog#897 · Filter by author p3-c4 opened on May 26, 2026

• Egglog is non-deterministic again

  egraphs-good/egglog#878 · Filter by author yihozhang opened on May 16, 2026
  1

• Large rule slowdown from recent egglog changes

  status:ready for work
  Performance

  egraphs-good/egglog#872 · Filter by author saulshanabrook opened on May 13, 2026
  13

  

• Bug: Free join unwrap error when primitive occurs before bound variable

  status:ready for work
  Bug

  egraphs-good/egglog#865 · Filter by author oflatt opened on May 4, 2026

• egglog proof visualizer

  status:ready for work
  Feature

  egraphs-good/egglog#864 · Filter by author oflatt opened on May 4, 2026
  2

• egglog uses global rayon thread pool

  status:ready for work
  Refactor

  egraphs-good/egglog#863 · Filter by author oflatt opened on May 1, 2026
  1