Bump Kani version to 0.15.0 and update dependencies (rust-lang#1897)

Author: celinval

Cargo.lock

@@ -91,11 +91,11 @@ dependencies = [
 
 [[package]]
 name = "build-kani"
-version = "0.14.1"
+version = "0.15.0"
 dependencies = [
  "anyhow",
  "cargo_metadata",
- "clap 3.2.23",
+ "clap 4.0.24",
  "which",
 ]
 
@@ -147,33 +147,31 @@ dependencies = [
  "atty",
  "bitflags",
  "strsim 0.8.0",
- "textwrap 0.11.0",
+ "textwrap",
  "unicode-width",
  "vec_map",
 ]
 
 [[package]]
 name = "clap"
-version = "3.2.23"
+version = "4.0.24"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "71655c45cb9845d3270c9d6df84ebe72b4dad3c2ba3f7023ad47c144e4e473a5"
+checksum = "60494cedb60cb47462c0ff7be53de32c0e42a6fc2c772184554fa12bd9489c03"
 dependencies = [
  "atty",
  "bitflags",
  "clap_derive",
  "clap_lex",
- "indexmap",
  "once_cell",
  "strsim 0.10.0",
  "termcolor",
- "textwrap 0.16.0",
 ]
 
 [[package]]
 name = "clap_derive"
-version = "3.2.18"
+version = "4.0.21"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ea0c8bce528c4be4da13ea6fead8965e95b6073585a2f05204bd8f4119f82a65"
+checksum = "0177313f9f02afc995627906bbd8967e2be069f5261954222dac78290c2b9014"
 dependencies = [
  "heck 0.4.0",
  "proc-macro-error",
@@ -184,18 +182,18 @@ dependencies = [
 
 [[package]]
 name = "clap_lex"
-version = "0.2.4"
+version = "0.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2850f2f5a82cbf437dd5af4d49848fbdfc27c157c3d010345776f952765261c5"
+checksum = "0d4198f73e42b4936b35b5bb248d81d2b595ecb170da0bac7655c54eedfa8da8"
 dependencies = [
  "os_str_bytes",
 ]
 
 [[package]]
 name = "comfy-table"
-version = "6.1.1"
+version = "6.1.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7b3d16bb3da60be2f7c7acfc438f2ae6f3496897ce68c291d0509bb67b4e248e"
+checksum = "1090f39f45786ec6dc6286f8ea9c75d0a7ef0a0d3cda674cef0c3af7b307fbc2"
 dependencies = [
  "crossterm",
  "strum",
@@ -235,7 +233,7 @@ dependencies = [
 
 [[package]]
 name = "cprover_bindings"
-version = "0.14.1"
+version = "0.15.0"
 dependencies = [
  "lazy_static",
  "linear-map",
@@ -431,14 +429,14 @@ checksum = "4217ad341ebadf8d8e724e264f13e593e0648f5b3e94b3896a5df283be015ecc"
 
 [[package]]
 name = "kani"
-version = "0.14.1"
+version = "0.15.0"
 dependencies = [
  "kani_macros",
 ]
 
 [[package]]
 name = "kani-compiler"
-version = "0.14.1"
+version = "0.15.0"
 dependencies = [
  "ar",
  "atty",
@@ -464,7 +462,7 @@ dependencies = [
 
 [[package]]
 name = "kani-driver"
-version = "0.14.1"
+version = "0.15.0"
 dependencies = [
  "anyhow",
  "atty",
@@ -490,7 +488,7 @@ dependencies = [
 
 [[package]]
 name = "kani-verifier"
-version = "0.14.1"
+version = "0.15.0"
 dependencies = [
  "anyhow",
  "home",
@@ -499,23 +497,23 @@ dependencies = [
 
 [[package]]
 name = "kani_macros"
-version = "0.14.1"
+version = "0.15.0"
 dependencies = [
  "quote",
  "syn",
 ]
 
 [[package]]
 name = "kani_metadata"
-version = "0.14.1"
+version = "0.15.0"
 dependencies = [
  "cprover_bindings",
  "serde",
 ]
 
 [[package]]
 name = "kani_queries"
-version = "0.14.1"
+version = "0.15.0"
 dependencies = [
  "strum",
  "strum_macros",
@@ -530,9 +528,9 @@ checksum = "e2abad23fbc42b3700f2f279844dc832adb2b2eb069b2df918f455c4e18cc646"
 
 [[package]]
 name = "libc"
-version = "0.2.136"
+version = "0.2.137"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "55edcf6c0bb319052dea84732cf99db461780fd5e8d3eb46ab6ff312ab31f197"
+checksum = "fc7fcc620a3bff7cdd7a365be3376c97191aeaccc2a603e600951e452615bf89"
 
 [[package]]
 name = "linear-map"
@@ -687,9 +685,9 @@ dependencies = [
 
 [[package]]
 name = "num_cpus"
-version = "1.13.1"
+version = "1.14.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "19e64526ebdee182341572e50e9ad03965aa510cd94427a4549448f285e957a1"
+checksum = "f6058e64324c71e02bc2b150e4f3bc8286db6c83092132ffa3f6b1eab0f9def5"
 dependencies = [
  "hermit-abi",
  "libc",
@@ -709,9 +707,9 @@ dependencies = [
 
 [[package]]
 name = "once_cell"
-version = "1.15.0"
+version = "1.16.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e82dad04139b71a90c080c8463fe0dc7902db5192d939bd0950f074d014339e1"
+checksum = "86f0b0d4bf799edbc74508c1e8bf170ff5f41238e5f8225603ca7caaae2b7860"
 
 [[package]]
 name = "os_info"
@@ -725,9 +723,9 @@ dependencies = [
 
 [[package]]
 name = "os_str_bytes"
-version = "6.3.0"
+version = "6.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9ff7415e9ae3fff1225851df9e0d9e4e5479f947619774677a63572e55e80eff"
+checksum = "7b5bf27447411e9ee3ff51186bf7a08e16c341efdde93f4d823e8844429bed7e"
 
 [[package]]
 name = "overload"
@@ -858,9 +856,9 @@ dependencies = [
 
 [[package]]
 name = "regex"
-version = "1.6.0"
+version = "1.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4c4eb3267174b8c6c2f654116623910a0fef09c4753f8dd83db29c48a0df988b"
+checksum = "e076559ef8e241f2ae3479e36f97bd5741c0330689e217ad51ce2c76808b868a"
 dependencies = [
  "aho-corasick",
  "memchr",
@@ -878,9 +876,9 @@ dependencies = [
 
 [[package]]
 name = "regex-syntax"
-version = "0.6.27"
+version = "0.6.28"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a3f87b73ce11b1619a3c6332f45341e0047173771e8b8b73f87bfeefb7b56244"
+checksum = "456c603be3e8d448b072f410900c09faf164fbce2d480456f50eea6e25f9c848"
 
 [[package]]
 name = "rustc-demangle"
@@ -1024,7 +1022,7 @@ checksum = "a507befe795404456341dfab10cef66ead4c041f62b8b11bbb92bffe5d0953e0"
 
 [[package]]
 name = "std"
-version = "0.14.1"
+version = "0.15.0"
 dependencies = [
  "kani",
 ]
@@ -1134,12 +1132,6 @@ dependencies = [
  "unicode-width",
 ]
 
-[[package]]
-name = "textwrap"
-version = "0.16.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "222a222a5bfe1bba4a77b45ec488a741b3cb8872e5e499451fd7d0129c9c7c3d"
-
 [[package]]
 name = "thiserror"
 version = "1.0.37"

Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani-verifier"
-version = "0.14.1"
+version = "0.15.0"
 edition = "2021"
 description = "A bit-precise model checker for Rust."
 readme = "README.md"

cprover_bindings/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "cprover_bindings"
-version = "0.14.1"
+version = "0.15.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 publish = false

kani-compiler/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani-compiler"
-version = "0.14.1"
+version = "0.15.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 publish = false

kani-compiler/kani_queries/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani_queries"
-version = "0.14.1"
+version = "0.15.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 publish = false

kani-driver/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani-driver"
-version = "0.14.1"
+version = "0.15.0"
 edition = "2021"
 description = "Build a project with Kani and run all proof harnesses"
 license = "MIT OR Apache-2.0"

kani_metadata/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani_metadata"
-version = "0.14.1"
+version = "0.15.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 publish = false

library/kani/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani"
-version = "0.14.1"
+version = "0.15.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 publish = false

library/kani_macros/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani_macros"
-version = "0.14.1"
+version = "0.15.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 publish = false

library/std/Cargo.toml

@@ -5,7 +5,7 @@
 # Note: this package is intentionally named std to make sure the names of
 # standard library symbols are preserved
 name = "std"
-version = "0.14.1"
+version = "0.15.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 publish = false

tools/build-kani/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "build-kani"
-version = "0.14.1"
+version = "0.15.0"
 edition = "2021"
 description = "Builds Kani, Sysroot and release bundle."
 license = "MIT OR Apache-2.0"
@@ -12,5 +12,5 @@ publish = false
 [dependencies]
 anyhow = "1"
 cargo_metadata = "0.15.0"
-clap = { version = "3.2", features=["derive"] }
+clap = { version = "4", features=["derive"] }
 which = "4"