[csmith-project/csmith] 8669b6: Prettify output a bit.

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

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/csmith

  Commit: 8669b6bf6c928169fc56a812be418a7f93f7e2d5
      https://github.com/csmith-project/csmith/commit/8669b6bf6c928169fc56a812be418a7f93f7e2d5
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2011-06-28 (Tue, 28 Jun 2011)

  Changed paths:
    M utah/scripts/reduce/c_delta.pl

  Log Message:
  -----------
  Prettify output a bit.

Add a pass to simplify integer constants.

Random improvements.


  Commit: 0a0a7f15bb2ba159ad4ff5f76417045a9e405724
      https://github.com/csmith-project/csmith/commit/0a0a7f15bb2ba159ad4ff5f76417045a9e405724
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2011-06-28 (Tue, 28 Jun 2011)

  Changed paths:
    M src/ArrayVariable.cpp
  M src/FactUnion.cpp
  M src/FactUnion.h
  M src/Variable.cpp

  Log Message:
  -----------
  Merge branch 'master' of github.com:csmith-project/csmith


Compare: https://github.com/csmith-project/csmith/compare/9c027e5...0a0a7f1