Skip to content

Pull requests: egraphs-good/egglog

New pull request New
18 Open 501 Closed
18 Open 501 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 new multiset primitives
#783 opened Jan 6, 2026 by saulshanabrook • Draft
Custom UF-backed tables in the egglog language.
#782 opened Jan 6, 2026 by ezrosent • Draft
2
Refactor query planning
#780 opened Jan 5, 2026 by yihozhang Loading…
3
Memcpy for parallel writes and fix compilation failures
#779 opened Jan 4, 2026 by ezrosent Loading…
6
Add snapshot tests
#778 opened Jan 4, 2026 by yihozhang Loading…
6
Proof encoding in egglog itself
#770 opened Dec 28, 2025 by oflatt • Draft
1
Proof checker
#764 opened Dec 13, 2025 by oflatt • Draft
15
Support Different Extractors in Egglog
#761 opened Dec 12, 2025 by saulshanabrook • Draft
12
Update Math Demo
#757 opened Dec 5, 2025 by saulshanabrook Loading…
11
JSON Schema Support
#736 opened Nov 13, 2025 by saulshanabrook • Draft
10 tasks
1
Fix #724: Clarify empty e-class serialization
#726 opened Oct 31, 2025 by harshasiddartha Loading…
1
9
Proofs refactors
#725 opened Oct 31, 2025 by ezrosent • Draft
1
struct LazyMapOfIndexSet:
#708 opened Oct 14, 2025 by MilkBlock • Draft
26
Reuse Extractor whenever possible
#563 opened May 9, 2025 by yihozhang • Draft
2
[Draft] Herbie's out-of-date branch with backoff scheduler and bigrat
#552 opened Apr 24, 2025 by oflatt • Draft
1
Egglog proof format and checker
#539 opened Apr 11, 2025 by oflatt • Draft
31
[Proposal/RFC] Encoding partially applied functions
#538 opened Apr 10, 2025 by oflatt • Draft
14
Add in-progress redex semantics to repository
#324 opened Jan 12, 2024 by oflatt • Draft
1
ProTip! Updated in the last three days: updated:>2026-01-05.