Code

Coding rules and cpplint#293

Code

Merged

kroening merged 6 commits intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:coding-standardpeterschrammel/cbmc:coding-standardCopy head branch name to clipboard

Dec 5, 2016

Commits

Commits on Nov 3, 2016

• updated coding rules (by tritikm)

  peterschrammel

  committed
  4bb5660

  Copy full SHA for 4bb5660

Commits on Nov 29, 2016

• Refined coding rules

  peterschrammel

  committed
  38865d1

  Copy full SHA for 38865d1

• Google's cpplint

  Show description for e9a20ce
  peterschrammel

  committed
  e9a20ce

  Copy full SHA for e9a20ce

Commits on Nov 30, 2016

• Adapted cpplint to our CODING_STANDARD

  Show description for a7c24fb
  peterschrammel

  committed
  a7c24fb

  Copy full SHA for a7c24fb

• Run cpplint on Travis-CI on each PR

  peterschrammel

  committed
  e36bdd0

  Copy full SHA for e36bdd0

• Run cpplint as a separate task in Travis

  

  tautschnig

  authored and

  peterschrammel

  committed
  e24acd4

  Copy full SHA for e24acd4