Major-version update cargo dependencies (#4158)

Updates as suggested by `cargo outdated --workspace`.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

Author: tautschnig

Cargo.lock

@@ -202,7 +202,7 @@ dependencies = [
  "anyhow",
  "cargo_metadata",
  "clap",
- "which",
+ "which 8.0.0",
 ]
 
 [[package]]
@@ -321,7 +321,7 @@ dependencies = [
  "tracing",
  "tracing-subscriber",
  "tracing-tree 0.4.0 (git+https://github.com/Nadrieril/tracing-tree)",
- "which",
+ "which 7.0.3",
 ]
 
 [[package]]
@@ -771,9 +771,9 @@ checksum = "a8d1add55171497b4705a648c6b583acafb01d58050a51727785f0b2c8e0a2b2"
 
 [[package]]
 name = "graph-cycles"
-version = "0.2.0"
+version = "0.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3092eb8c0a52f9146161afd672f10fbb970daec4fa79d17b26f79f10139cba9e"
+checksum = "27b92c49194cd4f20bad0d9875503c951993f4249c0cfd210a49ed39ef072a0c"
 dependencies = [
  "ahash",
  "petgraph 0.7.1",
@@ -1132,7 +1132,7 @@ dependencies = [
  "toml",
  "tracing",
  "tracing-subscriber",
- "which",
+ "which 8.0.0",
 ]
 
 [[package]]
@@ -2527,6 +2527,17 @@ dependencies = [
  "winsafe",
 ]
 
+[[package]]
+name = "which"
+version = "8.0.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d3fabb953106c3c8eea8306e4393700d7657561cb43122571b172bbfb7c7ba1d"
+dependencies = [
+ "env_home",
+ "rustix 1.0.7",
+ "winsafe",
+]
+
 [[package]]
 name = "winapi"
 version = "0.3.9"

cprover_bindings/Cargo.toml

@@ -13,7 +13,7 @@ test = true
 doctest = false
 
 [dependencies]
-lazy_static = "1.4.0"
+lazy_static = "1.5.0"
 num = "0.4.0"
 num-traits = "0.2"
 serde = {version = "1", features = ["derive"]}

kani-driver/Cargo.toml

@@ -32,7 +32,7 @@ strum_macros = {version = "0.27.1"}
 tempfile = "3"
 tracing = {version = "0.1", features = ["max_level_trace", "release_max_level_debug"]}
 tracing-subscriber = {version = "0.3.8", features = ["env-filter", "json", "fmt"]}
-which = "7"
+which = "8"
 time = {version = "0.3.36", features = ["formatting"]}
 tokio = { version = "1.40.0", features = ["io-util", "process", "rt", "time"] }
 chrono = { version = "0.4.41", default-features = false, features = [ "clock" ]}

tools/build-kani/Cargo.toml

@@ -13,4 +13,4 @@ publish = false
 anyhow = "1"
 cargo_metadata = "0.20"
 clap = { version = "4.4.11", features=["derive"] }
-which = "7"
+which = "8"

tools/scanner/Cargo.toml

@@ -16,7 +16,7 @@ serde = {version = "1", features = ["derive"]}
 strum = "0.27.1"
 strum_macros = "0.27.1"
 petgraph = "0.7.1"
-graph-cycles = "0.2.0"
+graph-cycles = "0.3.0"
 
 [package.metadata.rust-analyzer]
 # This crate uses rustc crates.