From 6d82802ddfb1dee495ebfc21bc50873566a2a2ec Mon Sep 17 00:00:00 2001 From: "Felipe R. Monteiro" Date: Wed, 13 Dec 2023 23:22:48 -0400 Subject: [PATCH] Update CHANGELOG.md with Kani 0.43.0 changes Signed-off-by: Felipe R. Monteiro --- CHANGELOG.md | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index b58bc5dacdd2..515b53c25e6b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,14 +7,8 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from ## [0.43.0] ## What's Changed -* Make `codegen_span` stable by @ouz-a in https://github.com/model-checking/kani/pull/2882 -* Change reachability module to use StableMIR by @celinval in https://github.com/model-checking/kani/pull/2894 -* Fix StableMIR migration documentation by @celinval in https://github.com/model-checking/kani/pull/2915 -* Stabilize `find_debug_info` by @ouz-a in https://github.com/model-checking/kani/pull/2912 -* Migrate hooks and place modules to use mostly StableMIR APIs by @celinval in https://github.com/model-checking/kani/pull/2910 -* Migrate static handling and most of the operand codegen code to StableMIR by @celinval in https://github.com/model-checking/kani/pull/2931 -* Migrate `rvalue` and `coercion` module to use StableMIR by @celinval in https://github.com/model-checking/kani/pull/2938 -* Migrate `intrinsics` module to use StableMIR by @celinval in https://github.com/model-checking/kani/pull/2939 +* Update the rust toolchain to nightly-2023-12-03 by @tautschnig in https://github.com/model-checking/kani/pull/2913 +* Update Rust toolchain to `nightly-2023-12-08` by @adpaco-aws in https://github.com/model-checking/kani/pull/2926 **Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.42.0...kani-0.43.0