Skip to content

Pull requests: egraphs-good/egglog

New pull request New
23 Open 612 Closed
23 Open 612 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Egglog AST macros with unquote and unquote splice
#947 opened Jul 13, 2026 by oflatt Member • Draft
Register user primitives on the term-encoding typechecker
#945 opened Jul 7, 2026 by oflatt-claude Contributor • Draft
2
Make custom schedulers compose with the term/proof encoding
#944 opened Jul 7, 2026 by oflatt-claude Contributor • Draft
Add tuple-output functions
#938 opened Jun 26, 2026 by oflatt-claude Contributor • Draft
2
Expose extraction support APIs
#934 opened Jun 24, 2026 by saulshanabrook Member Loading…
55
Speed up proof encoding using egglog's :merge and unboxing pairs
#933 opened Jun 24, 2026 by oflatt Member • Draft
2
run-schedule size limit
#925 opened Jun 10, 2026 by noahhuck Collaborator Loading…
4
Return errors instead of panicking for reachable failures
#920 opened Jun 5, 2026 by yihozhang Collaborator Loading…
25
[codex] Enable debug assertions in release test builds
#917 opened Jun 5, 2026 by saulshanabrook Member Loading…
4
Fix multi-column ColumnIndex rebuild ordering via per-column radix sort + merge
#914 opened Jun 4, 2026 by yihozhang Collaborator Loading…
7
Claude experiment day5
#869 opened May 10, 2026 by yihozhang Collaborator Loading…
2
Use region-based allocator for TrieNodes
#868 opened May 7, 2026 by yihozhang Collaborator Loading…
3
profile visualization for decomposed plan and stage-info
#853 opened Apr 25, 2026 by yihozhang Collaborator • Draft
2
Better subset representation with BitSet
#847 opened Apr 14, 2026 by yihozhang Collaborator Loading…
2
[codex] fold math microbenchmark into rust_api_benchmarking
#846 opened Apr 12, 2026 by MilkBlock Contributor Loading…
7
[codex] Optimize primitive arg layout fast paths
#845 opened Apr 12, 2026 by MilkBlock Contributor • Draft
2
Improve check error message and document query-based semantics for constructor terms
#843 opened Apr 9, 2026 by Copilot AI • Draft
1
@saulshanabrook
Rust rule benchmarking tableaction cache
#830 opened Mar 17, 2026 by MilkBlock Contributor • Draft
16
Try avoiding allocations during execution status:ready for work
#784 opened Jan 9, 2026 by yihozhang Collaborator Loading…
1
Custom UF-backed tables in the egglog language. status:ready for work
#782 opened Jan 6, 2026 by ezrosent Contributor • Draft
3
Proofs refactors status:needs discussion Need more design/conversation on the issue inside or outside a meeting to get to a concrete proposal
#725 opened Oct 31, 2025 by ezrosent Contributor • Draft
2
struct LazyMapOfIndexSet: status:needs discussion Need more design/conversation on the issue inside or outside a meeting to get to a concrete proposal
#708 opened Oct 14, 2025 by MilkBlock Contributor • Draft
27
Reuse Extractor whenever possible status:ready for work
#563 opened May 9, 2025 by yihozhang Collaborator • Draft
3
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.