chore: Release

creusot-rs · Oct 27, 2024 · ccc2f16 · ccc2f16
1 parent 04804d5
commit ccc2f16
Show file tree

Hide file tree

Showing 16 changed files with 35 additions and 33 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -9,7 +9,9 @@ Creusot is currently best suited for the verification of code like data-structur
 **Creusot is still very experimental software, you should expect some obscure crashes and missing features.**
 
 <!-- next-header -->
-## [Unreleased] - ReleaseDate 
+
+## [Unreleased] - ReleaseDate
+## [0.3.0] - 2024-10-27 
 
 ### Cargo Creusot
 

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -18,4 +18,4 @@ split-debuginfo = "off"
 
 [workspace.metadata.release]
 shared-version = true
-tag-name = "v{{version}}"
+tag-name = "v{{version}}"
diff --git a/cargo-creusot/Cargo.toml b/cargo-creusot/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cargo-creusot"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 publish = false
 

diff --git a/creusot-args/Cargo.toml b/creusot-args/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-args"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 publish = false
 

diff --git a/creusot-contracts-dummy/Cargo.toml b/creusot-contracts-dummy/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-contracts-dummy"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 homepage = "https://github.com/creusot-rs/creusot"
 license = "LGPL-2.1-or-later"

diff --git a/creusot-contracts-proc/Cargo.toml b/creusot-contracts-proc/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-contracts-proc"
-version = "0.2.0"
+version = "0.3.0"
 authors = ["Xavier Denis <xldenis@gmail.com>"]
 edition = "2018"
 repository = "https://github.com/creusot-rs/creusot"
@@ -14,7 +14,7 @@ proc-macro = true
 [dependencies]
 quote = "1.0.35"
 uuid = { version = "1.3", features = ["v4"] }
-pearlite-syn = { version = "0.2", path = "../pearlite-syn", features = ["full"] }
+pearlite-syn = { version = "0.3", path = "../pearlite-syn", features = ["full"] }
 syn = { version = "2.0.15"}
 proc-macro2 = "1.0.29"
 
diff --git a/creusot-contracts/Cargo.toml b/creusot-contracts/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-contracts"
-version = "0.2.0"
+version = "0.3.0"
 authors = ["Xavier Denis <xldenis@gmail.com>"]
 edition = "2018"
 homepage = "https://github.com/creusot-rs/creusot"
@@ -10,8 +10,8 @@ description = "Provides contracts and logic helpers for Creusot"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-creusot-contracts-proc = { path = "../creusot-contracts-proc", version = "0.2.0" }
-creusot-contracts-dummy = { path = "../creusot-contracts-dummy", version = "0.2.0" }
+creusot-contracts-proc = { path = "../creusot-contracts-proc", version = "0.3.0" }
+creusot-contracts-dummy = { path = "../creusot-contracts-dummy", version = "0.3.0" }
 num-rational = "0.3.2"
 
 [features]
@@ -21,4 +21,4 @@ contracts = []
 
 
 [lints.rust]
-unexpected_cfgs = { level = "warn", check-cfg = ['cfg(creusot)'] }
+unexpected_cfgs = { level = "warn", check-cfg = ['cfg(creusot)'] }
diff --git a/creusot-dev-config/Cargo.toml b/creusot-dev-config/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-dev-config"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 publish = false
 

diff --git a/creusot-metadata/Cargo.toml b/creusot-metadata/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-metadata"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 publish = false
 

diff --git a/creusot-rustc/Cargo.toml b/creusot-rustc/Cargo.toml
@@ -1,14 +1,14 @@
 [package]
 name = "creusot-rustc"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 publish = false
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
 serde_json = { version = "1.0" }
-creusot = { path = "../creusot", version = "0.2" }
+creusot = { path = "../creusot", version = "0.3" }
 toml = "0.5.8"
 env_logger = "0.10"
 serde = { version = "1.0", features = ["derive"] }

diff --git a/creusot-setup/Cargo.toml b/creusot-setup/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-setup"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 publish = false
 

diff --git a/creusot/Cargo.toml b/creusot/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot"
-version = "0.2.0"
+version = "0.3.0"
 authors = ["Xavier Denis <xldenis@gmail.com>"]
 edition = "2021"
 license = "LGPL-2.1-or-later"

diff --git a/pearlite-syn/Cargo.toml b/pearlite-syn/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "pearlite-syn"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 repository = "https://github.com/creusot-rs/creusot"

diff --git a/why3/Cargo.toml b/why3/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "why3"
-version = "0.2.0"
+version = "0.3.0"
 authors = ["Xavier Denis <xldenis@gmail.com>"]
 edition = "2021"
 repository = "https://github.com/creusot-rs/creusot"

diff --git a/why3tests/Cargo.toml b/why3tests/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "why3tests"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2018"
 publish = false