Code

Extended the coding standard#497

Code

Merged

kroening merged 3 commits intodiffblue:masterdiffblue/cbmc:masterfrom

thk123:refactor/coding-standards-makefile-program-flagsthk123/cbmc:refactor/coding-standards-makefile-program-flagsCopy head branch name to clipboard

Apr 19, 2017

Commits

Commits on Apr 18, 2017

• Extended the coding standard

  Show description for e949196
  

  thk123

  committed
  e949196

  Copy full SHA for e949196

• Add documentation for cpplint pre-commit hook

  Show description for 6bd56e2
  

  peterschrammel

  authored and

  thk123

  committed
  6bd56e2

  Copy full SHA for 6bd56e2

• Fixing make files to be one file per line

  Show description for 4031a0a
  

  thk123

  committed
  4031a0a

  Copy full SHA for 4031a0a