[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[csmith-project/creduce] 749a01: minor diagnostic improvement



  Branch: refs/heads/llvm-svn-compatible
  Home:   https://github.com/csmith-project/creduce
  Commit: 749a01e8ef5bc32a6724c28f39caab17fb529ce7
      https://github.com/csmith-project/creduce/commit/749a01e8ef5bc32a6724c28f39caab17fb529ce7
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-13 (Fri, 13 Nov 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  minor diagnostic improvement


  Commit: 81c457ed3a186af83a44ee635b04e5130bc3f65d
      https://github.com/csmith-project/creduce/commit/81c457ed3a186af83a44ee635b04e5130bc3f65d
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2015-11-14 (Sat, 14 Nov 2015)

  Changed paths:
    M clang_delta/RemoveNestedFunction.cpp

  Log Message:
  -----------
  skip overloaded << operator


  Commit: 42b93b236c6087879c01b4e64b5f0550923d422f
      https://github.com/csmith-project/creduce/commit/42b93b236c6087879c01b4e64b5f0550923d422f
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-15 (Sun, 15 Nov 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  give the crash info file a name that stands out a bit more against a
big pile of header files


  Commit: 2fb2d38e00a3ab543510fdec64490968b94cdf91
      https://github.com/csmith-project/creduce/commit/2fb2d38e00a3ab543510fdec64490968b94cdf91
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2015-11-15 (Sun, 15 Nov 2015)

  Changed paths:
    M clang_delta/RenameClass.cpp

  Log Message:
  -----------
  skip classes that are included from header files


  Commit: 0289905d2f021af9ffa310ddb19cf19b467643e7
      https://github.com/csmith-project/creduce/commit/0289905d2f021af9ffa310ddb19cf19b467643e7
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-16 (Mon, 16 Nov 2015)

  Changed paths:
    M creduce/creduce.in
    M creduce/pass_balanced.pm
    M creduce/pass_blank.pm
    M creduce/pass_clang.pm
    M creduce/pass_clang_binsrch.pm
    M creduce/pass_clex.pm
    M creduce/pass_comments.pm
    M creduce/pass_include_includes.pm
    M creduce/pass_includes.pm
    M creduce/pass_indent.pm
    M creduce/pass_ints.pm
    M creduce/pass_lines.pm
    M creduce/pass_peep.pm
    M creduce/pass_special.pm
    M creduce/pass_ternary.pm
    M creduce/pass_unifdef.pm

  Log Message:
  -----------
  there was a silly special case in creduce where pass_indent was
allowed to not change its input; this fixes that but also changes the
contract between creduce and its passes-- there's now a new pass
method called advance_on_success that gets called even when a
transformation succeeded, that can be used to avoid termination
problems when (unlike almost all C-Reduce passes) a successful
transformation does not eliminate a transformation opportunity


  Commit: 874a46ed77a77f420eb2d452f6287ddaa5f5f29d
      https://github.com/csmith-project/creduce/commit/874a46ed77a77f420eb2d452f6287ddaa5f5f29d
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-16 (Mon, 16 Nov 2015)

  Changed paths:
    M clang_delta/RemoveNestedFunction.cpp
    M clang_delta/RenameClass.cpp
    M creduce/creduce.in
    M creduce/pass_balanced.pm
    M creduce/pass_blank.pm
    M creduce/pass_clang.pm
    M creduce/pass_clang_binsrch.pm
    M creduce/pass_clex.pm
    M creduce/pass_comments.pm
    M creduce/pass_include_includes.pm
    M creduce/pass_includes.pm
    M creduce/pass_indent.pm
    M creduce/pass_ints.pm
    M creduce/pass_lines.pm
    M creduce/pass_peep.pm
    M creduce/pass_special.pm
    M creduce/pass_ternary.pm
    M creduce/pass_unifdef.pm

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


Compare: https://github.com/csmith-project/creduce/compare/65eaa19374a0...874a46ed77a7