Code

Remove deprecated constructors#5180

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

remove-deprecateddiffblue/cbmc:remove-deprecatedCopy head branch name to clipboard

Jan 20, 2020

Commits

Commits on Nov 25, 2019

• cpp_static_assertt constructor now has operands

  Show description for 5d2d62d
  

  Daniel Kroening

  committed
  5d2d62d

  Copy full SHA for 5d2d62d

• avoid a deprecated constructor in is_dynamic_object_exprt

  Show description for 0b31109
  

  Daniel Kroening

  committed
  0b31109

  Copy full SHA for 0b31109

• remove deprecated constructors for expressions and types

  Show description for 9a0f3b3
  

  Daniel Kroening

  committed
  9a0f3b3

  Copy full SHA for 9a0f3b3