Code

C++11 cleanup#347

Code

Closed

tautschnig wants to merge 11 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:c++11-cleanuptautschnig/cbmc:c++11-cleanupCopy head branch name to clipboard

Commits

Commits on Dec 11, 2016

• Remove unused and deprecated files

  tautschnig

  committed
  39521d8

  Copy full SHA for 39521d8

• Move rarely used iteration macros to places of use

  Show description for ac0085c
  tautschnig

  committed
  ac0085c

  Copy full SHA for ac0085c

• Use std::unordered_{map,set} directly

  Show description for 173b353
  tautschnig

  committed
  173b353

  Copy full SHA for 173b353

• Moved c_misc to ansi-c as ansi-c and cpp are the only users

  Show description for ecb14b9
  tautschnig

  committed
  ecb14b9

  Copy full SHA for ecb14b9

• Removed unnecessary includes

  Show description for 6bc99bb
  tautschnig

  committed
  6bc99bb

  Copy full SHA for 6bc99bb

• Remove deprecated functions that are not publicly declared or not implemented

  Show description for 0acaecd
  tautschnig

  committed
  0acaecd

  Copy full SHA for 0acaecd

• Use C++11 std::to_string instead of custom i2string

  Show description for d3a9deb
  tautschnig

  committed
  d3a9deb

  Copy full SHA for d3a9deb

• An interval description is used in analyses/ only

  tautschnig

  committed
  50b5e69

  Copy full SHA for 50b5e69

• Removed namespace_utils* as it had been deprecated and is not used

  tautschnig

  committed
  cdf3dfb

  Copy full SHA for cdf3dfb

• Removed pretty_names.* as it had been deprecated and is not used

  tautschnig

  committed
  c08319b

  Copy full SHA for c08319b

• Use C++11 std::stoi, avoid c_str functions

  Show description for f86be12
  tautschnig

  committed
  f86be12

  Copy full SHA for f86be12