Merge pull request #284 from egraphs-good/version-10.0.0

saulshanabrook · web-flow · commit ac7859333800 · 2025-03-28T17:28:14.000-04:00
Version 10.0.0
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "egglog_python"
-version = "9.0.1"
+version = "10.0.0"
 edition = "2021"
 
 
diff --git a/docs/changelog.md b/docs/changelog.md
@@ -4,6 +4,8 @@ _This project uses semantic versioning_
 
 ## UNRELEASED
 
+## 10.0.0 (2025-03-28)
+
 - Change builtins to not evaluate values in egraph and changes facts to compare structural equality instead of using an egraph when converting to a boolean, removing magic context (`EGraph.current` and `Schedule.current`) that was added in release 9.0.0.
 - Fix bug that improperly upcasted values for ==
 
