-
Notifications
You must be signed in to change notification settings - Fork 104
Pull requests: egraphs-good/egglog
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[codex] Support eq-sort primitive fact proofs
#930
opened Jun 24, 2026 by
saulshanabrook
Member
Loading…
Return errors instead of panicking for reachable failures
#920
opened Jun 5, 2026 by
yihozhang
Collaborator
Loading…
[codex] Enable debug assertions in release test builds
#917
opened Jun 5, 2026 by
saulshanabrook
Member
Loading…
Fix multi-column ColumnIndex rebuild ordering via per-column radix sort + merge
#914
opened Jun 4, 2026 by
yihozhang
Collaborator
Loading…
Replace Rayon with our own, non-workstealing thread pool
#910
opened Jun 3, 2026 by
ezrosent
Contributor
Loading…
Fix scheduler bugs around subsumption, cleanup, and over matching
#885
opened May 18, 2026 by
saulshanabrook
Member
Loading…
Better subset representation with BitSet
#847
opened Apr 14, 2026 by
yihozhang
Collaborator
Loading…
[codex] fold math microbenchmark into rust_api_benchmarking
#846
opened Apr 12, 2026 by
MilkBlock
Contributor
Loading…
Try avoiding allocations during execution
status:ready for work
#784
opened Jan 9, 2026 by
yihozhang
Collaborator
Loading…
Proofs refactors
status:needs discussion
Need more design/conversation on the issue inside or outside a meeting to get to a concrete proposal
struct LazyMapOfIndexSet:
status:needs discussion
Need more design/conversation on the issue inside or outside a meeting to get to a concrete proposal
ProTip!
Exclude everything labeled
bug with -label:bug.