Skip to content

Commit 8f1e3ec

Browse files
xldenisxldenis
authored
Merge pull request #1008 from creusot-rs/update-tomls
Update the tomls
2 parents 7feb3de + 496c0a7 commit 8f1e3ec

File tree

10 files changed

+40
-28
lines changed

10 files changed

+40
-28
lines changed

‎Cargo.lock

Lines changed: 7 additions & 7 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 & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,13 +2,14 @@
22
name = "cargo-creusot"
33
version = "0.1.0"
44
edition = "2021"
5+
description = "Provides contracts and logic helpers for Creusot"
56

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

89
[dependencies]
910
serde_json = { version = "1.0" }
1011
toml = { version = "0.5.8" }
11-
env_logger = "*"
12+
env_logger = "0.10"
1213
serde = { version = "1.0", features = ["derive"] }
1314
creusot-args = {path = "../creusot-args"}
1415
creusot-setup = {path = "../creusot-setup"}

‎creusot-contracts-dummy/Cargo.toml

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,15 @@
11
[package]
22
name = "creusot-contracts-dummy"
3-
version = "0.2.0"
3+
version = "0.1.0"
44
edition = "2021"
5+
homepage = "https://github.com/creusot-rs/creusot"
6+
license = "LGPL-2.1-or-later"
7+
description = "Dummy proc macros for creusot-contracts"
58

69
[lib]
710
proc-macro = true
811

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

1114
[dependencies]
12-
quote = "*"
15+
quote = "1.0.35"

‎creusot-contracts-proc/Cargo.toml

Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,19 @@
11
[package]
22
name = "creusot-contracts-proc"
3-
version = "0.2.0"
3+
version = "0.1.0"
44
authors = ["Xavier Denis <[email protected]>"]
55
edition = "2018"
6+
homepage = "https://github.com/creusot-rs/creusot"
7+
license = "LGPL-2.1-or-later"
8+
description = "Proc macro crate for creusot-contracts"
69

710
[lib]
811
proc-macro = true
912
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
1013

1114
[dependencies]
12-
quote = "*"
13-
uuid = { version = "*", features = ["v4"] }
14-
pearlite-syn = { version = "*", path = "../pearlite-syn", features = ["full"] }
15+
quote = "1.0.35"
16+
uuid = { version = "1.3", features = ["v4"] }
17+
pearlite-syn = { version = "0.1", path = "../pearlite-syn", features = ["full"] }
1518
syn = { version = "2.0.15"}
1619
proc-macro2 = "1.0.29"

‎creusot-contracts/Cargo.toml

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,16 @@
11
[package]
22
name = "creusot-contracts"
3-
version = "0.2.0"
3+
version = "0.1.0"
44
authors = ["Xavier Denis <[email protected]>"]
55
edition = "2018"
6+
homepage = "https://github.com/creusot-rs/creusot"
7+
license = "LGPL-2.1-or-later"
68

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

911
[dependencies]
10-
creusot-contracts-proc = { path = "../creusot-contracts-proc", version = "*" }
11-
creusot-contracts-dummy = { path = "../creusot-contracts-dummy", version = "*" }
12+
creusot-contracts-proc = { path = "../creusot-contracts-proc", version = "0.1.0" }
13+
creusot-contracts-dummy = { path = "../creusot-contracts-dummy", version = "0.1.0" }
1214
num-rational = "0.3.2"
1315

1416
[features]

‎creusot-metadata/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-metadata"
3-
version = "0.2.0"
3+
version = "0.1.0"
44
edition = "2021"
55

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

‎creusot-rustc/Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ edition = "2021"
77

88
[dependencies]
99
serde_json = { version = "1.0" }
10-
creusot = { path = "../creusot", version = "*" }
10+
creusot = { path = "../creusot", version = "0.1" }
1111
toml = "0.5.8"
12-
env_logger = "*"
12+
env_logger = "0.10"
1313
serde = { version = "1.0", features = ["derive"] }
1414
creusot-args = {path = "../creusot-args"}

‎creusot/Cargo.toml

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

78
[dependencies]
8-
itertools = "*"
9+
itertools = "0.10"
910
log = "0.4"
1011
serde = { version = "1.0", features = ["derive"] }
1112
heck = "0.4"

‎pearlite-syn/Cargo.toml

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,18 @@
11
[package]
22
name = "pearlite-syn"
3-
version = "0.2.0"
3+
version = "0.1.0"
44
edition = "2021"
55
license = "MIT OR Apache-2.0"
6+
homepage = "https://github.com/creusot-rs/creusot"
7+
description = "A syn parser for the Pearlite specification language"
68

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

911
[dependencies]
1012

1113
syn = { version = "2.0.15", features = ["full", "extra-traits", "visit-mut"] }
12-
proc-macro2 = "*"
13-
quote = "*"
14+
proc-macro2 = "1.0.76"
15+
quote = "1.0.35"
1416

1517
[features]
1618

‎why3/Cargo.toml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,18 @@
11
[package]
22
name = "why3"
3-
version = "0.2.0"
3+
version = "0.1.0"
44
authors = ["Xavier Denis <[email protected]>"]
55
edition = "2021"
66

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

99
[dependencies]
1010

11-
itertools = "*"
11+
itertools = "0.10"
1212
pretty = "0.11"
1313
indexmap = "1.2.0"
1414
serde = { version = "1.0", optional = true, features = ["derive"] }
15-
num = "*"
15+
num = "0.4"
1616
serde_json = "1.0.107"
1717

1818
[dev-dependencies]

0 commit comments

Comments
 (0)