From 2750f55eac565c1fd14c1d3cb72d84851ddf7460 Mon Sep 17 00:00:00 2001
From: Max Willsey <me@mwillsey.com>
Date: Tue, 31 Dec 2024 08:40:48 -0800
Subject: [PATCH] Prep for update

---
 CHANGELOG.md                         |  5 ++++-
 Cargo.toml                           | 24 ++++++++++++------------
 README.md                            |  2 +-
 src/tutorials/_02_getting_started.rs |  2 +-
 4 files changed, 18 insertions(+), 15 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index d7b4774d..7153938e 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,8 @@
 # Changes
 
 ## [Unreleased] - ReleaseDate
+
+## [0.10.0] - 2024-12-31
 - Removed existence explanations from egg (the `explain_existance` function). This feature was buggy and not well supported. Supporting it fully required many changes, and it is incompatible with analysis. See #332 for more details.
 - Change the API of `make` to have mutable access to the e-graph for some [advanced uses cases](https://github.com/egraphs-good/egg/pull/277).
 - Fix an e-matching performance regression introduced in [this commit](https://github.com/egraphs-good/egg/commit/ae8af8815231e4aba1b78962f8c07ce837ee1c0e#diff-1d06da761111802c793c6e5ca704bfa0d6336d0becf87fddff02d81548a838ab).
@@ -243,7 +245,8 @@ But hopefully things will be a little more stable from here on out
 since the API is a lot nicer.
 
 <!-- next-url -->
-[Unreleased]: https://github.com/egraphs-good/egg/compare/v0.9.5...HEAD
+[Unreleased]: https://github.com/egraphs-good/egg/compare/v0.10.0...HEAD
+[0.10.0]: https://github.com/egraphs-good/egg/compare/v0.9.5...v0.10.0
 [0.9.5]: https://github.com/egraphs-good/egg/compare/v0.9.4...v0.9.5
 [0.9.4]: https://github.com/egraphs-good/egg/compare/v0.9.3...v0.9.4
 [0.9.3]: https://github.com/egraphs-good/egg/compare/v0.9.2...v0.9.3
diff --git a/Cargo.toml b/Cargo.toml
index 093d90c1..b56dc602 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -8,32 +8,32 @@ license = "MIT"
 name = "egg"
 readme = "README.md"
 repository = "https://github.com/egraphs-good/egg"
-version = "0.9.5"
+version = "0.10.0"
 
 [dependencies]
-env_logger = { version = "0.9.0", default-features = false }
-rustc-hash = "2.0.0"
+env_logger = {version = "0.9.0", default-features = false}
 hashbrown = "0.15.2"
 indexmap = "2.7.0"
-quanta = "0.12"
 log = "0.4.17"
-smallvec = { version = "1.8.0", features = ["union", "const_generics"] }
-symbol_table = { version = "0.4.0", features = ["global"] }
-symbolic_expressions = "5.0.3"
-thiserror = "1.0.31"
 num-bigint = "0.4"
 num-traits = "0.2"
+quanta = "0.12"
+rustc-hash = "2.0.0"
+smallvec = {version = "1.8.0", features = ["union", "const_generics"]}
+symbol_table = {version = "0.4.0", features = ["global"]}
+symbolic_expressions = "5.0.3"
+thiserror = "1.0.31"
 
 # for the lp feature
-coin_cbc = { version = "0.1.6", optional = true }
+coin_cbc = {version = "0.1.6", optional = true}
 
 # for the serde-1 feature
-serde = { version = "1.0.137", features = ["derive"], optional = true }
-vectorize = { version = "0.2.0", optional = true }
+serde = {version = "1.0.137", features = ["derive"], optional = true}
+vectorize = {version = "0.2.0", optional = true}
 
 # for the reports feature
-serde_json = { version = "1.0.81", optional = true }
 saturating = "0.1.0"
+serde_json = {version = "1.0.81", optional = true}
 
 [dev-dependencies]
 ordered-float = "3.0.0"
diff --git a/README.md b/README.md
index df5b13aa..8a9d9d27 100644
--- a/README.md
+++ b/README.md
@@ -46,7 +46,7 @@ Check out the [egg web demo](https://egraphs-good.github.io/egg-web-demo) for so
 Add `egg` to your `Cargo.toml` like this:
 ```toml
 [dependencies]
-egg = "0.9.5"
+egg = "0.10.0"
 ```
 
 Make sure to compile with `--release` if you are measuring performance!
diff --git a/src/tutorials/_02_getting_started.rs b/src/tutorials/_02_getting_started.rs
index 895d63f5..36d31301 100644
--- a/src/tutorials/_02_getting_started.rs
+++ b/src/tutorials/_02_getting_started.rs
@@ -36,7 +36,7 @@ First,
 Now we can add `egg` as a project dependency by adding a line to `Cargo.toml`:
 ```toml
 [dependencies]
-egg = "0.9.5"
+egg = "0.10.0"
 ```
 
 All of the code samples below work, but you'll have to `use` the relevant types.