Merge main into fix-string-gen

.readthedocs.yaml

@@ -12,7 +12,7 @@ build:
     python: "3.10"
     # You can also specify other tool versions:
     # nodejs: "16"
-    rust: "1.64"
+    rust: "1.70"
     # golang: "1.17"
   apt_packages:
     - graphviz

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "egglog-python"
-version = "0.5.1"
+version = "0.6.0"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

docs/changelog.md

@@ -4,18 +4,10 @@ _This project uses semantic versioning. Before 1.0.0, this means that every brea
 
 ## Unreleased
 
-- Bump [egglog dep](https://github.com/egraphs-good/egglog/compare/c83fc750878755eb610a314da90f9273b3bfe25d...45d05e727cceaab13413b4e51a60ee3be9fbf403)
-
-### Breaking Changes
-
-- Switches `RunReport` to include more granular timings
+- Bump [egglog dep](https://github.com/egraphs-good/egglog/compare/4d67f262a6f27aa5cfb62a2cfc7df968959105df...45d05e727cceaab13413b4e51a60ee3be9fbf403)
 
 ### New Features
 
-- Add ability to pass `seminaive` flag to Egraph to replicate `--naive` CLI flag [#48](https://github.com/metadsl/egglog-python/pull/48)
-- Add ability to inline leaves $n$ times instead of just once for visualization [#48](https://github.com/metadsl/egglog-python/pull/48)
-- Add `Relation` and `PrintOverallStatistics` low level commands [#46](https://github.com/metadsl/egglog-python/pull/46)
-- Adds `count-matches` and `replace` string commands [#46](https://github.com/metadsl/egglog-python/pull/46)
 - Adds ability for custom user defined types in a union for proper static typing with conversions [#49](https://github.com/metadsl/egglog-python/pull/49)
 - Adds `py_eval` function to `EGraph` as a helper to eval Python code. [#49](https://github.com/metadsl/egglog-python/pull/49)
 - Adds on hover behavior for edges in graphviz SVG output to make them easier to trace [#49](https://github.com/metadsl/egglog-python/pull/49)
@@ -26,6 +18,21 @@ _This project uses semantic versioning. Before 1.0.0, this means that every brea
 
 - Clean up example in tutorial with demand based expression generation [#49](https://github.com/metadsl/egglog-python/pull/49)
 
+## 0.6.0 (2023-09-20)
+
+- Bump [egglog dep](https://github.com/egraphs-good/egglog/compare/c83fc750878755eb610a314da90f9273b3bfe25d...4d67f262a6f27aa5cfb62a2cfc7df968959105df)
+
+### Breaking Changes
+
+- Switches `RunReport` to include more granular timings
+
+### New Features
+
+- Add ability to pass `seminaive` flag to Egraph to replicate `--naive` CLI flag [#48](https://github.com/metadsl/egglog-python/pull/48)
+- Add ability to inline leaves $n$ times instead of just once for visualization [#48](https://github.com/metadsl/egglog-python/pull/48)
+- Add `Relation` and `PrintOverallStatistics` low level commands [#46](https://github.com/metadsl/egglog-python/pull/46)
+- Adds `count-matches` and `replace` string commands [#46](https://github.com/metadsl/egglog-python/pull/46)
+
 ### Uncategorized
 
 - Added initial supported for Python objects [#31](https://github.com/metadsl/egglog-python/pull/31)