use_object_size_for_heap : lp:cbmc : Git : Code : CBMC

Get this branch:: git clone -b use_object_size_for_heap https://git.launchpad.net/cbmc

Branch information

b0875f6... by Daniel Kroening <email address hidden> on 2018-09-14

remove now unused pointer predicates

52064e9... by Daniel Kroening <email address hidden> on 2018-08-28

bounds of heap objects now tracked using object_size()

833cf6f... by Chris Ryder <email address hidden> on 2018-11-08

Merge pull request #3285 from johnnonweiler/doc/reduce-doxygen-warnings-11

Wrap XML in Doxygen comment with \code block

5b47a4d... by Romain Brenguier <email address hidden> on 2018-11-08

Merge pull request #3256 from romainbrenguier/refactor/string-not-constains-struct

Make string_not_contains_constraintt a struct

Merge pull request #3284 from diffblue/smt2-bv-fix

smt2 bit vector fix [blocks: any PR adding CBMC tests]

e44a9ab... by Daniel Kroening <email address hidden> on 2018-11-07

Merge pull request #3290 from tautschnig/move-flatten-byte-ops

Move flatten_byte_* to lowering [blocks: #2068, #2501]

57f8848... by Michael Tautschnig <email address hidden> on 2018-11-07

Disable clang-format for the newly moved file

The file will be substantially rewritten in follow-up commits and there is no
need to do a large-scale whitespace change at this point.

a9c37b8... by Michael Tautschnig <email address hidden> on 2018-11-07

Move flatten_byte_* to lowering

The operations in this code are not tied to Boolean flattening and instead do
rewrites that are usable within any back-end.

1063983... by Daniel Kroening <email address hidden> on 2018-11-07

Merge pull request #3276 from diffblue/called_function

introduce 'called_function' into goto traces [blocks: #3126]

d4d00ab... by Daniel Kroening <email address hidden> on 2018-11-07

Merge pull request #3278 from tautschnig/no-codet-move

Replace uses of codet::move by codet::add(std::move(...)) [blocks: #2310]

»