Code

Change C++ version to C++17#7989

Code

Merged

esteffin merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

esteffin:esteffin/cpp-17esteffin/cbmc:esteffin/cpp-17Copy head branch name to clipboard

Nov 13, 2023

Commits

Commits on Nov 6, 2023

• Switch cmake build to c++17

  Show description for 9f2d209
  

  Enrico Steffinlongo

  committed
  9f2d209

  Copy full SHA for 9f2d209

• Switch gnu make build to c++17

  Show description for dff50eb
  

  Enrico Steffinlongo

  committed
  dff50eb

  Copy full SHA for dff50eb

• Switch clang-format style to c++17

  

  Enrico Steffinlongo

  committed
  f3c7efe

  Copy full SHA for f3c7efe

• Changed COMPILING.md to use c++17

  Show description for 032f68c
  

  Enrico Steffinlongo

  committed
  032f68c

  Copy full SHA for 032f68c