release 0.9.5

CHANGELOG.md

@@ -2,6 +2,10 @@
 
 ## [Unreleased] - ReleaseDate
 
+
+## [0.9.5] - 2023-06-29
+- Fixed a few edge cases in proof size optimization that caused egg to crash.
+
 ## [0.9.4] - 2023-05-23
 - [#253] Improved rebuilding algorithm using a queue.
 - [#259] Fixed another overflow bug in proof size optimization.
@@ -236,7 +240,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.4...HEAD
+[Unreleased]: https://github.com/egraphs-good/egg/compare/v0.9.5...HEAD
+[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
 [0.9.2]: https://github.com/egraphs-good/egg/compare/v0.9.1...v0.9.2

Cargo.toml

@@ -8,7 +8,7 @@ license = "MIT"
 name = "egg"
 readme = "README.md"
 repository = "https://github.com/egraphs-good/egg"
-version = "0.9.4"
+version = "0.9.5"
 
 [dependencies]
 env_logger = {version = "0.9.0", default-features = false}

README.md

@@ -46,7 +46,7 @@ Check out the [web demo](https://egraphs-good.github.io/egg-web-demo) for some q
 Add `egg` to your `Cargo.toml` like this:
 ```toml
 [dependencies]
-egg = "0.9.4"
+egg = "0.9.5"
 ```
 
 Make sure to compile with `--release` if you are measuring performance!

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.4"
+egg = "0.9.5"
 ```
 
 All of the code samples below work, but you'll have to `use` the relevant types.