Skip to content

Pull requests: egraphs-good/egglog

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

run-schedule size limit
#925 opened Jun 10, 2026 by noahhuck Collaborator Loading…
2
Add proof support for Pair and Either containers
#923 opened Jun 7, 2026 by saulshanabrook Member Loading…
17
[codex] Simplify generated proof snapshots
#922 opened Jun 7, 2026 by saulshanabrook Member Loading…
7
Return errors instead of panicking for reachable failures
#920 opened Jun 5, 2026 by yihozhang Collaborator Loading…
2
Add eager merge container primitives
#918 opened Jun 5, 2026 by saulshanabrook Member • Draft
5
[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
Fix subsumption in term encoding for proofs
#913 opened Jun 4, 2026 by saulshanabrook Member Loading…
1
9
Add :unsafe-seminaive rule option for arbitrary RHS reads
#912 opened Jun 3, 2026 by oflatt Member Loading…
10
Replace Rayon with our own, non-workstealing thread pool
#910 opened Jun 3, 2026 by ezrosent Contributor • Draft
3
Name-indexed read/write API on Read/Write traits + EGraph::update
#901 opened May 28, 2026 by oflatt Member Loading…
44
Fix scheduler bugs around subsumption, cleanup, and over matching
#885 opened May 18, 2026 by saulshanabrook Member Loading…
14
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! Add no:assignee to see everything that’s not assigned.