Code

Type the operand of code_declt#3267

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

type_code_decltdiffblue/cbmc:type_code_decltCopy head branch name to clipboard

Nov 6, 2018

Commits

Commits on Nov 6, 2018

• cpp_symbol_exprt now returns symbol_exprt

  

  Daniel Kroening

  committed
  6d23ffc

  Copy full SHA for 6d23ffc

• strenthen typing in disjunctive_polynomial_accelerationt

  

  Daniel Kroening

  committed
  026419e

  Copy full SHA for 026419e

• code_declt is now typed

  

  Daniel Kroening

  committed
  e889df7

  Copy full SHA for e889df7