From 247c4507b7e2a1cbaacd349e9fcdc601ba8dcc3c Mon Sep 17 00:00:00 2001 From: Thomas Given-Wilson Date: Wed, 11 Oct 2023 14:59:10 +0100 Subject: [PATCH 1/2] Increment version number for cbmc 5.94.0 --- src/config.inc | 2 +- src/libcprover-rust/Cargo.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/config.inc b/src/config.inc index ebe88583ce0..d8c098c9638 100644 --- a/src/config.inc +++ b/src/config.inc @@ -76,7 +76,7 @@ endif OSX_IDENTITY="Developer ID Application: Daniel Kroening" # Detailed version information -CBMC_VERSION = 5.93.0 +CBMC_VERSION = 5.94.0 # Use the CUDD library for BDDs, can be installed using `make -C src cudd-download` # CUDD = ../../cudd-3.0.0 diff --git a/src/libcprover-rust/Cargo.toml b/src/libcprover-rust/Cargo.toml index 1cf0de92b07..f1efe3a7ffb 100644 --- a/src/libcprover-rust/Cargo.toml +++ b/src/libcprover-rust/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "libcprover_rust" -version = "5.93.0" +version = "5.94.0" edition = "2021" description = "Rust API for CBMC and assorted CProver tools" repository = "https://github.com/diffblue/cbmc" From 95b7ac50d79384f108c1bd33bd6710b189b80e27 Mon Sep 17 00:00:00 2001 From: Thomas Given-Wilson Date: Wed, 11 Oct 2023 14:59:24 +0100 Subject: [PATCH 2/2] Add CHANGELOG with changes for cbmc 5.94.0 --- CHANGELOG | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 CHANGELOG diff --git a/CHANGELOG b/CHANGELOG new file mode 100644 index 00000000000..d6cc0e44bdb --- /dev/null +++ b/CHANGELOG @@ -0,0 +1,13 @@ +# CBMC 5.94.0 + +## What's Changed +* Add models for C library: getpwnam, getpwuid, and getopt by @tautschnig in https://github.com/diffblue/cbmc/pull/7919 and https://github.com/diffblue/cbmc/pull/7916 +* Shadow memory addresses now also support --pointer-check argument by @esteffin in https://github.com/diffblue/cbmc/pull/7936 +* [DOCS] Add documentation on CBMC Shadow Memory intrinsics and shadow memory functions (via doxygen) by @NlightNFotis in https://github.com/diffblue/cbmc/pull/7913 and https://github.com/diffblue/cbmc/pull/7930 +* [SYNTHESIZER] goto-synthesizer now accepts all CBMC options by @qinheping in https://github.com/diffblue/cbmc/pull/7900 + +## Bug Fixes +* Fix problem on array size L2 renaming by @esteffin in https://github.com/diffblue/cbmc/pull/7877 +* Fix shadow memory missing aggregation on non-compound bitvector types by @esteffin in https://github.com/diffblue/cbmc/pull/7935 + +**Full Changelog**: https://github.com/diffblue/cbmc/compare/cbmc-5.93.0...cbmc-5.94.0