Code

C++ front-end: support constexpr#8386

Code

Open

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:features/cpp-constexprtautschnig/cbmc:features/cpp-constexprCopy head branch name to clipboard

Commits

Commits on Jul 17, 2024

• C++ front-end: support constexpr

  Show description for 514db34
  tautschnig

  committed
  514db34

  Copy full SHA for 514db34