CBMC

cbmc:get-goto-model

  1. Git
  2. lp:cbmc
  3. get-goto-model
Last commit made on 2017-08-25
Get this branch:
git clone -b get-goto-model https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
get-goto-model
Repository:
lp:cbmc

Recent commits

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

the main_class is now remembered in the symbol table

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

remove spurious references to langapi/language_ui.h

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

brief list of symbols, from language_uit

9126f87... by Daniel Kroening <email address hidden>

remove initialize_goto_model

11d4341... by Daniel Kroening <email address hidden>

use get_goto_model in CBMC

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

added get_goto_model

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

simplify API of goto_convert

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

Merge pull request #1284 from diffblue/pointer-width-fixup

Pointer width fixup

2ae3449... by Thomas Kiley <email address hidden>

Merge pull request #835 from reuk/no-raw-ptrs

Replace owning raw pointers

e9e413e... by Thomas Kiley <email address hidden>

Merge pull request #1295 from reuk/reuk/notModelled

Suppress loading notModelled method from CProver library