CBMC

cbmc:asm-goto-rw

  1. Git
  2. lp:cbmc
  3. asm-goto-rw
Last commit made on 2017-10-14
Get this branch:
git clone -b asm-goto-rw https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
asm-goto-rw
Repository:
lp:cbmc

Recent commits

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

reaching definitions for gcc_asm

88acdfd... by Daniel Kroening <email address hidden>

Merge pull request #1355 from diffblue/cleanout-config-dependency

[depends: #1333] pointers now come with a width

32dcad8... by Daniel Kroening <email address hidden>

test approx-const-fp-array-variable-invalid-cast-const-fp now more generous

12d45c6... by Michael Tautschnig <email address hidden>

Remove config dependency from CVC and DPLIB solvers

00d25a2... by Daniel Kroening <email address hidden>

Pointers now come with a width

c0ce9de... by Chris Smowton <email address hidden>

Merge pull request #1413 from smowton/smowton/feature/prepare_vsa_for_subclasses

Value-set analysis: templatise and virtualise to facilitate customisation

0bf2ce8... by Chris Smowton <email address hidden>

Merge pull request #1478 from smowton/smowton/fix/doxygen_fixes

Doxygen fixes

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

Merge pull request #1463 from diffblue/mem-safety-check

check that memory for memcpy, memset and memmove is accessible

04aff7c... by Chris Smowton <email address hidden>

Remove residual doc template

No functional changes

fc02354... by Chris Smowton <email address hidden>

Fix docstyle in dump_c.cpp

Must have got missed out of the global Doxygenification somehow.
No functional changes.