Skip to content

Pull requests: egraphs-good/egglog

New pull request New
17 Open 545 Closed
17 Open 545 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

Proof optimization- consolidate proof and view/UF tables
#850 opened Apr 18, 2026 by oflatt Member Loading…
9
Better subset representation with BitSet
#847 opened Apr 14, 2026 by yihozhang Collaborator Loading…
1
[codex] fold math microbenchmark into rust_api_benchmarking
#846 opened Apr 12, 2026 by MilkBlock Contributor • Draft
3
[codex] Optimize primitive arg layout fast paths
#845 opened Apr 12, 2026 by MilkBlock Contributor • Draft
2
Reuse sub-tries during query execution
#844 opened Apr 10, 2026 by yihozhang Collaborator Loading…
2
Improve check error message and document query-based semantics for constructor terms
#843 opened Apr 9, 2026 by Copilot AI • Draft
1
@saulshanabrook
Index optimized for small data
#840 opened Apr 9, 2026 by yihozhang Collaborator Loading…
2
Explain ungrounded in typecheck error message
#839 opened Apr 7, 2026 by MavenRain Loading…
1
3
Add f64 exp, log, and sqrt primitives
#834 opened Mar 26, 2026 by saulshanabrook Member Loading…
4
Rust rule benchmarking tableaction cache
#830 opened Mar 17, 2026 by MilkBlock Contributor • Draft
16
Add eggcc 2mm test file
#824 opened Mar 11, 2026 by oflatt Member • Draft
5
Tree decomposition status:ready for work
#785 opened Jan 12, 2026 by yihozhang Collaborator Loading…
15
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.