[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-project/creduce] 381839: Add copy of `delta'.
Branch: refs/heads/llvm-svn-compatible
Home: https://github.com/csmith-project/creduce
Commit: 381839fd48ba7828d00472a7c27f0c99d7ceec15
https://github.com/csmith-project/creduce/commit/381839fd48ba7828d00472a7c27f0c99d7ceec15
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2015-10-30 (Fri, 30 Oct 2015)
Changed paths:
A third_party/delta/Build.mk
A third_party/delta/License.txt
A third_party/delta/Makefile
A third_party/delta/Readme
A third_party/delta/Test.mk
A third_party/delta/delta
A third_party/delta/multidelta
A third_party/delta/test0_delta/hello.c
A third_party/delta/test0_delta/hello.test
A third_party/delta/test0_delta/minimal_test.c.correct
A third_party/delta/test1_multidelta/file1.end.txt
A third_party/delta/test1_multidelta/file1.start.txt
A third_party/delta/test1_multidelta/file2.end.txt
A third_party/delta/test1_multidelta/file2.start.txt
A third_party/delta/test1_multidelta/testit
A third_party/delta/test1_multidelta/trivtest
A third_party/delta/test2_multidelta/file1.end.txt
A third_party/delta/test2_multidelta/file1.start.txt
A third_party/delta/test2_multidelta/file2.end.txt
A third_party/delta/test2_multidelta/file2.start.txt
A third_party/delta/test2_multidelta/testit
A third_party/delta/test2_multidelta/trivtest
A third_party/delta/topformflat.lex
A third_party/delta/www/index.html
A third_party/delta/www/using_delta.html
Log Message:
-----------
Add copy of `delta'.
"third_party/delta" a copy of the delta Subversion tree at r27, dated
2007-03-10. I acquired this tree by running the following command:
svn checkout http://delta.stage.tigris.org/svn/delta/trunk delta --username guest
See <http://delta.stage.tigris.org/> for more information about delta.
See file "third_party/delta/License.txt" for license details.
Commit: 20dcb016049527afae532dc0035d77534b3b9212
https://github.com/csmith-project/creduce/commit/20dcb016049527afae532dc0035d77534b3b9212
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2015-10-30 (Fri, 30 Oct 2015)
Changed paths:
M third_party/delta/Build.mk
M third_party/delta/License.txt
M third_party/delta/Makefile
M third_party/delta/Readme
M third_party/delta/Test.mk
M third_party/delta/test0_delta/hello.c
M third_party/delta/test0_delta/hello.test
M third_party/delta/test0_delta/minimal_test.c.correct
M third_party/delta/test1_multidelta/file1.end.txt
M third_party/delta/test1_multidelta/file1.start.txt
M third_party/delta/test1_multidelta/file2.end.txt
M third_party/delta/test1_multidelta/file2.start.txt
M third_party/delta/test2_multidelta/file1.end.txt
M third_party/delta/test2_multidelta/file1.start.txt
M third_party/delta/test2_multidelta/file2.end.txt
M third_party/delta/test2_multidelta/file2.start.txt
M third_party/delta/topformflat.lex
M third_party/delta/www/using_delta.html
Log Message:
-----------
Clear execute bit on non-executable files.
Commit: 4b102dc82d9f52f49631ee83f6bfd5984c7101dd
https://github.com/csmith-project/creduce/commit/4b102dc82d9f52f49631ee83f6bfd5984c7101dd
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2015-10-30 (Fri, 30 Oct 2015)
Changed paths:
M Makefile.am
M Makefile.in
M configure
M configure.ac
A third_party/Makefile.am
A third_party/Makefile.in
R third_party/delta/Makefile
A third_party/delta/Makefile.am
A third_party/delta/Makefile.in
A third_party/delta/topformflat.l
R third_party/delta/topformflat.lex
Log Message:
-----------
Add `delta' directory to the Automake-based build.
`topformflat' is now compiled and installed in C-Reduce's libexec
directory, alongside C-Reduce's other internal tools. We ignore the
other stuff that is part of the `delta' package.
This commit does *not* include changes to the CMake-based build process.
Contributions from CMake users would be welcome.
Commit: 112dc51b11098b58de1f30e313884876190182e0
https://github.com/csmith-project/creduce/commit/112dc51b11098b58de1f30e313884876190182e0
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2015-10-30 (Fri, 30 Oct 2015)
Changed paths:
M third_party/delta/topformflat.l
Log Message:
-----------
Avoid compile-time warning.
Avoid warnings about the fact that `yyleng' is an unsigned long, whereas
`printf' expects the precision to be an int.
Commit: e8ba84c4a0a3dd9292bae06e806d2436a160c521
https://github.com/csmith-project/creduce/commit/e8ba84c4a0a3dd9292bae06e806d2436a160c521
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2015-10-30 (Fri, 30 Oct 2015)
Changed paths:
M INSTALL
M Makefile.in
M clang_delta/Makefile.in
M clex/Makefile.in
M configure
M configure.ac
M creduce/Makefile.am
M creduce/Makefile.in
M creduce/creduce_config.pm.in
M creduce/pass_lines.pm
M scripts/Makefile.in
M tests/Makefile.in
M third_party/Makefile.in
M third_party/delta/Makefile.in
Log Message:
-----------
Remove configure-time detection of `topformflat'.
Now we distribute our own copy of `topformflat', and we install and use
our own copy.
Commit: 5605bcdfda871200b2b810a69590448b3db4499e
https://github.com/csmith-project/creduce/commit/5605bcdfda871200b2b810a69590448b3db4499e
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2015-10-30 (Fri, 30 Oct 2015)
Changed paths:
M Makefile.am
M Makefile.in
M configure
M configure.ac
M creduce/pass_lines.pm
A delta/Build.mk
A delta/License.txt
A delta/Makefile.am
A delta/Makefile.in
A delta/Readme
A delta/Test.mk
A delta/delta
A delta/multidelta
A delta/test0_delta/hello.c
A delta/test0_delta/hello.test
A delta/test0_delta/minimal_test.c.correct
A delta/test1_multidelta/file1.end.txt
A delta/test1_multidelta/file1.start.txt
A delta/test1_multidelta/file2.end.txt
A delta/test1_multidelta/file2.start.txt
A delta/test1_multidelta/testit
A delta/test1_multidelta/trivtest
A delta/test2_multidelta/file1.end.txt
A delta/test2_multidelta/file1.start.txt
A delta/test2_multidelta/file2.end.txt
A delta/test2_multidelta/file2.start.txt
A delta/test2_multidelta/testit
A delta/test2_multidelta/trivtest
A delta/topformflat.l
A delta/www/index.html
A delta/www/using_delta.html
R third_party/Makefile.am
R third_party/Makefile.in
R third_party/delta/Build.mk
R third_party/delta/License.txt
R third_party/delta/Makefile.am
R third_party/delta/Makefile.in
R third_party/delta/Readme
R third_party/delta/Test.mk
R third_party/delta/delta
R third_party/delta/multidelta
R third_party/delta/test0_delta/hello.c
R third_party/delta/test0_delta/hello.test
R third_party/delta/test0_delta/minimal_test.c.correct
R third_party/delta/test1_multidelta/file1.end.txt
R third_party/delta/test1_multidelta/file1.start.txt
R third_party/delta/test1_multidelta/file2.end.txt
R third_party/delta/test1_multidelta/file2.start.txt
R third_party/delta/test1_multidelta/testit
R third_party/delta/test1_multidelta/trivtest
R third_party/delta/test2_multidelta/file1.end.txt
R third_party/delta/test2_multidelta/file1.start.txt
R third_party/delta/test2_multidelta/file2.end.txt
R third_party/delta/test2_multidelta/file2.start.txt
R third_party/delta/test2_multidelta/testit
R third_party/delta/test2_multidelta/trivtest
R third_party/delta/topformflat.l
R third_party/delta/www/index.html
R third_party/delta/www/using_delta.html
Log Message:
-----------
Move "third_party/delta" to "delta".
Commit: 19bd25b8400efe7fdae4288487b815185a87682a
https://github.com/csmith-project/creduce/commit/19bd25b8400efe7fdae4288487b815185a87682a
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2015-10-30 (Fri, 30 Oct 2015)
Changed paths:
M INSTALL
M Makefile.am
M Makefile.in
M clang_delta/Makefile.in
M clex/Makefile.in
M configure
M configure.ac
M creduce/Makefile.am
M creduce/Makefile.in
M creduce/creduce_config.pm.in
M creduce/pass_lines.pm
A delta/Build.mk
A delta/License.txt
A delta/Makefile.am
A delta/Makefile.in
A delta/Readme
A delta/Test.mk
A delta/delta
A delta/multidelta
A delta/test0_delta/hello.c
A delta/test0_delta/hello.test
A delta/test0_delta/minimal_test.c.correct
A delta/test1_multidelta/file1.end.txt
A delta/test1_multidelta/file1.start.txt
A delta/test1_multidelta/file2.end.txt
A delta/test1_multidelta/file2.start.txt
A delta/test1_multidelta/testit
A delta/test1_multidelta/trivtest
A delta/test2_multidelta/file1.end.txt
A delta/test2_multidelta/file1.start.txt
A delta/test2_multidelta/file2.end.txt
A delta/test2_multidelta/file2.start.txt
A delta/test2_multidelta/testit
A delta/test2_multidelta/trivtest
A delta/topformflat.l
A delta/www/index.html
A delta/www/using_delta.html
M scripts/Makefile.in
M tests/Makefile.in
Log Message:
-----------
Merge work that adds local copy of `delta'.
Commit: 831dd050d9211b421f644ed1ad3f6628c6e4a86a
https://github.com/csmith-project/creduce/commit/831dd050d9211b421f644ed1ad3f6628c6e4a86a
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-10-31 (Sat, 31 Oct 2015)
Changed paths:
M Makefile.am
M Makefile.in
M configure
M configure.ac
M creduce/Makefile.am
M creduce/Makefile.in
M creduce/creduce.in
A creduce/pass_unifdef.pm
A unifdef/.gitignore
A unifdef/Makefile.am
A unifdef/Makefile.in
A unifdef/unifdef.c
A unifdef/unifdef.h
A unifdef/version.h
Log Message:
-----------
new pass for partial ifdef removal
Commit: 0e775e4c02d431a36523471d66e4a1f88c2c5cd6
https://github.com/csmith-project/creduce/commit/0e775e4c02d431a36523471d66e4a1f88c2c5cd6
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-10-31 (Sat, 31 Oct 2015)
Changed paths:
M INSTALL
Log Message:
-----------
a bit better instructions for OS X
Commit: c282f86b0eae21b9e1b7a120e95137aa0e0ccb28
https://github.com/csmith-project/creduce/commit/c282f86b0eae21b9e1b7a120e95137aa0e0ccb28
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-10-31 (Sat, 31 Oct 2015)
Changed paths:
M creduce/Makefile.am
M creduce/Makefile.in
M creduce/creduce.in
A creduce/pass_includes.pm
M creduce/pass_unifdef.pm
A delta/.gitignore
Log Message:
-----------
add #include removal pass contributed by Yaron Keren
couple tiny tweaks too
Commit: a199afc79cbdbe357cb8bc8d7c65986eb31fd0ff
https://github.com/csmith-project/creduce/commit/a199afc79cbdbe357cb8bc8d7c65986eb31fd0ff
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-10-31 (Sat, 31 Oct 2015)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
I think we're running line delta too many times
Commit: 905890fa93c0f5cd4817953c7a1cad76bbb55556
https://github.com/csmith-project/creduce/commit/905890fa93c0f5cd4817953c7a1cad76bbb55556
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-10-31 (Sat, 31 Oct 2015)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
don't print filename.best
Commit: ecd4ae881c90991d8ba9d13838d57e6e6a3ff5ed
https://github.com/csmith-project/creduce/commit/ecd4ae881c90991d8ba9d13838d57e6e6a3ff5ed
Author: Tamir Duberstein <tamird@gmail.com>
Date: 2015-10-31 (Sat, 31 Oct 2015)
Changed paths:
M clang_delta/CopyPropagation.cpp
M clang_delta/ReducePointerLevel.cpp
M clang_delta/RemoveNamespace.cpp
M clang_delta/RemoveNestedFunction.cpp
M clang_delta/RemoveUnusedFunction.cpp
M clang_delta/ReplaceCallExpr.cpp
M clang_delta/ReplaceClassWithBaseTemplateSpec.h
M clang_delta/SimpleInliner.cpp
M clang_delta/SimplifyNestedClass.h
M clang_delta/Transformation.cpp
Log Message:
-----------
Whitespace and trailing semicolons
Commit: 1c812c799bf9b1aa929a47240b50c11c1301830a
https://github.com/csmith-project/creduce/commit/1c812c799bf9b1aa929a47240b50c11c1301830a
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2015-10-31 (Sat, 31 Oct 2015)
Changed paths:
M clang_delta/CopyPropagation.cpp
M clang_delta/ReducePointerLevel.cpp
M clang_delta/RemoveNamespace.cpp
M clang_delta/RemoveNestedFunction.cpp
M clang_delta/RemoveUnusedFunction.cpp
M clang_delta/ReplaceCallExpr.cpp
M clang_delta/ReplaceClassWithBaseTemplateSpec.h
M clang_delta/SimpleInliner.cpp
M clang_delta/SimplifyNestedClass.h
M clang_delta/Transformation.cpp
Log Message:
-----------
Merge pull request #75 from tamird/whitespace
cleanup: Whitespace and trailing semicolons
Commit: ff7306616c303fc87496a0066028a580ffe6be05
https://github.com/csmith-project/creduce/commit/ff7306616c303fc87496a0066028a580ffe6be05
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-11-01 (Sun, 01 Nov 2015)
Changed paths:
M creduce/creduce.in
M scripts/localize_headers
Log Message:
-----------
move the .best files, not copy..
Commit: 3ead9a595add8e65e77abc0de71d34f3b43c6277
https://github.com/csmith-project/creduce/commit/3ead9a595add8e65e77abc0de71d34f3b43c6277
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-11-01 (Sun, 01 Nov 2015)
Changed paths:
M creduce/pass_lines.pm
Log Message:
-----------
First I said to Eric: "Eric, topformflat sucks for non-preprocessed
code since it adds extra blank lines around CPP directives that
pass_lines has to remove. Eric said "Just post-process its output" but
I said "No, I want to solve this problem right, could you make us a
local copy of topformflat in C-Reduce?" Eric did that but now instead
of solving the problem right this commit post-processes its output
using grep and I will solve it right a different time.
Commit: 444c1f0d2fc2590be8d19df49bd14d38d6f080b9
https://github.com/csmith-project/creduce/commit/444c1f0d2fc2590be8d19df49bd14d38d6f080b9
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-11-02 (Mon, 02 Nov 2015)
Changed paths:
M INSTALL
M creduce/creduce.in
Log Message:
-----------
the "s" key skips to the end of the current pass
Commit: 85ea48e9bba126a53f4424d518483b20466d6a74
https://github.com/csmith-project/creduce/commit/85ea48e9bba126a53f4424d518483b20466d6a74
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-11-02 (Mon, 02 Nov 2015)
Changed paths:
M INSTALL
M creduce/creduce.in
Log Message:
-----------
squashing some commits for the "s" key that skips to the end of the current
pass, I wrongly thought this was so simple that I didn't need to work on a branch
Commit: f29e6ed313ec2136faf60693c426072c2a683a0d
https://github.com/csmith-project/creduce/commit/f29e6ed313ec2136faf60693c426072c2a683a0d
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2015-11-02 (Mon, 02 Nov 2015)
Changed paths:
M configure
M configure.ac
Log Message:
-----------
Update for optional Perl modules.
Modules `Sys::CPU' and `Term::ReadKey' are now *optional* run-time
dependencies. Until now, all of our Perl package dependencies were
*required* run-time dependencies.
Commit: de0ccda615128d28f70d0c688316add4029f4506
https://github.com/csmith-project/creduce/commit/de0ccda615128d28f70d0c688316add4029f4506
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-11-02 (Mon, 02 Nov 2015)
Changed paths:
M creduce/Makefile.am
M creduce/Makefile.in
M creduce/creduce.in
A creduce/pass_include_includes.pm
M creduce/pass_lines.pm
M creduce/pass_unifdef.pm
M scripts/localize_headers
Log Message:
-----------
new pass to collapse chains of trivial #includes
minor work elsewhere
Commit: 5423b631fa7739dad0d737bfbbd96e2d97cd0e97
https://github.com/csmith-project/creduce/commit/5423b631fa7739dad0d737bfbbd96e2d97cd0e97
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2015-11-04 (Wed, 04 Nov 2015)
Changed paths:
M scripts/travis_deps.sh
Log Message:
-----------
Update packages that are installed.
Bring this script up to date with the current set of required and
optional dependencies of C-Reduce.
Commit: 437b47a2ada9eb8b5662a8b02121133b36623efb
https://github.com/csmith-project/creduce/commit/437b47a2ada9eb8b5662a8b02121133b36623efb
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2015-11-04 (Wed, 04 Nov 2015)
Changed paths:
M .travis.yml
Log Message:
-----------
Specify CC, too.
If we're going to specify CXX, we should probably specify CC, too.
This is more relevant now that the C-Reduce repository embeds some
third-party C code.
Commit: 18f6c3d2563cf01d6f85653ae7786a3543324931
https://github.com/csmith-project/creduce/commit/18f6c3d2563cf01d6f85653ae7786a3543324931
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-11-05 (Thu, 05 Nov 2015)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
a few cleanups
Commit: 858dd71e6f1d72905a8dceb89d89cc5851448eb5
https://github.com/csmith-project/creduce/commit/858dd71e6f1d72905a8dceb89d89cc5851448eb5
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-11-05 (Thu, 05 Nov 2015)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
don't kill C-Reduce when a pass fails to modify a test case
Commit: a51943d3cac37b342ad68d8b8b175fa1ed4c2999
https://github.com/csmith-project/creduce/commit/a51943d3cac37b342ad68d8b8b175fa1ed4c2999
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-11-05 (Thu, 05 Nov 2015)
Changed paths:
M scripts/localize_headers
Log Message:
-----------
some cleanup of this program but no fixes yet
Commit: c3129e987a491b39660ca996ee3c727e9c9b22b0
https://github.com/csmith-project/creduce/commit/c3129e987a491b39660ca996ee3c727e9c9b22b0
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2015-11-08 (Sun, 08 Nov 2015)
Changed paths:
M clang_delta/TemplateNonTypeArgToInt.cpp
Log Message:
-----------
skip implicit casts and parentheses for check template arguments
This fixed a false replacement.
Commit: 66d27d1984c3ae88509a989b225f0c0b7a1de458
https://github.com/csmith-project/creduce/commit/66d27d1984c3ae88509a989b225f0c0b7a1de458
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-11-09 (Mon, 09 Nov 2015)
Changed paths:
M INSTALL
M Makefile.am
M Makefile.in
M clang_delta/CopyPropagation.cpp
M clang_delta/Makefile.in
M clang_delta/ReducePointerLevel.cpp
M clang_delta/RemoveNamespace.cpp
M clang_delta/RemoveNestedFunction.cpp
M clang_delta/RemoveUnusedFunction.cpp
M clang_delta/ReplaceCallExpr.cpp
M clang_delta/ReplaceClassWithBaseTemplateSpec.h
M clang_delta/SimpleInliner.cpp
M clang_delta/SimplifyNestedClass.h
M clang_delta/TemplateNonTypeArgToInt.cpp
M clang_delta/Transformation.cpp
M clex/Makefile.in
M configure
M configure.ac
M creduce/Makefile.am
M creduce/Makefile.in
M creduce/creduce.in
M creduce/creduce_config.pm.in
A creduce/pass_include_includes.pm
A creduce/pass_includes.pm
M creduce/pass_lines.pm
A creduce/pass_unifdef.pm
A delta/.gitignore
A delta/Build.mk
A delta/License.txt
A delta/Makefile.am
A delta/Makefile.in
A delta/Readme
A delta/Test.mk
A delta/delta
A delta/multidelta
A delta/test0_delta/hello.c
A delta/test0_delta/hello.test
A delta/test0_delta/minimal_test.c.correct
A delta/test1_multidelta/file1.end.txt
A delta/test1_multidelta/file1.start.txt
A delta/test1_multidelta/file2.end.txt
A delta/test1_multidelta/file2.start.txt
A delta/test1_multidelta/testit
A delta/test1_multidelta/trivtest
A delta/test2_multidelta/file1.end.txt
A delta/test2_multidelta/file1.start.txt
A delta/test2_multidelta/file2.end.txt
A delta/test2_multidelta/file2.start.txt
A delta/test2_multidelta/testit
A delta/test2_multidelta/trivtest
A delta/topformflat.l
A delta/www/index.html
A delta/www/using_delta.html
M scripts/Makefile.in
M scripts/localize_headers
M scripts/travis_deps.sh
M tests/Makefile.in
A unifdef/.gitignore
A unifdef/Makefile.am
A unifdef/Makefile.in
A unifdef/unifdef.c
A unifdef/unifdef.h
A unifdef/version.h
Log Message:
-----------
Merge branch 'master' into llvm-svn-compatible
Conflicts:
.travis.yml
Commit: 4516ac0448ea3e70d36ecad598c1d900f43adf02
https://github.com/csmith-project/creduce/commit/4516ac0448ea3e70d36ecad598c1d900f43adf02
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-11-09 (Mon, 09 Nov 2015)
Changed paths:
M configure
M configure.ac
Log Message:
-----------
autostuff
N.B. due to a flag problem we can't build using g++ (on Ubuntu 14.04
at least) anymore, IIRC we decided to not fix this by manually
filtering flags, so build using clang++ for now
Compare: https://github.com/csmith-project/creduce/compare/dbea0608008b...4516ac0448ea