From bb978d514d476d5995f4d0a397130f9947ee403d Mon Sep 17 00:00:00 2001 From: Qinheping Hu Date: Fri, 10 Jan 2025 16:17:38 -0600 Subject: [PATCH] Update CHANGELOG.md Co-authored-by: Celina G. Val --- CHANGELOG.md | 1 - 1 file changed, 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index ca6d89e3f413..f873f2a42755 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -12,7 +12,6 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from * Add UB checks for ptr_offset_from* intrinsics by @celinval in https://github.com/model-checking/kani/pull/3757 ### What's Changed -* Package Docker release step: ensure compiler is installed by @tautschnig in https://github.com/model-checking/kani/pull/3789 * Include manifest-path when checking if packages are in the workspace by @qinheping in https://github.com/model-checking/kani/pull/3819 * Update kissat to v4.0.1 by @remi-delmas-3000 in https://github.com/model-checking/kani/pull/3791 * Rust toolchain upgraded to 2025-01-07 by @remi-delmas-3000 @zhassan-aws