Merge branch 'main' into inductive-recursion-for-function-contracts

model-checking · Oct 17, 2023 · 3623c16 · 3623c16
2 parents e651f6e + 1b57856
commit 3623c16
Show file tree

Hide file tree

Showing 24 changed files with 208 additions and 114 deletions.
diff --git 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.39.0]
+
+## What's Changed
+
+* Limit --exclude to workspace packages by @tautschnig in https://github.com/model-checking/kani/pull/2808
+* Fix panic warning and add arbitrary Duration by @celinval in https://github.com/model-checking/kani/pull/2820
+* Update CBMC version to 5.94 by @celinval in https://github.com/model-checking/kani/pull/2821
+* Rust toolchain upgraded to `nightly-2023-10-16` by @celinval @tautschnig 
+
+**Full Changelog**:
+https://github.com/model-checking/kani/compare/kani-0.38.0...kani-0.39.0
+
 ## [0.38.0]
 
 ### Major Changes