CBMC

cbmc:cleanup-document-properties

  1. Git
  2. lp:cbmc
  3. cleanup-document-properties
Last commit made on 2018-08-17
Get this branch:
git clone -b cleanup-document-properties https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
cleanup-document-properties
Repository:
lp:cbmc

Recent commits

6fb5e45... by Daniel Kroening <email address hidden>

use ranged for

a429a13... by Daniel Kroening <email address hidden>

use size_t for an offset

e1fc49f... by Michael Tautschnig

Merge pull request #2720 from tautschnig/replace_symbol-cleanup1

replace_symbolt: hide {expr,type}_map

e327ef2... by Michael Tautschnig <email address hidden>

replace_symbolt: hide {expr,type}_map

Values should only be added via insert. Add expr_map access functions as some
code still does access the expr_map.

3f487c3... by Michael Tautschnig

Merge pull request #2724 from tautschnig/replace-symbolt-unit-test

Unit test of replace_symbolt

c55d032... by Michael Tautschnig <email address hidden>

Unit test of replace_symbolt

bcb7c76... by Daniel Kroening <email address hidden>

Merge pull request #2747 from diffblue/cleanup-message-handler

Cleanup message handler

0d8ea2c... by Daniel Kroening <email address hidden>

remove sequence number from message_handler interface

4557374... by Daniel Kroening <email address hidden>

use size_t for message counts

85a81ea... by Thomas Kiley <email address hidden>

Merge pull request #2594 from thk123/array_type_check

Introduce can_cast_type for array_typet