Code

Fix building without USE_DSTRING#1845

Code

Merged

kroening merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom tautschnig:fix-1837tautschnig/cbmc:fix-1837Copy head branch name to clipboardFeb 28, 2018

+37-18

Commits

Commits on Feb 21, 2018

• Include unordered_map where using a std::unordered_map

  Show description for d87d6e4
  tautschnig

  committed
  d87d6e4

  Copy full SHA for d87d6e4

• Include list in expr.h

  Show description for 534f4d2
  tautschnig

  committed
  534f4d2

  Copy full SHA for 534f4d2

• Do not use dstringt-specific APIs with irep_idt

  Show description for 25ffad4
  tautschnig

  committed
  25ffad4

  Copy full SHA for 25ffad4

• Include string when not using dstringt as irep_idt representation

  Show description for 52290b0
  tautschnig

  committed
  52290b0

  Copy full SHA for 52290b0

• Make USE_DSTRING conditional and disable it in Ubuntu/Clang/DEBUG Travis job

  Show description for 590fc2d
  tautschnig

  committed
  590fc2d

  Copy full SHA for 590fc2d