Major-version update cargo dependencies (#4615)

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

@@ -17,7 +17,7 @@ lazy_static = "1.5.0"
 num = "0.4.0"
 num-traits = "0.2"
 serde = {version = "1", features = ["derive"]}
-string-interner = "0.19"
+string-interner = "0.20"
 tracing = "0.1"
 linear-map = {version = "1.2", features = ["serde_impl"]}
 rustc-hash = "2.1.1"

cprover_bindings/Cargo.toml

@@ -13,7 +13,7 @@ cbmc = { path = "../cprover_bindings", package = "cprover_bindings", optional =
 charon = { path = "../charon/charon", optional = true, default-features = false } 
 clap = { version = "4.4.11", features = ["derive", "cargo"] }
 indexmap = { version = "2.7.1", features = ["serde"] }
-itertools = "0.14"
+itertools = "0.15"
 kani_metadata = { path = "../kani_metadata" }
 lazy_static = "1.5.0"
 num = { version = "0.4.0", optional = true }
@@ -22,8 +22,8 @@ regex = "1.11.1"
 serde = { version = "1", optional = true }
 serde_json = "1"
 sha1-checked = "0.10.0"
-strum = "0.27.1"
-strum_macros = "0.27.1"
+strum = "0.28"
+strum_macros = "0.28"
 syn = { version = "2.0.72", features = ["parsing", "extra-traits"] }
 tracing = {version = "0.1", features = ["max_level_trace", "release_max_level_debug"]}
 tracing-subscriber = {version = "0.3.20", features = ["env-filter", "json", "fmt"]}

kani-compiler/Cargo.toml

@@ -21,14 +21,14 @@ to_markdown_table = "0.1.0"
 serde = { version = "1", features = ["derive"] }
 serde_json = { version = "1", features = ["preserve_order"] }
 clap = { version = "4.4.11", features = ["derive"] }
-toml = "0.9"
+toml = "1"
 regex = "1.11.1"
 rustc-demangle = "0.1.21"
 pathdiff = "0.2.1"
 rayon = "1.5.3"
 comfy-table = "7.0.1"
-strum = {version = "0.27.1"}
-strum_macros = {version = "0.27.1"}
+strum = {version = "0.28"}
+strum_macros = {version = "0.28"}
 tempfile = "3"
 tracing = {version = "0.1", features = ["max_level_trace", "release_max_level_debug"]}
 tracing-subscriber = {version = "0.3.20", features = ["env-filter", "json", "fmt"]}

kani-driver/Cargo.toml

@@ -153,7 +153,9 @@ fn verify_project(project: Project, session: KaniSession) -> Result<()> {
         // users in a proof debugging session, who are usually interested in the
         // most recent results.
         let time_now = OffsetDateTime::now_utc();
-        let format = format_description::parse("[year]-[month]-[day]_[hour]-[minute]").unwrap();
+        let format =
+            format_description::parse_borrowed::<3>("[year]-[month]-[day]_[hour]-[minute]")
+                .unwrap();
         let timestamp = time_now.format(&format).unwrap();
 
         session.save_coverage_metadata(&project, &timestamp)?;

kani-driver/src/main.rs

@@ -13,8 +13,8 @@ publish = false
 [dependencies]
 serde = {version = "1", features = ["derive"]}
 cbmc = { path = "../cprover_bindings", package = "cprover_bindings" }
-strum = "0.27.1"
-strum_macros = "0.27.1"
+strum = "0.28"
+strum_macros = "0.28"
 clap = { version = "4.4.11", features = ["derive"] }
 tracing = "0.1.41"
 

kani_metadata/Cargo.toml

@@ -16,8 +16,8 @@ proc-macro2 = "1.0"
 proc-macro2-diagnostics = { version = "0.10", default-features = false }
 quote = "1.0.20"
 syn = { version = "2.0.18", features = ["full", "visit-mut", "visit", "extra-traits"] }
-strum = "0.27.1"
-strum_macros = "0.27.1"
+strum = "0.28"
+strum_macros = "0.28"
 
 [package.metadata.rust-analyzer]
 # This package uses rustc crates.

library/kani_macros/Cargo.toml

@@ -17,5 +17,5 @@ console = "0.16"
 serde = "1.0.197"
 serde_derive = "1.0.197"
 serde_json = "1.0.115"
-tree-sitter = "0.25.3"
+tree-sitter = "0.26"
 tree-sitter-rust = "0.24"

tools/kani-cov/Cargo.toml

@@ -13,8 +13,8 @@ publish = false
 [dependencies]
 csv = "1.3"
 serde = {version = "1", features = ["derive"]}
-strum = "0.27.1"
-strum_macros = "0.27.1"
+strum = "0.28"
+strum_macros = "0.28"
 petgraph = "0.8.2"
 graph-cycles = "0.3.0"