From d8a9547c6433009b121aa85a4473a0143f930f72 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Tue, 28 Nov 2023 10:51:42 +0000 Subject: [PATCH] Update changelog --- CHANGELOG.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 34a14ac43f9b..f2c80bdf1a54 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,11 +4,13 @@ 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.42.0] + ### What's Changed * Build CBMC from source and install as package on non-x86_64 by @bennofs in https://github.com/model-checking/kani/pull/2877 and https://github.com/model-checking/kani/pull/2878 * Emit suggestions and an explanation when CBMC runs out of memory by @JustusAdam in https://github.com/model-checking/kani/pull/2885 -* Rust toolchain upgraded to `nightly-2023-11-21` by @celinval +* Rust toolchain upgraded to `nightly-2023-11-28` by @celinval **Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.41.0...kani-0.42.0