Code

Remove deprecated constructors#3768

Code

Merged

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:remove-deprecated-constructorstautschnig/cbmc:remove-deprecated-constructorsCopy head branch name to clipboard

Mar 26, 2019

Commits

Commits on Mar 26, 2019

• Remove deprecated index_exprt constructors

  Show description for bd4c684
  tautschnig

  committed
  bd4c684

  Copy full SHA for bd4c684

• Remove deprecated symbol_exprt and decorated_symbol_exprt constructors

  Show description for 7d95564
  tautschnig

  committed
  7d95564

  Copy full SHA for 7d95564

• Remove deprecated *_exprt constructors

  Show description for 370ec81
  tautschnig

  committed
  370ec81

  Copy full SHA for 370ec81