Code

[depends: #1339] Get goto model#1285

Code

Closed

kroening wants to merge 7 commits intodevelopdiffblue/cbmc:developfrom

get-goto-modeldiffblue/cbmc:get-goto-modelCopy head branch name to clipboard

Commits

Commits on Aug 25, 2017

• simplify API of goto_convert

  

  Daniel Kroening

  committed
  f5dfcf2

  Copy full SHA for f5dfcf2

• added get_goto_model

  

  Daniel Kroening

  committed
  de501bd

  Copy full SHA for de501bd

• use get_goto_model in CBMC

  

  Daniel Kroening

  committed
  11d4341

  Copy full SHA for 11d4341

• remove initialize_goto_model

  

  Daniel Kroening

  committed
  9126f87

  Copy full SHA for 9126f87

• brief list of symbols, from language_uit

  

  Daniel Kroening

  committed
  fac6d26

  Copy full SHA for fac6d26

• remove spurious references to langapi/language_ui.h

  

  Daniel Kroening

  committed
  f212624

  Copy full SHA for f212624

• the main_class is now remembered in the symbol table

  

  Daniel Kroening

  committed
  dd1ee91

  Copy full SHA for dd1ee91