Merge branch 'main' into extract-report-warning

Author: saulshanabrook

Cargo.lock

@@ -12,11 +12,11 @@ crate-type = ["cdylib"]
 [dependencies]
 pyo3 = { version = "0.24.2", features = ["extension-module"] }
 
-egglog = { git = "https://github.com/egraphs-good/egglog.git", branch = "main" }
+egglog = { git = "https://github.com/egraphs-good/egglog.git", branch = "main", default-features = false }
 # egglog = { path = "../egg-smol" }
 egglog-bridge = { git = "https://github.com/egraphs-good/egglog.git", branch = "main" }
 core-relations = { git = "https://github.com/egraphs-good/egglog.git", branch = "main" }
-egglog-experimental = { git = "https://github.com/egraphs-good/egglog-experimental", branch = "python" }
+egglog-experimental = { git = "https://github.com/egraphs-good/egglog-experimental", branch = "cli", default-features = false }
 egraph-serialize = { version = "0.2.0", features = ["serde", "graphviz"] }
 serde_json = "1.0.140"
 pyo3-log = "0.12.4"

Cargo.toml

@@ -4,9 +4,14 @@ _This project uses semantic versioning_
 
 ## UNRELEASED
 
+- Fix execution of docs [#337](https://github.com/egraphs-good/egglog-python/pull/337)
+- Emit warnings when functions omitted when visualizing [#336](https://github.com/egraphs-good/egglog-python/pull/336)
+- Bump Egglog version [#335](https://github.com/egraphs-good/egglog-python/pull/335)
+
 ## 11.1.0 (2025-08-21)
 
 - Allow changing number of threads with env variable [#330](https://github.com/egraphs-good/egglog-python/pull/330)
+
 ## 11.0.0 (2025-08-08)
 - Change conversion between binary operators to consider converting both types [#320](https://github.com/egraphs-good/egglog-python/pull/320)
 - Add ability to parse egglog expressions into Python values [#319](https://github.com/egraphs-good/egglog-python/pull/319)