Skip to content

Pull requests: egraphs-good/egglog

New pull request New
19 Open 507 Closed
19 Open 507 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

rename global vars in tests
#792 opened Jan 23, 2026 by marko-subotic Loading…
5
Add support for code coverage
#790 opened Jan 19, 2026 by saulshanabrook Loading…
5
Tree decomposition
#785 opened Jan 12, 2026 by yihozhang • Draft
1
Try avoiding allocations during execution
#784 opened Jan 9, 2026 by yihozhang Loading…
1
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
3
Proof encoding in egglog itself
#770 opened Dec 28, 2025 by oflatt Loading…
14
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…
12
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! Exclude everything labeled bug with -label:bug.