From ff768f8e738042700ae86bc74e1bd33f356fa891 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 16 Dec 2024 16:02:21 +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 27f84db51bf0..9b9cb28d9541 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -42,7 +42,6 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from * add support for enum, struct, tuple in llbc backend by @thanhnguyen-aws in https://github.com/model-checking/kani/pull/3721 * Fix issues with how we compute DST size by @celinval in https://github.com/model-checking/kani/pull/3687 * Fix size and alignment computation for intrinsics by @celinval in https://github.com/model-checking/kani/pull/3734 -* Cleanup a few internal compiler deps by @celinval in https://github.com/model-checking/kani/pull/3739 * Add a Kani function that checks if the range of a float is valid for conversion to int by @zhassan-aws in https://github.com/model-checking/kani/pull/3742 * Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable 24.04 by @tautschnig in https://github.com/model-checking/kani/pull/3758 * Add out of bounds check for `offset` intrinsics by @celinval in https://github.com/model-checking/kani/pull/3755