-
Notifications
You must be signed in to change notification settings - Fork 110
Pull requests: egraphs-good/egglog
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
core-relations: reset only modified tables' indexes in merge_all
#957
opened Jul 20, 2026 by
oflatt-claude
Contributor
Loading…
Skip building indexes for probers that will only be probed once
#953
opened Jul 18, 2026 by
yihozhang
Collaborator
Loading…
Egglog AST macros with unquote and unquote splice
#947
opened Jul 13, 2026 by
oflatt
Member
Loading…
Register user primitives on the term-encoding typechecker
#945
opened Jul 7, 2026 by
oflatt-claude
Contributor
•
Draft
Make custom schedulers compose with the term/proof encoding
#944
opened Jul 7, 2026 by
oflatt-claude
Contributor
•
Draft
[codex] fold math microbenchmark into rust_api_benchmarking
#846
opened Apr 12, 2026 by
MilkBlock
Contributor
Loading…
Proofs refactors
status:needs discussion
Need more design/conversation on the issue inside or outside a meeting to get to a concrete proposal
Previous Next
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.