Skip to content

Commit 78f71ff

Browse files
Merge branch 'main' into fix-docs-exec
2 parents 992a415 + f8d552c commit 78f71ff

File tree

7 files changed

+15
-240
lines changed

7 files changed

+15
-240
lines changed

Cargo.lock

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

Cargo.toml

Lines changed: 2 additions & 2 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", branch = "main" }
15+
egglog = { git = "https://github.com/egraphs-good/egglog.git", branch = "main", default-features = false }
1616
# egglog = { path = "../egg-smol" }
1717
egglog-bridge = { git = "https://github.com/egraphs-good/egglog.git", branch = "main" }
1818
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" }
19+
egglog-experimental = { git = "https://github.com/egraphs-good/egglog-experimental", branch = "cli", default-features = false }
2020
egraph-serialize = { version = "0.2.0", features = ["serde", "graphviz"] }
2121
serde_json = "1.0.140"
2222
pyo3-log = "0.12.4"

docs/changelog.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,13 @@ _This project uses semantic versioning_
55
## UNRELEASED
66

77
- Fix execution of docs [#337](https://github.com/egraphs-good/egglog-python/pull/337)
8+
- Emit warnings when functions omitted when visualizing [#336](https://github.com/egraphs-good/egglog-python/pull/336)
9+
- Bump Egglog version [#335](https://github.com/egraphs-good/egglog-python/pull/335)
10+
811
## 11.1.0 (2025-08-21)
912

1013
- Allow changing number of threads with env variable [#330](https://github.com/egraphs-good/egglog-python/pull/330)
14+
1115
## 11.0.0 (2025-08-08)
1216
- Change conversion between binary operators to consider converting both types [#320](https://github.com/egraphs-good/egglog-python/pull/320)
1317
- Add ability to parse egglog expressions into Python values [#319](https://github.com/egraphs-good/egglog-python/pull/319)

0 commit comments

Comments
 (0)