CBMC

cbmc:instructiont_code

  1. Git
  2. lp:cbmc
  3. instructiont_code
Last commit made on 2019-02-23
Get this branch:
git clone -b instructiont_code https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
instructiont_code
Repository:
lp:cbmc

Recent commits

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

avoid access to instructiont::code

744c6f3... by Michael Tautschnig

Merge pull request #4256 from tautschnig/allocated-bounds

Take __CPROVER_allocated_memory regions into account for --bounds-check

df79716... by Michael Tautschnig

Merge pull request #4252 from tautschnig/use-parameter-identifiers

Use goto_functiont::parameter_identifiers instead of looking at the type [blocks: #4167]

5b32a61... by Michael Tautschnig

Merge pull request #4245 from tautschnig/prefix.h-include

Do not use has_prefix in source_location.h

51f5796... by Michael Tautschnig <email address hidden>

Take __CPROVER_allocated_memory regions into account for --bounds-check

We already took these into account for --pointer-check. Do the same for
--bounds-check.

619a47c... by Michael Tautschnig <email address hidden>

Rename par_type to parameter_type

The coding guidelines advise against using abbreviations.

6adfd37... by Michael Tautschnig <email address hidden>

Use goto_functiont::parameter_identifiers instead of looking at the type

goto_functiont::type will be removed as it is redundant with the type
information stored in the symbol table. Also, this actually simplifies the code
as in many cases we primarily care about the name of the parameter.

eabc411... by Michael Tautschnig

Merge pull request #4253 from tautschnig/codeowners

Add Owen as code owner to analyses, pointer-analysis

57ffdf4... by Michael Tautschnig

Merge pull request #4255 from tautschnig/fix-test-spec

Fix exit/signal specifications in enum-trace1 [blocks: #4253]

4ee0b9a... by Michael Tautschnig <email address hidden>

Add Owen as code owner to analyses, pointer-analysis

Owen has already been an active reviewer despite not being a named code owner.