brep-b256 : lp:cbmc : Git : Code : CBMC

Branch information

a2e086e... by Daniel Kroening <email address hidden> on 2018-10-06

base 256 bitvector representation

Simultaneously leading zeros are dropped. This reduces the memory
consumption of bit-vectors by 8x or more.

Merge pull request #3674 from tautschnig/c++-rvalue

C++ front-end: Distinguish references from rvalue references [blocks: #3659]

Merge pull request #3647 from diffblue/symbol_factoryt_fix

bugfix: symbol_factoryt must preserve struct_tag types [blocks: #3652]

Merge pull request #3745 from diffblue/cpp-remove-symbol_type

C++: remove symbol_type

c509d28... by Peter Schrammel <email address hidden> on 2019-01-10

Merge pull request #3711 from tautschnig/move-json-xml-expr

Move {json,xml}_expr.{h,cpp} to goto-programs [blocks: #3734, #3736]

95c2938... by Daniel Kroening <email address hidden> on 2019-01-10

Merge pull request #3678 from tautschnig/vs-shadow-cpp

Avoid shadowing in directory cpp/ [blocks: #2310]

Merge pull request #3748 from diffblue/runtime-is-statistics2

change verbosity of runtime output

81c12bd... by Daniel Kroening <email address hidden> on 2019-01-10

C++: clean out symbol_type

symbol_type is no longer used by the C++ front-end; any support for it is
dead code.

446c77e... by Daniel Kroening <email address hidden> on 2019-01-10

change verbosity of runtime output

The current verbosity of runtime measurements is 'status' (6), and this
commit changes that to 'statistics' (8).

Merge pull request #3741 from diffblue/cpp-tag-types

C++: use struct and union tag types

»