Skip to content

Commit cbc5079

Browse files
authored
Merge pull request #8355 from tautschnig/cbmc-release-6.0.1
Patch release CBMC 6.0.1
2 parents df5f353 + 0761608 commit cbc5079

File tree

3 files changed

+18
-2
lines changed

3 files changed

+18
-2
lines changed

CHANGELOG

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,19 @@
1+
# CBMC 6.0.1
2+
3+
## Bug Fixes
4+
* Fix Python syntax error by @tautschnig in https://github.com/diffblue/cbmc/pull/8344
5+
* Use GNU parallel in Windows CI job by @tautschnig in https://github.com/diffblue/cbmc/pull/8345
6+
* goto-synthesizer: ignore __CPROVER_-prefixed symbols by @tautschnig in https://github.com/diffblue/cbmc/pull/8348
7+
* Union member fix by @kroening in https://github.com/diffblue/cbmc/pull/8347
8+
* GOTO conversion: Declaration hops must not invalidate incomplete gotos by @tautschnig in https://github.com/diffblue/cbmc/pull/8349
9+
* Increase Windows/clcache size to 2 GB by @tautschnig in https://github.com/diffblue/cbmc/pull/8346
10+
* homebrew-pr CI notification: install go by @tautschnig in https://github.com/diffblue/cbmc/pull/8340
11+
* add two helpers for bv_typet by @kroening in https://github.com/diffblue/cbmc/pull/8350
12+
* reduce default verbosity of cprover binary by @kroening in https://github.com/diffblue/cbmc/pull/8352
13+
* reduce verbosity of runtime messages by @kroening in https://github.com/diffblue/cbmc/pull/8354
14+
15+
**Full Changelog**: https://github.com/diffblue/cbmc/compare/cbmc-6.0.0...cbmc-6.0.1
16+
117
# CBMC 6.0.0
218

319
## Major Changes

src/config.inc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,7 @@ endif
7979
OSX_IDENTITY="Developer ID Application: Daniel Kroening"
8080

8181
# Detailed version information
82-
CBMC_VERSION = 6.0.0
82+
CBMC_VERSION = 6.0.1
8383

8484
# Use the CUDD library for BDDs, can be installed using `make -C src cudd-download`
8585
# CUDD = ../../cudd-3.0.0

src/libcprover-rust/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "libcprover_rust"
3-
version = "6.0.0"
3+
version = "6.0.1"
44
edition = "2021"
55
description = "Rust API for CBMC and assorted CProver tools"
66
repository = "https://github.com/diffblue/cbmc"

0 commit comments

Comments
 (0)