CBMC

cbmc:platform-types

  1. Git
  2. lp:cbmc
  3. platform-types
Last commit made on 2017-10-25
Get this branch:
git clone -b platform-types https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
platform-types
Repository:
lp:cbmc

Recent commits

048c4da... by Daniel Kroening <email address hidden>

added util/platform_types.h

99592b3... by Daniel Kroening <email address hidden>

Merge pull request #1504 from andreast271/update-windows-build

Update documentation for building cbmc on windows.

dff22b8... by Andreas

Make Windows compilation instructions more prescriptive

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

Merge pull request #1511 from tautschnig/fix-graphml

Fix graphml output of concurrency witnesses

358829c... by Daniel Kroening <email address hidden>

Merge pull request #1510 from tautschnig/always-inline

Fully process always_inline

3e77dd6... by Daniel Kroening <email address hidden>

Merge pull request #1496 from smowton/smowton/feature/symbol_table_writer

SEC-79 Add symbol table writer

444d824... by Michael Tautschnig <email address hidden>

Fix graphml output of concurrency witnesses

The START_THREAD instruction may induce a number of assignments, which end up as
assignment in the symex_target_equation while the corresponding pc still points
to a START_THREAD instruction. Hence testing assignments must be done
consistently either within the symex_target_equation or within the goto program
level.

08c512d... by Andreas

Make Windows compilation instructions more prescriptive

bcf8ff3... by Andreas

Update documentation for building cbmc on windows.
Update makefiles to use reasonable default compiler for cygwin build.
Allow alternative downloader selection from make command line.

728dbb5... by Chris Smowton <email address hidden>

Merge pull request #1508 from smowton/smowton/1420-fragments/value_set_debugging

Better debugging information in pointer analysis