CBMC

cbmc:concurrency-support

  1. Git
  2. lp:cbmc
  3. concurrency-support
Last commit made on 2017-08-24
Get this branch:
git clone -b concurrency-support https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
concurrency-support
Repository:
lp:cbmc

Recent commits

5c9eb59... by Peter Schrammel <email address hidden>

Merge pull request #1233 from theyoucheng/fault-localization-xml-ui

Fix the output of the fault localization result in XML

13cc598... by theyoucheng <email address hidden>

Fix output of fault localization result in XML

aea00bf... by Michael Tautschnig

Merge pull request #1290 from tautschnig/no-integer_constant

Remove constant_exprt::integer_constant

225e257... by Peter Schrammel <email address hidden>

Merge pull request #1239 from reuk/virtual-function-unwinding

Add test showing infinite unwinding

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

Remove constant_exprt::integer_constant

Use from_integer, everywhere.

3c71a74... by Peter Schrammel <email address hidden>

Merge pull request #551 from mgudemann/update_mp_arith

extend mp_arith bitwise ops with checks for operands sizes/values

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

Merge pull request #1286 from tautschnig/cover-minor-fixes

Fixed whitespace around "="

f71ff9f... by Michael Tautschnig

Merge pull request #1192 from peterschrammel/various-fixes

Various small fixes

22016c0... by Peter Schrammel <email address hidden>

Do not lint C++ regression tests

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

Fixed whitespace around "="