Merge pull request #566 from diffblue/cbmc-6.0.1 · diffblue/hw-cbmc@6379de4

Commit

Merge pull request #566 from diffblue/cbmc-6.0.1

bump CBMC to 6.0.1

tautschnig authored Jun 21, 2024

2 parents 6cc2ed2 + 28f45fb commit 6379de4

+8 −0		.github/workflows/pull-request-checks.yaml
+3 −1		.github/workflows/release-packages.yaml
+16 −0		CHANGELOG
+1 −1		regression/cbmc/Failing_Assert1/dimacs.desc
+1 −1		src/config.inc
+5 −0		src/cprover/cprover_parse_options.cpp
+4 −4		src/goto-checker/bmc_util.cpp
+2 −2		src/goto-symex/symex_target_equation.cpp
+1 −1		src/libcprover-rust/Cargo.toml
+12 −0		src/util/bitvector_types.cpp
+4 −0		src/util/bitvector_types.h
+4 −4		src/util/lower_byte_operators.cpp