Skip to content

Commit

Permalink
chore: Release
Browse files Browse the repository at this point in the history
  • Loading branch information
@xldenis
xldenis committed Jul 30, 2024
1 parent fe5435a commit 3f6d75a
Show file tree
Hide file tree
Showing 14 changed files with 42 additions and 42 deletions.
26 changes: 13 additions & 13 deletions Cargo.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions cargo-creusot/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "cargo-creusot"
version = "0.1.0"
version = "0.2.0"
edition = "2021"
publish = false

Expand All @@ -19,4 +19,4 @@ include_dir = "0.7.3"
tempdir = "0.3.7"

[package.metadata.release]
pre-release-replacements = [ ]
pre-release-replacements = [ ]
4 changes: 2 additions & 2 deletions creusot-args/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "creusot-args"
version = "0.1.0"
version = "0.2.0"
edition = "2021"
publish = false

Expand All @@ -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 = [ ]
pre-release-replacements = [ ]
4 changes: 2 additions & 2 deletions creusot-contracts-dummy/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -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"
Expand All @@ -15,4 +15,4 @@ proc-macro = true
quote = "1.0.35"

[package.metadata.release]
pre-release-replacements = [ ]
pre-release-replacements = [ ]
6 changes: 3 additions & 3 deletions creusot-contracts-proc/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "creusot-contracts-proc"
version = "0.1.0"
version = "0.2.0"
authors = ["Xavier Denis <[email protected]>"]
edition = "2018"
repository = "https://github.com/creusot-rs/creusot"
Expand All @@ -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 = [ ]
pre-release-replacements = [ ]
8 changes: 4 additions & 4 deletions creusot-contracts/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "creusot-contracts"
version = "0.1.0"
version = "0.2.0"
authors = ["Xavier Denis <[email protected]>"]
edition = "2018"
homepage = "https://github.com/creusot-rs/creusot"
Expand All @@ -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]
Expand All @@ -20,4 +20,4 @@ typechecker = []
contracts = []

[package.metadata.release]
pre-release-replacements = [ ]
pre-release-replacements = [ ]
4 changes: 2 additions & 2 deletions creusot-dev-config/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "creusot-dev-config"
version = "0.1.0"
version = "0.2.0"
edition = "2021"
publish = false

Expand All @@ -10,4 +10,4 @@ anyhow = "1.0"
which = "6.0"

[package.metadata.release]
pre-release-replacements = [ ]
pre-release-replacements = [ ]
4 changes: 2 additions & 2 deletions creusot-metadata/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "creusot-metadata"
version = "0.1.0"
version = "0.2.0"
edition = "2021"
publish = false

Expand All @@ -10,4 +10,4 @@ publish = false
indexmap = "1.7.0"

[package.metadata.release]
pre-release-replacements = [ ]
pre-release-replacements = [ ]
6 changes: 3 additions & 3 deletions creusot-rustc/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,18 +1,18 @@
[package]
name = "creusot-rustc"
version = "0.1.0"
version = "0.2.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.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 = [ ]
pre-release-replacements = [ ]
4 changes: 2 additions & 2 deletions creusot-setup/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "creusot-setup"
version = "0.1.0"
version = "0.2.0"
edition = "2021"
publish = false

Expand All @@ -17,4 +17,4 @@ hex = "0.4"
sha2 = "0.10"

[package.metadata.release]
pre-release-replacements = [ ]
pre-release-replacements = [ ]
2 changes: 1 addition & 1 deletion creusot/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "creusot"
version = "0.1.0"
version = "0.2.0"
authors = ["Xavier Denis <[email protected]>"]
edition = "2021"
license = "LGPL-2.1-or-later"
Expand Down
4 changes: 2 additions & 2 deletions pearlite-syn/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -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"
Expand All @@ -26,4 +26,4 @@ insta = "1.0.29"
ref-cast = "1.0"

[package.metadata.release]
pre-release-replacements = [ ]
pre-release-replacements = [ ]
4 changes: 2 additions & 2 deletions why3/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "why3"
version = "0.1.0"
version = "0.2.0"
authors = ["Xavier Denis <[email protected]>"]
edition = "2021"
repository = "https://github.com/creusot-rs/creusot"
Expand All @@ -27,4 +27,4 @@ tempfile="3.10.0"
serialize = ["serde"]

[package.metadata.release]
pre-release-replacements = [ ]
pre-release-replacements = [ ]
4 changes: 2 additions & 2 deletions why3tests/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "why3tests"
version = "0.1.0"
version = "0.2.0"
edition = "2018"
publish = false

Expand All @@ -25,4 +25,4 @@ name = "session_stats"
harness = false

[package.metadata.release]
pre-release-replacements = [ ]
pre-release-replacements = [ ]

0 comments on commit 3f6d75a

Please sign in to comment.