CBMC

cbmc:symex-type-renaming4

  1. Git
  2. lp:cbmc
  3. symex-type-renaming4
Last commit made on 2018-12-27
Get this branch:
git clone -b symex-type-renaming4 https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
symex-type-renaming4
Repository:
lp:cbmc

Recent commits

600ba5b... by Daniel Kroening <email address hidden>

goto_symex: rename type symbols only when needed

Renaming a type is rarely needed: this is necessary only if the type
contains a struct that contains a variable-sized member, which is a gcc
extension. The key benefit of not renaming in all other cases is that
struct and union tag types no longer get expanded.

71ee31d... by Daniel Kroening <email address hidden>

string refiner needs to use follow when testing types

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

added a variant of has_subtype that takes a predicate that is given a namespace

17bcda3... by Daniel Kroening <email address hidden>

goto_symex: use ranged for

1057c61... by JohnDumbell <email address hidden>

Merge pull request #3484 from JohnDumbell/jd/bugfix/enum_on_return_val

Mark return type of an unresolved method during load as required

0cafa14... by Peter Schrammel <email address hidden>

Merge pull request #3610 from tautschnig/whitespace

Fix whitespace in copyright headers

15379e2... by Michael Tautschnig

Merge pull request #3617 from tautschnig/vs-set_is_stub

Actually use the parameter of set_is_stub [blocks: #2310]

208197d... by Michael Tautschnig

Merge pull request #3612 from tautschnig/use-throw-as

Use CATCH's REQUIRE_THROWS_AS [blocks: #2310]

061a193... by Michael Tautschnig

Merge pull request #3611 from tautschnig/standard-file-headers

Add standard file headers

81bc04b... by Michael Tautschnig <email address hidden>

Actually use the parameter of set_is_stub

Also pass it by value, a reference is likely more costly in this case.