Skip to content

Commit 3f6d75a

Browse files
xldenisxldenis
committed
chore: Release
1 parent fe5435a commit 3f6d75a

File tree

14 files changed

+42
-42
lines changed

14 files changed

+42
-42
lines changed

‎Cargo.lock

Lines changed: 13 additions & 13 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎cargo-creusot/Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "cargo-creusot"
3-
version = "0.1.0"
3+
version = "0.2.0"
44
edition = "2021"
55
publish = false
66

@@ -19,4 +19,4 @@ include_dir = "0.7.3"
1919
tempdir = "0.3.7"
2020

2121
[package.metadata.release]
22-
pre-release-replacements = [ ]
22+
pre-release-replacements = [ ]

‎creusot-args/Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "creusot-args"
3-
version = "0.1.0"
3+
version = "0.2.0"
44
edition = "2021"
55
publish = false
66

@@ -11,4 +11,4 @@ clap = { version = "4.2.5", features = ["derive", "env"] }
1111
serde = { version = "1.0.195", features = ["derive"] }
1212

1313
[package.metadata.release]
14-
pre-release-replacements = [ ]
14+
pre-release-replacements = [ ]

‎creusot-contracts-dummy/Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "creusot-contracts-dummy"
3-
version = "0.1.0"
3+
version = "0.2.0"
44
edition = "2021"
55
homepage = "https://github.com/creusot-rs/creusot"
66
license = "LGPL-2.1-or-later"
@@ -15,4 +15,4 @@ proc-macro = true
1515
quote = "1.0.35"
1616

1717
[package.metadata.release]
18-
pre-release-replacements = [ ]
18+
pre-release-replacements = [ ]

‎creusot-contracts-proc/Cargo.toml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "creusot-contracts-proc"
3-
version = "0.1.0"
3+
version = "0.2.0"
44
authors = ["Xavier Denis <[email protected]>"]
55
edition = "2018"
66
repository = "https://github.com/creusot-rs/creusot"
@@ -14,9 +14,9 @@ proc-macro = true
1414
[dependencies]
1515
quote = "1.0.35"
1616
uuid = { version = "1.3", features = ["v4"] }
17-
pearlite-syn = { version = "0.1", path = "../pearlite-syn", features = ["full"] }
17+
pearlite-syn = { version = "0.2", path = "../pearlite-syn", features = ["full"] }
1818
syn = { version = "2.0.15"}
1919
proc-macro2 = "1.0.29"
2020

2121
[package.metadata.release]
22-
pre-release-replacements = [ ]
22+
pre-release-replacements = [ ]

‎creusot-contracts/Cargo.toml

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "creusot-contracts"
3-
version = "0.1.0"
3+
version = "0.2.0"
44
authors = ["Xavier Denis <[email protected]>"]
55
edition = "2018"
66
homepage = "https://github.com/creusot-rs/creusot"
@@ -10,8 +10,8 @@ description = "Provides contracts and logic helpers for Creusot"
1010
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
1111

1212
[dependencies]
13-
creusot-contracts-proc = { path = "../creusot-contracts-proc", version = "0.1.0" }
14-
creusot-contracts-dummy = { path = "../creusot-contracts-dummy", version = "0.1.0" }
13+
creusot-contracts-proc = { path = "../creusot-contracts-proc", version = "0.2.0" }
14+
creusot-contracts-dummy = { path = "../creusot-contracts-dummy", version = "0.2.0" }
1515
num-rational = "0.3.2"
1616

1717
[features]
@@ -20,4 +20,4 @@ typechecker = []
2020
contracts = []
2121

2222
[package.metadata.release]
23-
pre-release-replacements = [ ]
23+
pre-release-replacements = [ ]

‎creusot-dev-config/Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "creusot-dev-config"
3-
version = "0.1.0"
3+
version = "0.2.0"
44
edition = "2021"
55
publish = false
66

@@ -10,4 +10,4 @@ anyhow = "1.0"
1010
which = "6.0"
1111

1212
[package.metadata.release]
13-
pre-release-replacements = [ ]
13+
pre-release-replacements = [ ]

‎creusot-metadata/Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "creusot-metadata"
3-
version = "0.1.0"
3+
version = "0.2.0"
44
edition = "2021"
55
publish = false
66

@@ -10,4 +10,4 @@ publish = false
1010
indexmap = "1.7.0"
1111

1212
[package.metadata.release]
13-
pre-release-replacements = [ ]
13+
pre-release-replacements = [ ]

‎creusot-rustc/Cargo.toml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,18 @@
11
[package]
22
name = "creusot-rustc"
3-
version = "0.1.0"
3+
version = "0.2.0"
44
edition = "2021"
55
publish = false
66

77
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
88

99
[dependencies]
1010
serde_json = { version = "1.0" }
11-
creusot = { path = "../creusot", version = "0.1" }
11+
creusot = { path = "../creusot", version = "0.2" }
1212
toml = "0.5.8"
1313
env_logger = "0.10"
1414
serde = { version = "1.0", features = ["derive"] }
1515
creusot-args = {path = "../creusot-args"}
1616

1717
[package.metadata.release]
18-
pre-release-replacements = [ ]
18+
pre-release-replacements = [ ]

‎creusot-setup/Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "creusot-setup"
3-
version = "0.1.0"
3+
version = "0.2.0"
44
edition = "2021"
55
publish = false
66

@@ -17,4 +17,4 @@ hex = "0.4"
1717
sha2 = "0.10"
1818

1919
[package.metadata.release]
20-
pre-release-replacements = [ ]
20+
pre-release-replacements = [ ]

‎creusot/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "creusot"
3-
version = "0.1.0"
3+
version = "0.2.0"
44
authors = ["Xavier Denis <[email protected]>"]
55
edition = "2021"
66
license = "LGPL-2.1-or-later"

‎pearlite-syn/Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "pearlite-syn"
3-
version = "0.1.0"
3+
version = "0.2.0"
44
edition = "2021"
55
license = "MIT OR Apache-2.0"
66
repository = "https://github.com/creusot-rs/creusot"
@@ -26,4 +26,4 @@ insta = "1.0.29"
2626
ref-cast = "1.0"
2727

2828
[package.metadata.release]
29-
pre-release-replacements = [ ]
29+
pre-release-replacements = [ ]

‎why3/Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "why3"
3-
version = "0.1.0"
3+
version = "0.2.0"
44
authors = ["Xavier Denis <[email protected]>"]
55
edition = "2021"
66
repository = "https://github.com/creusot-rs/creusot"
@@ -27,4 +27,4 @@ tempfile="3.10.0"
2727
serialize = ["serde"]
2828

2929
[package.metadata.release]
30-
pre-release-replacements = [ ]
30+
pre-release-replacements = [ ]

‎why3tests/Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "why3tests"
3-
version = "0.1.0"
3+
version = "0.2.0"
44
edition = "2018"
55
publish = false
66

@@ -25,4 +25,4 @@ name = "session_stats"
2525
harness = false
2626

2727
[package.metadata.release]
28-
pre-release-replacements = [ ]
28+
pre-release-replacements = [ ]

0 commit comments

Comments
 (0)