From ed4a17502994c6ebe8d70ddf6b9eb92d747041f6 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 16 Dec 2024 16:01:24 +0100 Subject: [PATCH] Update CHANGELOG.md Co-authored-by: Carolyn Zech --- CHANGELOG.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index d2e79cdfbb50..1f2cc760fdb4 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -27,8 +27,6 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from * Fix loop contracts transformation when loops in branching by @qinheping in https://github.com/model-checking/kani/pull/3640 * Move any_slice_from_array to kani_core by @qinheping in https://github.com/model-checking/kani/pull/3646 * Implement `Arbitrary` for `Range*` by @c410-f3r in https://github.com/model-checking/kani/pull/3666 -* codegen: Ask the layout if it is uninhabited, not its impl detail by @workingjubilee in https://github.com/model-checking/kani/pull/3675 -* Update dependencies following Audit workflow failure. by @remi-delmas-3000 in https://github.com/model-checking/kani/pull/3680 * Harness output individual files by @Alexander-Aghili in https://github.com/model-checking/kani/pull/3360 * Add support for float_to_int_unchecked by @zhassan-aws in https://github.com/model-checking/kani/pull/3660 * Change `same_allocation` to accept wide pointers by @celinval in https://github.com/model-checking/kani/pull/3684