[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-project/creduce] fd37f9: verbose mode is now called debug, and is more verb...
Branch: refs/heads/master
Home: https://github.com/csmith-project/creduce
Commit: fd37f9e9a9973bac77ea5875c5be0ef24762dd20
https://github.com/csmith-project/creduce/commit/fd37f9e9a9973bac77ea5875c5be0ef24762dd20
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-10-30 (Fri, 30 Oct 2015)
Changed paths:
M creduce/creduce.in
M creduce/creduce_utils.pm
M creduce/pass_clang.pm
M creduce/pass_clang_binsrch.pm
M creduce/pass_clex.pm
M creduce/pass_lines.pm
M scripts/localize_headers
Log Message:
-----------
verbose mode is now called debug, and is more verbose
fix (I hope) a longstanding issue where an extra speculative transformation
was being issued when it didn't need to be
make sure that pass_lines always starts be deleting the entire file
remove caching code that wasn't working anyway-- if we want caching in the
future it'll be easier to start from scratch than fixing the stuff I deleted