Merge pull request #17 from yihozhang/release-0.2.0

Prepare v0.2.0

CHANGELOG.md

@@ -0,0 +1,16 @@
+# Changes
+
+## [Unreleased] - ReleaseDate
+
+## [0.2.0] - 2024-9-??
+
+New features
+
+- Add support for storing if a node is subsumed (#16)
+- Add ability to split e-classes for easier visualization (#14)
+- Add ability to "saturate" `inline_leaves` (#6)
+- Other minor improvements (#7,#8, #9, #10)
+
+## [0.1.0] - 2023-10-27
+
+The first version of the egraph-serialize library is released

Cargo.toml

@@ -3,7 +3,7 @@ edition = "2021"
 authors = ["Max Willsey <[email protected]>"]
 description = "A library to serialize e-graphs"
 name = "egraph-serialize"
-version = "0.1.0"
+version = "0.2.0"
 repository = "https://github.com/egraphs-good/egraph-serialize"
 keywords = ["e-graphs"]
 license = "MIT"

release-instructions.md

@@ -0,0 +1,12 @@
+(Copied from `release-instructions.md` of `egraphs-good/egglog``)
+
+How to do a release:
+1. Update `CHANGELOG.md` with a new entry and new link at the bottom.
+2. Find and replace in the codebase to update the version number. Make sure to get `Cargo.toml` and places in the changelog. Be careful not the screw up old links though!
+4. Commit.
+5. Tag the commit with the version number.
+6. Make a PR and make sure the tag gets added.
+7. Merge the PR
+8. `cargo publish --dry-run`
+   1. Sometimes this can result in an error- you may need to run `cargo update` to update `cargo.lock`
+9.  `cargo publish`