[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-project/creduce] 3a4332: add a --not-c command line flag that turns off the...
Branch: refs/heads/master
Home: https://github.com/csmith-project/creduce
Commit: 3a433279f7a1267e094e12923be83ebb4b7a05fc
https://github.com/csmith-project/creduce/commit/3a433279f7a1267e094e12923be83ebb4b7a05fc
Author: John Regehr <regehr@cs.utah.edu>
Date: 2018-01-30 (Tue, 30 Jan 2018)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
add a --not-c command line flag that turns off the passes that are the most specific to C/C++
Commit: c9b79921fb949f1f5572977b6ba2d61a6192daee
https://github.com/csmith-project/creduce/commit/c9b79921fb949f1f5572977b6ba2d61a6192daee
Author: John Regehr <regehr@cs.utah.edu>
Date: 2018-03-09 (Fri, 09 Mar 2018)
Changed paths:
M TODO
Log Message:
-----------
Merge branch 'master' of github.com:csmith-project/creduce
Commit: 98d61e0a30936cc48f7e0231e3b0e158970eb01e
https://github.com/csmith-project/creduce/commit/98d61e0a30936cc48f7e0231e3b0e158970eb01e
Author: John Regehr <regehr@cs.utah.edu>
Date: 2018-03-09 (Fri, 09 Mar 2018)
Changed paths:
M INSTALL
M scripts/travis_deps.sh
Log Message:
-----------
update to llvm 6
Compare: https://github.com/csmith-project/creduce/compare/de21e365e218...98d61e0a3093