-
Notifications
You must be signed in to change notification settings - Fork 2
Pull requests: saulshanabrook/egglog-encoding
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
DuckDB backend campaign: status report and pause point
#56
opened Aug 6, 2026 by
saulshanabrook
Owner
Loading…
Share one table per sort for eq-sort globals; account for time outside rule-set execution
#47
opened Aug 1, 2026 by
oflatt-claude
•
Draft
Merge upstream egglog: 41 commits, and it is faster everywhere
#45
opened Aug 1, 2026 by
oflatt-claude
Loading…
Measure rebuild/search cost; make the @UF clear opt-in
#44
opened Jul 31, 2026 by
oflatt-claude
•
Draft
Hash-cons term and proof tables instead of minting with get-fresh!
#36
opened Jul 27, 2026 by
oflatt-claude
•
Draft
DD backend: compile whole schedules to persistent fused dataflows (engine)
#31
opened Jul 22, 2026 by
oflatt-claude
•
Draft
Fix proof-test coverage for computed-value verifier failures
#26
opened Jul 21, 2026 by
saulshanabrook
Owner
Loading…
WIP: Materialized rebuild index + single-rule UF rebuild
#19
opened Jul 15, 2026 by
oflatt-claude
•
Draft
ProTip!
Filter pull requests by the default branch with base:main.