Skip to content

Commit 21b0777

Browse files
Bump Egglog version
Bump egglog version which changes running commands to return structured output and adds fields on the serialized e-graph to show if functions were omitted.
1 parent 85d283c commit 21b0777

File tree

12 files changed

+393
-149
lines changed

12 files changed

+393
-149
lines changed

Cargo.lock

Lines changed: 143 additions & 28 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Cargo.toml

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,11 @@ crate-type = ["cdylib"]
1212
[dependencies]
1313
pyo3 = { version = "0.24.2", features = ["extension-module"] }
1414

15-
egglog = { git = "https://github.com/egraphs-good/egglog.git", rev = "5542549" }
15+
egglog = { git = "https://github.com/egraphs-good/egglog.git", branch = "main" }
1616
# egglog = { path = "../egg-smol" }
17-
egglog-bridge = { git = "https://github.com/egraphs-good/egglog-backend.git", rev = "cd51d04" }
18-
core-relations = { git = "https://github.com/egraphs-good/egglog-backend.git", rev = "cd51d04" }
19-
egglog-experimental = { git = "https://github.com/egraphs-good/egglog-experimental", rev = "255b67a" }
17+
egglog-bridge = { git = "https://github.com/egraphs-good/egglog.git", branch = "main" }
18+
core-relations = { git = "https://github.com/egraphs-good/egglog.git", branch = "main" }
19+
egglog-experimental = { git = "https://github.com/egraphs-good/egglog-experimental", branch = "python" }
2020
egraph-serialize = { version = "0.2.0", features = ["serde", "graphviz"] }
2121
serde_json = "1.0.140"
2222
pyo3-log = "0.12.4"
@@ -28,7 +28,7 @@ rayon = "1.10.0"
2828

2929
# Use patched version of egglog in experimental
3030
[patch.'https://github.com/egraphs-good/egglog']
31-
# egglog = { git = "https://github.com/egraphs-good//egglog.git", rev = "d2fa5b733de0796fb187dc5a27e570d5644aa75a" }
31+
egglog = { git = "https://github.com/egraphs-good//egglog.git", branch = "main" }
3232
# egglog = { path = "../egg-smol" }
3333
# egglog = { git = "https://github.com/egraphs-good//egglog.git", rev = "5542549" }
3434

0 commit comments

Comments
 (0)