From f73c5ef531e2577fed3772e8f2fb27f2be7dcc3d Mon Sep 17 00:00:00 2001 From: "Felipe R. Monteiro" Date: Thu, 14 Dec 2023 13:50:59 -0400 Subject: [PATCH] Update CHANGELOG.md with Kani 0.43.0 changes Signed-off-by: Felipe R. Monteiro --- CHANGELOG.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index f2c80bdf1a54..957a602f25d4 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +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.43.0] + +### What's Changed +* Rust toolchain upgraded to `nightly-2023-12-14` by @tautschnig and @adpaco-aws + +**Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.42.0...kani-0.43.0 + ## [0.42.0] ### What's Changed