Code

C++ front-end: store typedef names#4551

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:c++-store-typedeftautschnig/cbmc:c++-store-typedefCopy head branch name to clipboard

Apr 18, 2019

Commits

Commits on Apr 18, 2019

• C++ front-end: store typedef names

  Show description for 818f339
  tautschnig

  committed
  818f339

  Copy full SHA for 818f339