second attempt releasing

egraphs-good · Jan 21, 2025 · a938445 · a938445
1 parent b44ba49
commit a938445
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -129,6 +129,7 @@ As of yet, the rust interface is not documented or well supported. We reccomend
 [0.1.0]: https://github.com/egraphs-good/egglog/tree/v0.1.0
 [0.2.0]: https://github.com/egraphs-good/egglog/tree/v0.2.0
 [0.3.0]: https://github.com/egraphs-good/egglog/tree/v0.3.0
+[0.4.0]: https://github.com/egraphs-good/egglog/tree/v0.4.0
 
 
 See release-instructions.md for more information on how to do a release.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 edition = "2021"
 name = "egglog"
-version = "0.3.0"
+version = "0.4.0"
 description = "egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular rust library egg."
 repository = "https://github.com/egraphs-good/egglog"
 keywords = ["e-graphs", "egglog", "datalog", "compiler", "equality"]

diff --git a/web-demo/Cargo.toml b/web-demo/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 edition = "2021"
 name = "web-demo"
-version = "0.3.0"
+version = "0.4.0"
 
 [lib]
 crate-type = ["cdylib"]