From b3c83011f765f3afd7c1e47e681abcaf095caf0c Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 16 Dec 2024 16:02:31 +0100 Subject: [PATCH] Update CHANGELOG.md Co-authored-by: Carolyn Zech --- CHANGELOG.md | 1 - 1 file changed, 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 9b9cb28d9541..630c09cfcde0 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -34,7 +34,6 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from * Apply loop contracts only if there exists some usage by @qinheping in https://github.com/model-checking/kani/pull/3694 * Update verify-std-check workflow to enable loop contracts by @qinheping in https://github.com/model-checking/kani/pull/3705 * Add support for f16 and f128 in float_to_int_unchecked intrinsic by @zhassan-aws in https://github.com/model-checking/kani/pull/3701 -* Revert "Ignore derivative in Cargo deny" by @qinheping in https://github.com/model-checking/kani/pull/3712 * Fix codegen for rvalue aggregate raw pointer to an adt with slice tail by @carolynzech in https://github.com/model-checking/kani/pull/3644 * Improve Kani handling of function markers by @celinval in https://github.com/model-checking/kani/pull/3718 * Enable contracts for const generic functions by @qinheping in https://github.com/model-checking/kani/pull/3726