From 9d2ddf651e15d624179b1c97c6286393b5dacd59 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..f808a6fb94c0 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