From 3f6d75a5df39f5bcc6db8f6ea13b6ffee2b780dd Mon Sep 17 00:00:00 2001 From: Xavier Denis Date: Tue, 30 Jul 2024 21:20:12 +0200 Subject: [PATCH] chore: Release --- Cargo.lock | 26 +++++++++++++------------- cargo-creusot/Cargo.toml | 4 ++-- creusot-args/Cargo.toml | 4 ++-- creusot-contracts-dummy/Cargo.toml | 4 ++-- creusot-contracts-proc/Cargo.toml | 6 +++--- creusot-contracts/Cargo.toml | 8 ++++---- creusot-dev-config/Cargo.toml | 4 ++-- creusot-metadata/Cargo.toml | 4 ++-- creusot-rustc/Cargo.toml | 6 +++--- creusot-setup/Cargo.toml | 4 ++-- creusot/Cargo.toml | 2 +- pearlite-syn/Cargo.toml | 4 ++-- why3/Cargo.toml | 4 ++-- why3tests/Cargo.toml | 4 ++-- 14 files changed, 42 insertions(+), 42 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index bc6ab02d84..56f7394fec 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -248,7 +248,7 @@ dependencies = [ [[package]] name = "cargo-creusot" -version = "0.1.0" +version = "0.2.0" dependencies = [ "anyhow", "cargo_metadata", @@ -412,7 +412,7 @@ dependencies = [ [[package]] name = "creusot" -version = "0.1.0" +version = "0.2.0" dependencies = [ "arraydeque", "assert_cmd", @@ -442,7 +442,7 @@ dependencies = [ [[package]] name = "creusot-args" -version = "0.1.0" +version = "0.2.0" dependencies = [ "clap", "serde", @@ -450,7 +450,7 @@ dependencies = [ [[package]] name = "creusot-contracts" -version = "0.1.0" +version = "0.2.0" dependencies = [ "creusot-contracts-dummy", "creusot-contracts-proc", @@ -459,14 +459,14 @@ dependencies = [ [[package]] name = "creusot-contracts-dummy" -version = "0.1.0" +version = "0.2.0" dependencies = [ "quote", ] [[package]] name = "creusot-contracts-proc" -version = "0.1.0" +version = "0.2.0" dependencies = [ "pearlite-syn", "proc-macro2", @@ -477,7 +477,7 @@ dependencies = [ [[package]] name = "creusot-dev-config" -version = "0.1.0" +version = "0.2.0" dependencies = [ "anyhow", "creusot-setup", @@ -486,14 +486,14 @@ dependencies = [ [[package]] name = "creusot-metadata" -version = "0.1.0" +version = "0.2.0" dependencies = [ "indexmap 1.9.3", ] [[package]] name = "creusot-rustc" -version = "0.1.0" +version = "0.2.0" dependencies = [ "creusot", "creusot-args", @@ -505,7 +505,7 @@ dependencies = [ [[package]] name = "creusot-setup" -version = "0.1.0" +version = "0.2.0" dependencies = [ "anyhow", "creusot-args", @@ -1440,7 +1440,7 @@ dependencies = [ [[package]] name = "pearlite-syn" -version = "0.1.0" +version = "0.2.0" dependencies = [ "insta", "proc-macro2", @@ -2397,7 +2397,7 @@ dependencies = [ [[package]] name = "why3" -version = "0.1.0" +version = "0.2.0" dependencies = [ "indexmap 1.9.3", "itertools", @@ -2411,7 +2411,7 @@ dependencies = [ [[package]] name = "why3tests" -version = "0.1.0" +version = "0.2.0" dependencies = [ "assert_cmd", "clap", diff --git a/cargo-creusot/Cargo.toml b/cargo-creusot/Cargo.toml index 158780e452..4a1770e6dc 100644 --- a/cargo-creusot/Cargo.toml +++ b/cargo-creusot/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "cargo-creusot" -version = "0.1.0" +version = "0.2.0" edition = "2021" publish = false @@ -19,4 +19,4 @@ include_dir = "0.7.3" tempdir = "0.3.7" [package.metadata.release] -pre-release-replacements = [ ] \ No newline at end of file +pre-release-replacements = [ ] diff --git a/creusot-args/Cargo.toml b/creusot-args/Cargo.toml index 347abe359c..d54f7e29a0 100644 --- a/creusot-args/Cargo.toml +++ b/creusot-args/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "creusot-args" -version = "0.1.0" +version = "0.2.0" edition = "2021" publish = false @@ -11,4 +11,4 @@ clap = { version = "4.2.5", features = ["derive", "env"] } serde = { version = "1.0.195", features = ["derive"] } [package.metadata.release] -pre-release-replacements = [ ] \ No newline at end of file +pre-release-replacements = [ ] diff --git a/creusot-contracts-dummy/Cargo.toml b/creusot-contracts-dummy/Cargo.toml index 453e01926f..636eaf8a52 100644 --- a/creusot-contracts-dummy/Cargo.toml +++ b/creusot-contracts-dummy/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "creusot-contracts-dummy" -version = "0.1.0" +version = "0.2.0" edition = "2021" homepage = "https://github.com/creusot-rs/creusot" license = "LGPL-2.1-or-later" @@ -15,4 +15,4 @@ proc-macro = true quote = "1.0.35" [package.metadata.release] -pre-release-replacements = [ ] \ No newline at end of file +pre-release-replacements = [ ] diff --git a/creusot-contracts-proc/Cargo.toml b/creusot-contracts-proc/Cargo.toml index 250c2518b6..e1f82bf669 100644 --- a/creusot-contracts-proc/Cargo.toml +++ b/creusot-contracts-proc/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "creusot-contracts-proc" -version = "0.1.0" +version = "0.2.0" authors = ["Xavier Denis "] edition = "2018" repository = "https://github.com/creusot-rs/creusot" @@ -14,9 +14,9 @@ proc-macro = true [dependencies] quote = "1.0.35" uuid = { version = "1.3", features = ["v4"] } -pearlite-syn = { version = "0.1", path = "../pearlite-syn", features = ["full"] } +pearlite-syn = { version = "0.2", path = "../pearlite-syn", features = ["full"] } syn = { version = "2.0.15"} proc-macro2 = "1.0.29" [package.metadata.release] -pre-release-replacements = [ ] \ No newline at end of file +pre-release-replacements = [ ] diff --git a/creusot-contracts/Cargo.toml b/creusot-contracts/Cargo.toml index 63b5615713..242ef091bd 100644 --- a/creusot-contracts/Cargo.toml +++ b/creusot-contracts/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "creusot-contracts" -version = "0.1.0" +version = "0.2.0" authors = ["Xavier Denis "] 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.1.0" } -creusot-contracts-dummy = { path = "../creusot-contracts-dummy", version = "0.1.0" } +creusot-contracts-proc = { path = "../creusot-contracts-proc", version = "0.2.0" } +creusot-contracts-dummy = { path = "../creusot-contracts-dummy", version = "0.2.0" } num-rational = "0.3.2" [features] @@ -20,4 +20,4 @@ typechecker = [] contracts = [] [package.metadata.release] -pre-release-replacements = [ ] \ No newline at end of file +pre-release-replacements = [ ] diff --git a/creusot-dev-config/Cargo.toml b/creusot-dev-config/Cargo.toml index a4ab011683..fa4c8ef4be 100644 --- a/creusot-dev-config/Cargo.toml +++ b/creusot-dev-config/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "creusot-dev-config" -version = "0.1.0" +version = "0.2.0" edition = "2021" publish = false @@ -10,4 +10,4 @@ anyhow = "1.0" which = "6.0" [package.metadata.release] -pre-release-replacements = [ ] \ No newline at end of file +pre-release-replacements = [ ] diff --git a/creusot-metadata/Cargo.toml b/creusot-metadata/Cargo.toml index 24933686f8..5ee7add919 100644 --- a/creusot-metadata/Cargo.toml +++ b/creusot-metadata/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "creusot-metadata" -version = "0.1.0" +version = "0.2.0" edition = "2021" publish = false @@ -10,4 +10,4 @@ publish = false indexmap = "1.7.0" [package.metadata.release] -pre-release-replacements = [ ] \ No newline at end of file +pre-release-replacements = [ ] diff --git a/creusot-rustc/Cargo.toml b/creusot-rustc/Cargo.toml index 265c450a85..a8839e358b 100644 --- a/creusot-rustc/Cargo.toml +++ b/creusot-rustc/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "creusot-rustc" -version = "0.1.0" +version = "0.2.0" edition = "2021" publish = false @@ -8,11 +8,11 @@ publish = false [dependencies] serde_json = { version = "1.0" } -creusot = { path = "../creusot", version = "0.1" } +creusot = { path = "../creusot", version = "0.2" } toml = "0.5.8" env_logger = "0.10" serde = { version = "1.0", features = ["derive"] } creusot-args = {path = "../creusot-args"} [package.metadata.release] -pre-release-replacements = [ ] \ No newline at end of file +pre-release-replacements = [ ] diff --git a/creusot-setup/Cargo.toml b/creusot-setup/Cargo.toml index 10c8ad9be5..6464ce9c34 100644 --- a/creusot-setup/Cargo.toml +++ b/creusot-setup/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "creusot-setup" -version = "0.1.0" +version = "0.2.0" edition = "2021" publish = false @@ -17,4 +17,4 @@ hex = "0.4" sha2 = "0.10" [package.metadata.release] -pre-release-replacements = [ ] \ No newline at end of file +pre-release-replacements = [ ] diff --git a/creusot/Cargo.toml b/creusot/Cargo.toml index 7b734e6634..c64ba30f29 100644 --- a/creusot/Cargo.toml +++ b/creusot/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "creusot" -version = "0.1.0" +version = "0.2.0" authors = ["Xavier Denis "] edition = "2021" license = "LGPL-2.1-or-later" diff --git a/pearlite-syn/Cargo.toml b/pearlite-syn/Cargo.toml index e7c38445f4..01fc44426b 100644 --- a/pearlite-syn/Cargo.toml +++ b/pearlite-syn/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "pearlite-syn" -version = "0.1.0" +version = "0.2.0" edition = "2021" license = "MIT OR Apache-2.0" repository = "https://github.com/creusot-rs/creusot" @@ -26,4 +26,4 @@ insta = "1.0.29" ref-cast = "1.0" [package.metadata.release] -pre-release-replacements = [ ] \ No newline at end of file +pre-release-replacements = [ ] diff --git a/why3/Cargo.toml b/why3/Cargo.toml index 4165b7f713..cbfb91adc6 100644 --- a/why3/Cargo.toml +++ b/why3/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "why3" -version = "0.1.0" +version = "0.2.0" authors = ["Xavier Denis "] edition = "2021" repository = "https://github.com/creusot-rs/creusot" @@ -27,4 +27,4 @@ tempfile="3.10.0" serialize = ["serde"] [package.metadata.release] -pre-release-replacements = [ ] \ No newline at end of file +pre-release-replacements = [ ] diff --git a/why3tests/Cargo.toml b/why3tests/Cargo.toml index d8b4073511..71e542a812 100644 --- a/why3tests/Cargo.toml +++ b/why3tests/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "why3tests" -version = "0.1.0" +version = "0.2.0" edition = "2018" publish = false @@ -25,4 +25,4 @@ name = "session_stats" harness = false [package.metadata.release] -pre-release-replacements = [ ] \ No newline at end of file +pre-release-replacements = [ ]