Merge pull request #760 from diffblue/bump-cbmc4 · diffblue/hw-cbmc@81b3d8e

Commit

Merge pull request #760 from diffblue/bump-cbmc4

bump CBMC dependency

tautschnig authored Oct 11, 2024

2 parents 00d8bb6 + dad0be0 commit 81b3d8e

+12 −9		doc/man/cbmc.1
+5 −3		doc/man/goto-instrument.1
+11 −8		doc/man/jbmc.1
+1 −1		src/ansi-c/c_typecheck_type.cpp
+7 −0		src/goto-instrument/contracts/doc/user/contracts-history-variables.md
+6 −0		src/util/format_type.cpp
+11 −0		src/util/std_types.cpp
+9 −0		src/util/std_types.h
+1 −0		unit/Makefile
+19 −0		unit/util/format_type.cpp