Do update steps

viperproject · Jul 10, 2023 · 89aa7e0 · 89aa7e0
1 parent 933fe0a
commit 89aa7e0
Show file tree

Hide file tree

Showing 9 changed files with 659 additions and 310 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/analysis/Cargo.toml b/analysis/Cargo.toml
@@ -15,7 +15,7 @@ prusti-rustc-interface = { path = "../prusti-rustc-interface" }
 tracing = { path = "../tracing" }
 
 [dev-dependencies]
-compiletest_rs = "0.9"
+compiletest_rs = "0.10"
 glob = "0.3"
 
 [package.metadata.rust-analyzer]

diff --git a/prusti-common/Cargo.toml b/prusti-common/Cargo.toml
@@ -13,7 +13,7 @@ viper = { path = "../viper" }
 vir = { path = "../vir" }
 log = { version = "0.4", features = ["release_max_level_info"] }
 config = "0.13"
-itertools = "0.10.3"
+itertools = "0.11"
 serde = { version = "1.0", features = ["derive"] }
 lazy_static = "1.4.0"
 uuid = { version = "1.0", features = ["v4"] }

diff --git a/prusti-contracts/prusti-specs/Cargo.toml b/prusti-contracts/prusti-specs/Cargo.toml
@@ -19,5 +19,5 @@ syn = { version = "1.0", features = ["full", "extra-traits", "visit", "visit-mut
 quote = "1.0"
 proc-macro2 = "1.0"
 uuid = { version = "1.0", features = ["v4"] }
-itertools = "0.10.3"
+itertools = "0.11"
 rustc-hash = "1.1.0"
diff --git a/prusti-tests/Cargo.toml b/prusti-tests/Cargo.toml
@@ -5,11 +5,11 @@ authors = ["Prusti Devs <prusti_developers@sympa.ethz.ch>"]
 edition = "2021"
 
 [dev-dependencies]
-compiletest_rs = "0.9"
+compiletest_rs = "0.10"
 prusti-server = { path = "../prusti-server" }
 prusti-launch = { path = "../prusti-launch", artifact = "bin" }
 prusti = { path = "../prusti", artifact = "bin" }
-cargo-test-support = { git = "https://github.com/rust-lang/cargo.git", rev = "17f8088" }
+cargo-test-support = { git = "https://github.com/rust-lang/cargo.git", rev = "ec8a8a0" }
 ureq = "2.1"
 log = { version = "0.4", features = ["release_max_level_info"] }
 env_logger = "0.10"

diff --git a/prusti-utils/Cargo.toml b/prusti-utils/Cargo.toml
@@ -10,7 +10,7 @@ doctest = false # we have no doc tests
 [dependencies]
 log = { version = "0.4", features = ["release_max_level_info"] }
 config = "0.13"
-itertools = "0.10.3"
+itertools = "0.11"
 serde = { version = "1.0", features = ["derive"] }
 lazy_static = "1.4.0"
 uuid = { version = "1.0", features = ["v4"] }

diff --git a/prusti-viper/Cargo.toml b/prusti-viper/Cargo.toml
@@ -26,7 +26,7 @@ serde_json = "1.0"
 backtrace = "0.3"
 rustc-hash = "1.1.0"
 derive_more = "0.99.16"
-itertools = "0.10.3"
+itertools = "0.11"
 once_cell = "1.17.1"
 
 [dev-dependencies]

diff --git a/test-crates/Cargo.toml b/test-crates/Cargo.toml
@@ -8,12 +8,12 @@ edition = "2021"
 prusti = { path = "../prusti", artifact = "bin" }
 prusti-launch = { path = "../prusti-launch", artifact = "bin" }
 color-backtrace = "0.5"
-rustwide = "0.15.0"
+rustwide = "0.16"
 env_logger = "0.10"
 log = "0.4"
 csv = "1.1.5"
 serde = "1.0"
 toml = "0.7"
 glob = "0.3.0"
 clap = { version = "4.0", features = ["derive"] }
-failure = "0.1.3"
+failure = "0.1"
diff --git a/vir/Cargo.toml b/vir/Cargo.toml
@@ -16,7 +16,7 @@ proc-macro2 = { version = "1.0", features = ["span-locations"] }
 uuid = { version = "1.0", features = ["v4"] }
 log = { version = "0.4", features = ["release_max_level_info"] }
 lazy_static = "1.4.0"
-itertools = "0.10.3"
+itertools = "0.11"
 derive_more = "0.99.16"
 rustc-hash = "1.1.0"
 tracing = { path = "../tracing" }