Merge pull request #7955 from diffblue/20231012-CHANGELOG-update

update CHANGELOG for last minute bug fixes
diffblue · Oct 12, 2023 · a997e32 · a997e32
2 parents 2833356 + 4388ace
commit a997e32
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGELOG b/CHANGELOG
@@ -9,5 +9,7 @@
 ## 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
+* Fix SMT encoding of structs which contain a single struct field by @thomasspriggs in https://github.com/diffblue/cbmc/pull/7951
+* Fix simplification towards singleton intervals not checking application to only a single variable by @tautschnig in https://github.com/diffblue/cbmc/pull/7954
 
 **Full Changelog**: https://github.com/diffblue/cbmc/compare/cbmc-5.93.0...cbmc-5.94.0