Kani 0.20.0 (#2148)

Author: rahulku

Cargo.lock

@@ -93,7 +93,7 @@ dependencies = [
 
 [[package]]
 name = "build-kani"
-version = "0.19.0"
+version = "0.20.0"
 dependencies = [
  "anyhow",
  "cargo_metadata",
@@ -147,9 +147,9 @@ checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
 
 [[package]]
 name = "clap"
-version = "4.1.2"
+version = "4.1.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0e638668a62aced2c9fb72b5135a33b4a500485ccf2a0e402e09aa04ab2fc115"
+checksum = "d8d93d855ce6a0aa87b8473ef9169482f40abaa2e9e0993024c35c902cbd5920"
 dependencies = [
  "bitflags",
  "clap_derive",
@@ -226,7 +226,7 @@ dependencies = [
 
 [[package]]
 name = "cprover_bindings"
-version = "0.19.0"
+version = "0.20.0"
 dependencies = [
  "lazy_static",
  "linear-map",
@@ -471,14 +471,14 @@ checksum = "fad582f4b9e86b6caa621cabeb0963332d92eea04729ab12892c2533951e6440"
 
 [[package]]
 name = "kani"
-version = "0.19.0"
+version = "0.20.0"
 dependencies = [
  "kani_macros",
 ]
 
 [[package]]
 name = "kani-compiler"
-version = "0.19.0"
+version = "0.20.0"
 dependencies = [
  "ar",
  "atty",
@@ -506,7 +506,7 @@ dependencies = [
 
 [[package]]
 name = "kani-driver"
-version = "0.19.0"
+version = "0.20.0"
 dependencies = [
  "anyhow",
  "atty",
@@ -531,7 +531,7 @@ dependencies = [
 
 [[package]]
 name = "kani-verifier"
-version = "0.19.0"
+version = "0.20.0"
 dependencies = [
  "anyhow",
  "home",
@@ -540,7 +540,7 @@ dependencies = [
 
 [[package]]
 name = "kani_macros"
-version = "0.19.0"
+version = "0.20.0"
 dependencies = [
  "proc-macro-error",
  "proc-macro2",
@@ -550,15 +550,15 @@ dependencies = [
 
 [[package]]
 name = "kani_metadata"
-version = "0.19.0"
+version = "0.20.0"
 dependencies = [
  "cprover_bindings",
  "serde",
 ]
 
 [[package]]
 name = "kani_queries"
-version = "0.19.0"
+version = "0.20.0"
 dependencies = [
  "strum",
  "strum_macros",
@@ -648,6 +648,15 @@ dependencies = [
  "windows-sys",
 ]
 
+[[package]]
+name = "nom8"
+version = "0.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ae01545c9c7fc4486ab7debaf2aad7003ac19431791868fb2e8066df97fad2f8"
+dependencies = [
+ "memchr",
+]
+
 [[package]]
 name = "nu-ansi-term"
 version = "0.46.0"
@@ -1023,6 +1032,15 @@ dependencies = [
  "serde",
 ]
 
+[[package]]
+name = "serde_spanned"
+version = "0.6.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "2c68e921cef53841b8925c2abadd27c9b891d9613bdc43d6b823062866df38e8"
+dependencies = [
+ "serde",
+]
+
 [[package]]
 name = "serde_test"
 version = "1.0.152"
@@ -1098,7 +1116,7 @@ checksum = "a507befe795404456341dfab10cef66ead4c041f62b8b11bbb92bffe5d0953e0"
 
 [[package]]
 name = "std"
-version = "0.19.0"
+version = "0.20.0"
 dependencies = [
  "kani",
 ]
@@ -1190,11 +1208,36 @@ dependencies = [
 
 [[package]]
 name = "toml"
-version = "0.5.11"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f4f7f0dd8d50a853a531c426359045b1998f04219d88799810762cd4ad314234"
+checksum = "4fb9d890e4dc9298b70f740f615f2e05b9db37dce531f6b24fb77ac993f9f217"
 dependencies = [
  "serde",
+ "serde_spanned",
+ "toml_datetime",
+ "toml_edit",
+]
+
+[[package]]
+name = "toml_datetime"
+version = "0.5.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4553f467ac8e3d374bc9a177a26801e5d0f9b211aa1673fb137a403afd1c9cf5"
+dependencies = [
+ "serde",
+]
+
+[[package]]
+name = "toml_edit"
+version = "0.18.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "729bfd096e40da9c001f778f5cdecbd2957929a24e10e5883d9392220a751581"
+dependencies = [
+ "indexmap",
+ "nom8",
+ "serde",
+ "serde_spanned",
+ "toml_datetime",
 ]
 
 [[package]]

Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani-verifier"
-version = "0.19.0"
+version = "0.20.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.19.0"
+version = "0.20.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.19.0"
+version = "0.20.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 publish = false
@@ -13,7 +13,7 @@ ar = { version = "0.9.0", optional = true }
 atty = "0.2.14"
 bitflags = { version = "1.0", optional = true }
 cbmc = { path = "../cprover_bindings", package = "cprover_bindings", optional = true }
-clap = { version = "4.0.25", features = ["cargo"] }
+clap = { version = "4.1.3", features = ["cargo"] }
 home = "0.5"
 kani_queries = {path = "kani_queries"}
 kani_metadata = { path = "../kani_metadata", optional = true }

kani-compiler/kani_queries/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani_queries"
-version = "0.19.0"
+version = "0.20.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.19.0"
+version = "0.20.0"
 edition = "2021"
 description = "Build a project with Kani and run all proof harnesses"
 license = "MIT OR Apache-2.0"
@@ -24,9 +24,9 @@ console = "0.15.1"
 once_cell = "1.13.0"
 serde = { version = "1", features = ["derive"] }
 serde_json = "1"
-clap = { version = "4.0.26", features = ["derive"] }
+clap = { version = "4.1.3", features = ["derive"] }
 glob = "0.3"
-toml = "0.5"
+toml = "0.6"
 regex = "1.6"
 rustc-demangle = "0.1.21"
 pathdiff = "0.2.1"

kani_metadata/Cargo.toml

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

library/kani/Cargo.toml

@@ -3,7 +3,7 @@
 
 [package]
 name = "kani"
-version = "0.19.0"
+version = "0.20.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.19.0"
+version = "0.20.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.19.0"
+version = "0.20.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 publish = false