diff --git a/CHANGELOG.md b/CHANGELOG.md new file mode 100644 index 0000000..529a5ac --- /dev/null +++ b/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 diff --git a/Cargo.toml b/Cargo.toml index 2e00252..f7810f4 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -3,7 +3,7 @@ edition = "2021" authors = ["Max Willsey "] 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" diff --git a/release-instructions.md b/release-instructions.md new file mode 100644 index 0000000..a90975c --- /dev/null +++ b/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`