Skip to content

Pull requests: egraphs-good/egglog

New pull request New
25 Open 603 Closed
25 Open 603 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

Add tuple-output functions
#938 opened Jun 26, 2026 by oflatt-claude • Draft
2
Add nightly
#935 opened Jun 25, 2026 by yihozhang Collaborator Loading…
11
Add greedy DAG extraction
#934 opened Jun 24, 2026 by saulshanabrook Member Loading…
12
Speed up proof encoding using egglog's :merge and unboxing pairs
#933 opened Jun 24, 2026 by oflatt Member • Draft
2
[codex] Support eq-sort primitive fact proofs
#930 opened Jun 24, 2026 by saulshanabrook Member Loading…
9
Proof support for containers
#927 opened Jun 22, 2026 by oflatt Member Loading…
21
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…
4
Replace Rayon with our own, non-workstealing thread pool
#910 opened Jun 3, 2026 by ezrosent Contributor Loading…
5
Fix scheduler bugs around subsumption, cleanup, and over matching
#885 opened May 18, 2026 by saulshanabrook Member Loading…
18
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! Exclude everything labeled bug with -label:bug.