[csmith-project/creduce] 0a2bf3: formatting

[John Regehr <regehr@cs.utah.edu>]

  Branch: refs/heads/llvm-svn-compatible
  Home:   https://github.com/csmith-project/creduce
  Commit: 0a2bf3e7988534fde7eacfa73b88efa7b4717db1
      https://github.com/csmith-project/creduce/commit/0a2bf3e7988534fde7eacfa73b88efa7b4717db1
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-02-18 (Thu, 18 Feb 2016)

  Changed paths:
    M clex/defs.h
    M clex/driver.c

  Log Message:
  -----------
  formatting


  Commit: 90b4ed5ed8e9796d308408f3262229f455f605fc
      https://github.com/csmith-project/creduce/commit/90b4ed5ed8e9796d308408f3262229f455f605fc
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-02-18 (Thu, 18 Feb 2016)

  Changed paths:
    M TODO

  Log Message:
  -----------
  update TODO list a bit


  Commit: 0ed6f4b038c6dd1de2e4d182ffb4695ceff37ae4
      https://github.com/csmith-project/creduce/commit/0ed6f4b038c6dd1de2e4d182ffb4695ceff37ae4
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-02-18 (Thu, 18 Feb 2016)

  Changed paths:
    M TODO

  Log Message:
  -----------
  add a few items to do before a release, feel free to add more, Eric


  Commit: 293ad8f1681262fff699615587bc4f1a061e5d02
      https://github.com/csmith-project/creduce/commit/293ad8f1681262fff699615587bc4f1a061e5d02
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-02-18 (Thu, 18 Feb 2016)

  Changed paths:
    M TODO

  Log Message:
  -----------
  another thing we want


  Commit: 8ba126e16e18ab2dab2d0b5f62ba1b040bdc2f12
      https://github.com/csmith-project/creduce/commit/8ba126e16e18ab2dab2d0b5f62ba1b040bdc2f12
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-02-18 (Thu, 18 Feb 2016)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  sort pass stats by decreasing number of times they worked

display final output just a tiny bit nicer


  Commit: 19f931e88bc0562458544fe5dada898128a1555e
      https://github.com/csmith-project/creduce/commit/19f931e88bc0562458544fe5dada898128a1555e
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-02-18 (Thu, 18 Feb 2016)

  Changed paths:
    R standalone/README
    R standalone/cpld.sh
    R standalone/creduce
    R standalone/make_standalone.pl

  Log Message:
  -----------
  nuke standalone-- I've given up on this dream, it is satisfied by the OS package managers


  Commit: 6db7c0d761ca58217f9dd232ff978a9cb9eb4764
      https://github.com/csmith-project/creduce/commit/6db7c0d761ca58217f9dd232ff978a9cb9eb4764
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-02-18 (Thu, 18 Feb 2016)

  Changed paths:
    M TODO
    M clex/defs.h
    M clex/driver.c
    M creduce/creduce.in
    R standalone/README
    R standalone/cpld.sh
    R standalone/creduce
    R standalone/make_standalone.pl

  Log Message:
  -----------
  Merge branch 'master' into llvm-svn-compatible


Compare: https://github.com/csmith-project/creduce/compare/25d800a8afa2...6db7c0d761ca