Skip to content

Differential Dataflow Backend #4

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
oflatt merged 22 commits into from
Jul 13, 2026
Merged

Differential Dataflow Backend #4

Show file tree
Hide file tree
Changes from 20 commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
efef7a7
Pluggable Backend interface + FlowLog backend
oflatt Jul 7, 2026
6a8f576
Register user primitives on the term-encoding typechecker
oflatt Jul 7, 2026
fd48fae
Check FlowLog against egglog's own golden snapshots
oflatt Jul 7, 2026
ce78a30
Support FlowLog proof backend parity
saulshanabrook Jul 8, 2026
30003eb
Revert "Support FlowLog proof backend parity"
saulshanabrook Jul 8, 2026
5fd8184
Reapply FlowLog proof parity fixes
saulshanabrook Jul 8, 2026
d3edda1
Merge main and clean FlowLog backend
saulshanabrook Jul 9, 2026
6f7a665
Keep no-merge proof support out of FlowLog PR
saulshanabrook Jul 9, 2026
230bf52
Add backend benchmarks and profile cache
saulshanabrook Jul 10, 2026
ae73ade
Add markdown benchmark report output
saulshanabrook Jul 10, 2026
a9767dc
Add backend-aware benchmark profiling
saulshanabrook Jul 11, 2026
e82c5e7
Batch FlowLog merge reconciliation
saulshanabrook Jul 11, 2026
0d9ed33
Share FlowLog DD arrangements
saulshanabrook Jul 11, 2026
49ac33a
Rename FlowLog backend to DD
saulshanabrook Jul 11, 2026
7e53fe5
Document DD backend design decisions
saulshanabrook Jul 11, 2026
9990f68
Address backend interface review findings
saulshanabrook Jul 13, 2026
fe770df
Make scheduler rule construction transactional
saulshanabrook Jul 13, 2026
405fa4d
Simplify backend interface implementation
saulshanabrook Jul 13, 2026
b86f496
Handle backend registration rollback failures
saulshanabrook Jul 13, 2026
efd5b70
Address backend interface review feedback
saulshanabrook Jul 13, 2026
74d3bb0
Harden DD backend capability contracts
saulshanabrook Jul 13, 2026
47c469c
Reduce backend integration diff noise
saulshanabrook Jul 13, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
/target/
/.reports*.jsonl
/.profiles/
/.bench-worktrees/
/.venv/
/.mypy_cache/
Expand Down
181 changes: 181 additions & 0 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 3 additions & 0 deletions Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,13 +5,15 @@ members = [
"egglog/concurrency",
"egglog/core-relations",
"egglog/egglog-ast",
"egglog/egglog-backend-trait",
"egglog/egglog-bridge",
"egglog/egglog-reports",
"egglog/numeric-id",
"egglog/union-find",
"egglog/src/sort/add_primitive",
"egglog/wasm-example",
"egglog-experimental",
"egglog-experimental/dd",
]

[workspace.package]
Expand Down Expand Up @@ -81,6 +83,7 @@ egglog-numeric-id = { path = "egglog/numeric-id", version = "2.0.0" }
egglog-union-find = { path = "egglog/union-find", version = "2.0.0" }
egglog-add-primitive = { path = "egglog/src/sort/add_primitive", version = "2.0.0" }
egglog-reports = { path = "egglog/egglog-reports", version = "2.0.0" }
egglog-backend-trait = { path = "egglog/egglog-backend-trait", version = "2.0.0" }
egglog = { path = "egglog", default-features = false, version = "2.0.0" }

######################
Expand Down
Loading
Loading