Skip to content

Commit a898167

Browse files
Update egglog dep
1 parent 38fd1f6 commit a898167

File tree

2 files changed

+11
-11
lines changed

2 files changed

+11
-11
lines changed

Cargo.lock

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

Cargo.toml

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

15-
# egglog = { git = "https://github.com/egraphs-good/egglog", rev = "dd8e8cfa1f8851d32c8b7a0d1f4165e2164a7313" }
16-
egglog = { git = "https://github.com/saulshanabrook/egg-smol", rev = "8cd7c0e77a27c271cbaef09ab23514675d646937" }
17-
egglog-bridge = { git = "https://github.com/egraphs-good/egglog-backend.git", rev = "e8fb003" }
18-
core-relations = { git = "https://github.com/egraphs-good/egglog-backend.git", rev = "e8fb003" }
15+
egglog = { git = "https://github.com/egraphs-good/egglog", rev = "367a9143be7cb5354a54a9c5660d117440db77a6" }
16+
# egglog = { git = "https://github.com/saulshanabrook/egg-smol", rev = "8cd7c0e77a27c271cbaef09ab23514675d646937" }
17+
egglog-bridge = { git = "https://github.com/egraphs-good/egglog-backend.git", rev = "12e23e1" }
18+
core-relations = { git = "https://github.com/egraphs-good/egglog-backend.git", rev = "12e23e1" }
1919
# egglog-experimental = { git = "https://github.com/egraphs-good/egglog-experimental", rev = "8a1b3d6ad2723a8438f51f05027161e51f37917c" }
2020
egraph-serialize = { version = "0.2.0", features = ["serde", "graphviz"] }
2121
serde_json = "1.0.140"

0 commit comments

Comments
 (0)