CBMC

cbmc:security-scanner-support

  1. Git
  2. lp:cbmc
  3. security-scanner-support
Last commit made on 2017-11-01
Get this branch:
git clone -b security-scanner-support https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
security-scanner-support
Repository:
lp:cbmc

Recent commits

93ebb84... by Nathan Phillips <email address hidden>

Merge commit '356aed461b387a8ae815a9901a16d26f32f102be' into develop

4820601... by Nathan Phillips <email address hidden>

Merge remote-tracking branch 'diffblue/develop' into merge-dev-to-ss

278f309... by Michael Tautschnig

Merge pull request #1526 from reuk/reuk/fixup-unified-diff

Improve unified_diff interface

69ba9e7... by Michael Tautschnig

Merge pull request #1546 from smowton/smowton/feature/expose_tarjan

Constify grapht::SCCs and cousins

05dc65c... by Michael Tautschnig

Use lower-case characters to start error messages

8d0b23b... by reuk <email address hidden>

Change asserts to invariants

a7afc6c... by reuk <email address hidden>

Return from get_diff by value

6833af6... by reuk <email address hidden>

Fix formatting

4555d9f... by reuk <email address hidden>

Remove unused parameter

e32c6c5... by reuk <email address hidden>

Make instructions_equal static