[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