Code

Use C++17#6749

Code

Closed

tautschnig wants to merge 7 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:version-6/c++-17tautschnig/cbmc:version-6/c++-17Copy head branch name to clipboard

Commits

Commits on Nov 14, 2023

• Replace nonstd::optional by C++17 std::optional

  Show description for f0262af
  tautschnig

  committed
  f0262af

  Copy full SHA for f0262af

• Remove util_make_unique

  Show description for 56046a5
  tautschnig

  committed
  56046a5

  Copy full SHA for 56046a5

• Remove local declaration of void_t

  Show description for 2d62871
  tautschnig

  committed
  2d62871

  Copy full SHA for 2d62871

• Replace file_util.{h,cpp} by std::filesystem

  Show description for 0c33e41
  tautschnig

  committed
  0c33e41

  Copy full SHA for 0c33e41

• Fix invalid-escape-sequence warning

  Show description for 130fd65
  tautschnig

  committed
  130fd65

  Copy full SHA for 130fd65

• Fix libstdc++-not-found error

  Show description for 7320b81
  tautschnig

  committed
  7320b81

  Copy full SHA for 7320b81

• Fix ccache configuration of check-macos-12-cmake-clang-rust

  Show description for 6e1615c
  tautschnig

  committed
  6e1615c

  Copy full SHA for 6e1615c