-
Notifications
You must be signed in to change notification settings - Fork 95
Pull requests: egraphs-good/egglog
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix multi-column column index rebuild ordering
#899
opened May 26, 2026 by
saulshanabrook
Member
Loading…
Expose FullState and run_user_defined_command for EGraph
#895
opened May 22, 2026 by
yihozhang
Collaborator
Loading…
Clean stale scheduler matches before actions
#885
opened May 18, 2026 by
saulshanabrook
Member
•
Draft
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
Previous Next
ProTip!
Exclude everything labeled
bug with -label:bug.