Code

C++ front end fixes [blocks: #2554]#1260

Code

Merged

kroening merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:c++-front-end-fixestautschnig/cbmc:c++-front-end-fixesCopy head branch name to clipboard

May 21, 2019

Commits

Commits on May 19, 2019

• C++ front-end: Remove internal symbols before linking

  Show description for 9f79244
  tautschnig

  committed
  9f79244

  Copy full SHA for 9f79244

• Enable internal validation for C++ regression tests

  Show description for 30e9554
  tautschnig

  committed
  30e9554

  Copy full SHA for 30e9554

• Default C++ language standard on Windows is C++14

  Show description for 86d4c0d
  tautschnig

  committed
  86d4c0d

  Copy full SHA for 86d4c0d