Address CHANGELOG review comments

tautschnig · Aug 9, 2023 · f5bbb01 · f5bbb01
1 parent c5c0d7b
commit f5bbb01
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -19,12 +19,10 @@ or by passing `--solver=<SOLVER>` command line option.
 * Coverage reporting without a need for cbmc-viewer by @adpaco-aws in https://github.com/model-checking/kani/pull/2609
 * Add support to array-based SIMD by @celinval in https://github.com/model-checking/kani/pull/2633
 * Add unchecked/SIMD bitshift checks and disable CBMC flag by @reisnera in https://github.com/model-checking/kani/pull/2630
+* Fix codegen of constant byte slices to address spurious verification failures by @zhassan in https://github.com/model-checking/kani/pull/2663
 * Bump CBMC to v5.89.0 by @remi-delmas-3000 in https://github.com/model-checking/kani/pull/2662
 * Update Rust toolchain to nightly 2023-08-04 by @remi-delmas-3000 in https://github.com/model-checking/kani/pull/2661
 
-## New Contributors
-* @reisnera made their first contribution in https://github.com/model-checking/kani/pull/2630
-
 **Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.33.0...kani-0.34.0
 
 ## [0.33.0]