Code

New API for getting goto models#1339

Code

Merged

kroening merged 6 commits intodevelopdiffblue/cbmc:developfrom

initialize_goto_modeldiffblue/cbmc:initialize_goto_modelCopy head branch name to clipboard

Sep 11, 2017

Commits

Commits on Sep 8, 2017

• simplify API of goto_convert

  

  Daniel Kroening

  committed
  40fe0f8

  Copy full SHA for 40fe0f8

• use initialize_goto_model in CBMC/goto-analyse/etc

  

  Daniel Kroening

  committed
  9469552

  Copy full SHA for 9469552

• use goto_modelt

  

  Daniel Kroening

  committed
  fc4d44a

  Copy full SHA for fc4d44a

• brief list of symbols, from language_uit

  

  Daniel Kroening

  committed
  e4498ca

  Copy full SHA for e4498ca

• remove spurious references to langapi/language_ui.h

  

  Daniel Kroening

  committed
  8c4ff7b

  Copy full SHA for 8c4ff7b

• missing copyright header

  

  Daniel Kroening

  committed
  7d30cde

  Copy full SHA for 7d30cde