From ba2100ead7d014c581669a3406cfee07374889da Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 2 Oct 2023 11:12:46 +0000 Subject: [PATCH] Bump Kani version to 0.38.0 --- CHANGELOG.md | 12 ++++++++++++ Cargo.lock | 18 +++++++++--------- Cargo.toml | 2 +- cprover_bindings/Cargo.toml | 2 +- kani-compiler/Cargo.toml | 2 +- kani-driver/Cargo.toml | 2 +- kani_metadata/Cargo.toml | 2 +- library/kani/Cargo.toml | 2 +- library/kani_macros/Cargo.toml | 2 +- library/std/Cargo.toml | 2 +- tools/build-kani/Cargo.toml | 2 +- 11 files changed, 30 insertions(+), 18 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 7b987e5a8f76..1a6f02434aeb 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +4,18 @@ This file contains notable changes (e.g. breaking changes, major changes, etc.) This file was introduced starting Kani 0.23.0, so it only contains changes from version 0.23.0 onwards. +## [0.38.0] + +### What's Changed + +* Provide better error message for invalid stubs by @JustusAdam in https://github.com/model-checking/kani/pull/2787 +* Deprecate any_slice by @zhassan-aws in https://github.com/model-checking/kani/pull/2789 +* Simple Stubbing with Contracts by @JustusAdam in https://github.com/model-checking/kani/pull/2746 +* Avoid mismatch when generating structs that represent scalar data but also include ZSTs by @adpaco-aws in https://github.com/model-checking/kani/pull/2794 +* Bump CBMC version by @zhassan-aws in https://github.com/model-checking/kani/pull/2796 + +**Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.37.0...kani-0.38.0 + ## [0.37.0] ### Major Changes diff --git a/Cargo.lock b/Cargo.lock index 736dd6c3cfb0..de08c3ea6d59 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -119,7 +119,7 @@ dependencies = [ [[package]] name = "build-kani" -version = "0.37.0" +version = "0.38.0" dependencies = [ "anyhow", "cargo_metadata", @@ -264,7 +264,7 @@ dependencies = [ [[package]] name = "cprover_bindings" -version = "0.37.0" +version = "0.38.0" dependencies = [ "lazy_static", "linear-map", @@ -473,14 +473,14 @@ checksum = "af150ab688ff2122fcef229be89cb50dd66af9e01a4ff320cc137eecc9bacc38" [[package]] name = "kani" -version = "0.37.0" +version = "0.38.0" dependencies = [ "kani_macros", ] [[package]] name = "kani-compiler" -version = "0.37.0" +version = "0.38.0" dependencies = [ "clap", "cprover_bindings", @@ -501,7 +501,7 @@ dependencies = [ [[package]] name = "kani-driver" -version = "0.37.0" +version = "0.38.0" dependencies = [ "anyhow", "cargo_metadata", @@ -528,7 +528,7 @@ dependencies = [ [[package]] name = "kani-verifier" -version = "0.37.0" +version = "0.38.0" dependencies = [ "anyhow", "home", @@ -537,7 +537,7 @@ dependencies = [ [[package]] name = "kani_macros" -version = "0.37.0" +version = "0.38.0" dependencies = [ "proc-macro-error", "proc-macro2", @@ -547,7 +547,7 @@ dependencies = [ [[package]] name = "kani_metadata" -version = "0.37.0" +version = "0.38.0" dependencies = [ "clap", "cprover_bindings", @@ -1136,7 +1136,7 @@ checksum = "62bb4feee49fdd9f707ef802e22365a35de4b7b299de4763d44bfea899442ff9" [[package]] name = "std" -version = "0.37.0" +version = "0.38.0" dependencies = [ "kani", ] diff --git a/Cargo.toml b/Cargo.toml index d99a2ffde289..e2a61bdd95b3 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -3,7 +3,7 @@ [package] name = "kani-verifier" -version = "0.37.0" +version = "0.38.0" edition = "2021" description = "A bit-precise model checker for Rust." readme = "README.md" diff --git a/cprover_bindings/Cargo.toml b/cprover_bindings/Cargo.toml index e8c523ad4bd3..2a1d5e50c0ac 100644 --- a/cprover_bindings/Cargo.toml +++ b/cprover_bindings/Cargo.toml @@ -3,7 +3,7 @@ [package] name = "cprover_bindings" -version = "0.37.0" +version = "0.38.0" edition = "2021" license = "MIT OR Apache-2.0" publish = false diff --git a/kani-compiler/Cargo.toml b/kani-compiler/Cargo.toml index c888afac5f01..f0758cd28ecf 100644 --- a/kani-compiler/Cargo.toml +++ b/kani-compiler/Cargo.toml @@ -3,7 +3,7 @@ [package] name = "kani-compiler" -version = "0.37.0" +version = "0.38.0" edition = "2021" license = "MIT OR Apache-2.0" publish = false diff --git a/kani-driver/Cargo.toml b/kani-driver/Cargo.toml index c541803bb10d..e23f9693b3b6 100644 --- a/kani-driver/Cargo.toml +++ b/kani-driver/Cargo.toml @@ -3,7 +3,7 @@ [package] name = "kani-driver" -version = "0.37.0" +version = "0.38.0" edition = "2021" description = "Build a project with Kani and run all proof harnesses" license = "MIT OR Apache-2.0" diff --git a/kani_metadata/Cargo.toml b/kani_metadata/Cargo.toml index 0deb1b994821..c9fb64016b7c 100644 --- a/kani_metadata/Cargo.toml +++ b/kani_metadata/Cargo.toml @@ -3,7 +3,7 @@ [package] name = "kani_metadata" -version = "0.37.0" +version = "0.38.0" edition = "2021" license = "MIT OR Apache-2.0" publish = false diff --git a/library/kani/Cargo.toml b/library/kani/Cargo.toml index 97e30ba6294e..358e1a3c20d8 100644 --- a/library/kani/Cargo.toml +++ b/library/kani/Cargo.toml @@ -3,7 +3,7 @@ [package] name = "kani" -version = "0.37.0" +version = "0.38.0" edition = "2021" license = "MIT OR Apache-2.0" publish = false diff --git a/library/kani_macros/Cargo.toml b/library/kani_macros/Cargo.toml index 42c30f20c29a..535dd19a2a03 100644 --- a/library/kani_macros/Cargo.toml +++ b/library/kani_macros/Cargo.toml @@ -3,7 +3,7 @@ [package] name = "kani_macros" -version = "0.37.0" +version = "0.38.0" edition = "2021" license = "MIT OR Apache-2.0" publish = false diff --git a/library/std/Cargo.toml b/library/std/Cargo.toml index 2a5ed385c8dc..157ef0acc613 100644 --- a/library/std/Cargo.toml +++ b/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.37.0" +version = "0.38.0" edition = "2021" license = "MIT OR Apache-2.0" publish = false diff --git a/tools/build-kani/Cargo.toml b/tools/build-kani/Cargo.toml index 014f2949af0f..bfd81c1be85e 100644 --- a/tools/build-kani/Cargo.toml +++ b/tools/build-kani/Cargo.toml @@ -3,7 +3,7 @@ [package] name = "build-kani" -version = "0.37.0" +version = "0.38.0" edition = "2021" description = "Builds Kani, Sysroot and release bundle." license = "MIT OR Apache-2.0"