Code

move version.h to util/#2500

Code

Merged

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

git-version-speedupdiffblue/cbmc:git-version-speedupCopy head branch name to clipboard

Jul 4, 2018

Commits

Commits on Jul 3, 2018

• move build commands for version.h from common to util/

  

  Daniel Kroening

  committed
  b96c7ba

  Copy full SHA for b96c7ba