Code

introduce protected_exprt#3855

Code

Merged

kroening merged 5 commits intodevelopdiffblue/cbmc:developfrom

protected_exprtdiffblue/cbmc:protected_exprtCopy head branch name to clipboard

Jan 29, 2019

Commits

Commits on Jan 26, 2019

• avoid direct access to exprt::op0()

  Show description for 1280010
  

  Daniel Kroening

  committed
  1280010

  Copy full SHA for 1280010

• use conditional_cast instead of make_typecast

  Show description for 6c14669
  

  Daniel Kroening

  committed
  6c14669

  Copy full SHA for 6c14669

• replace exprt::make_typecast() by typecast_exprt()

  Show description for 39d38f1
  

  Daniel Kroening

  committed
  39d38f1

  Copy full SHA for 39d38f1

• multi_ary_exprt::opX with precondtion

  Show description for adb0533
  

  Daniel Kroening

  committed
  adb0533

  Copy full SHA for adb0533

• introduce expr_protectedt

  Show description for a48f855
  

  Daniel Kroening

  committed
  a48f855

  Copy full SHA for a48f855