Skip to content

Commit cb263b1

Browse files
saulshanabrooksaulshanabrook
committed
See if it is reproducable
1 parent ef51539 commit cb263b1

8 files changed

Lines changed: 3694 additions & 538 deletions

File tree

‎Cargo.lock‎

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

‎Cargo.toml‎

Lines changed: 23 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -13,12 +13,19 @@ crate-type = ["cdylib"]
1313
pyo3 = { version = "0.27", features = ["extension-module", "num-bigint", "num-rational"] }
1414
num-bigint = "*"
1515
num-rational = "*"
16-
egglog = { path = "../egg-smol", default-features = false }
17-
egglog-bridge = { path = "../egg-smol/egglog-bridge" }
18-
egglog-core-relations = { path = "../egg-smol/core-relations" }
16+
# egglog = { path = "../egg-smol", default-features = false }
17+
# egglog-bridge = { path = "../egg-smol/egglog-bridge" }
18+
# egglog-core-relations = { path = "../egg-smol/core-relations" }
19+
# egglog-ast = { path = "../egg-smol/egglog-ast" }
20+
# egglog-reports = { path = "../egg-smol/egglog-reports" }
21+
egglog = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "multiset-changes", default-features = false }
22+
egglog-ast = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "multiset-changes" }
23+
egglog-core-relations = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "multiset-changes" }
24+
egglog-reports = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "multiset-changes" }
25+
egglog-bridge = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "multiset-changes" }
26+
27+
1928
egglog-experimental = { git = "https://github.com/egraphs-good/egglog-experimental", branch = "main", default-features = false }
20-
egglog-ast = { path = "../egg-smol/egglog-ast" }
21-
egglog-reports = { path = "../egg-smol/egglog-reports" }
2229
egraph-serialize = { version = "0.3", features = ["serde", "graphviz"] }
2330
serde_json = "1"
2431
pyo3-log = "*"
@@ -32,17 +39,17 @@ tempfile = "3.24.0"
3239

3340
# Use patched version of egglog in experimental
3441
[patch.'https://github.com/egraphs-good/egglog']
35-
egglog = { path = "../egg-smol" }
36-
egglog-core-relations = { path = "../egg-smol/core-relations" }
37-
egglog-ast = { path = "../egg-smol/egglog-ast" }
38-
egglog-reports = { path = "../egg-smol/egglog-reports" }
39-
egglog-bridge = { path = "../egg-smol/egglog-bridge" }
40-
41-
# egglog = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "fix-fn-bug" }
42-
# egglog-ast = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "fix-fn-bug" }
43-
# egglog-core-relations = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "fix-fn-bug" }
44-
# egglog-bridge = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "fix-fn-bug" }
45-
# egglog-reports = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "fix-fn-bug" }
42+
# egglog = { path = "../egg-smol" }
43+
# egglog-core-relations = { path = "../egg-smol/core-relations" }
44+
# egglog-ast = { path = "../egg-smol/egglog-ast" }
45+
# egglog-reports = { path = "../egg-smol/egglog-reports" }
46+
# egglog-bridge = { path = "../egg-smol/egglog-bridge" }
47+
48+
egglog = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "multiset-changes" }
49+
egglog-ast = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "multiset-changes" }
50+
egglog-core-relations = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "multiset-changes" }
51+
egglog-bridge = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "multiset-changes" }
52+
egglog-reports = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "multiset-changes" }
4653

4754
# enable debug symbols for easier profiling
4855
[profile.release]

‎docs/explanation/2026_01_11_containers.py‎

Lines changed: 0 additions & 54 deletions
This file was deleted.

‎docs/explanation/2026_02_containers.md‎

Lines changed: 1073 additions & 0 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)