From e8e0385b0c2c235535b6310cb99468062b89a205 Mon Sep 17 00:00:00 2001 From: Yihong Zhang Date: Thu, 12 Sep 2024 18:44:44 -0700 Subject: [PATCH 1/2] prepare v0.2.0 --- CHANGELOG.md | 16 ++++++++++++++++ Cargo.toml | 2 +- release-instructions.md | 12 ++++++++++++ 3 files changed, 29 insertions(+), 1 deletion(-) create mode 100644 CHANGELOG.md create mode 100644 release-instructions.md 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..29b9c73 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.1.1" 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` From af29e78b0ddca1f8c871dafbd8594017ab0974ff Mon Sep 17 00:00:00 2001 From: Yihong Zhang Date: Thu, 12 Sep 2024 18:45:53 -0700 Subject: [PATCH 2/2] 0.2.0 --- Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Cargo.toml b/Cargo.toml index 29b9c73..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.1" +version = "0.2.0" repository = "https://github.com/egraphs-good/egraph-serialize" keywords = ["e-graphs"] license = "MIT"