Code

cpplint sed output format#553

Code

Merged

kroening merged 11 commits intodiffblue:masterdiffblue/cbmc:masterfrom

rjmunro:feature/cpplint-sed-formatrjmunro/cbmc:feature/cpplint-sed-formatCopy head branch name to clipboard

Feb 16, 2017

Commits

Commits on Feb 16, 2017

• Add python encoding line

  rjmunro

  committed
  dacece6

  Copy full SHA for dacece6

• Added "sed" output format that allow automatic fixes

  rjmunro

  committed
  e6b1201

  Copy full SHA for e6b1201

• Add more types of fix to sed output format

  rjmunro

  committed
  eb515e4

  Copy full SHA for eb515e4

• Add commented Fix that removes extra lines

  Show description for b3d1c1e
  rjmunro

  committed
  b3d1c1e

  Copy full SHA for b3d1c1e

• Add fix for space after `//` comments

  rjmunro

  committed
  58b8d75

  Copy full SHA for 58b8d75

• Add fixer for missing space before {

  rjmunro

  committed
  cb9bb30

  Copy full SHA for cb9bb30

• Add tabs -> 2 spaces fixer

  rjmunro

  committed
  6646e4b

  Copy full SHA for 6646e4b

• Add fixer to delete whitespace at end of lines

  rjmunro

  committed
  a55cd86

  Copy full SHA for a55cd86

• Support gsed output format for Mac OS

  Show description for 8ea1668
  rjmunro

  committed
  8ea1668

  Copy full SHA for 8ea1668

• Write sed output to stdout for ease of piping to bash

  Show description for 75cbe79
  rjmunro

  committed
  75cbe79

  Copy full SHA for 75cbe79

• Document output formats

  rjmunro

  committed
  8ccd570

  Copy full SHA for 8ccd570