~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2014-01-28	Allow passing arbitrary command line flags to klee and kleaver	Dan Liew
2014-01-25	Upstream STP's libstp now depends on boost. This commit updates	Dan Liew
2014-01-21	Merge pull request #92 from delcypher/fix_llvm-lit	Cristian Cadar
2014-01-20	Hide make check command unless using VERBOSE make variable.	Dan Liew
2014-01-20	Explicitly use only one thread when invoking llvm-lit in TestRunner.sh	Dan Liew
2014-01-20	Fixed test cases that fail if using an in-source build	Dan Liew
2014-01-20	Only run klee-uclibc tests if KLEE was configured with klee-uclibc	Dan Liew
2014-01-20	Partially fix python detection for running llvm-lit.	Dan Liew
2014-01-20	Remove the last remnants (I think) of DejaGNU. Goodbye!	Dan Liew
2014-01-20	Give absolute paths to KLEE's tools in lit.cfg . This fixes a long	Dan Liew
2014-01-20	Only run SELinux test if support for SELinux was detected at configure	Dan Liew
2014-01-20	Added Runtime/POSIX/lit.local.cfg file that prevents the POSIX	Dan Liew
2014-01-20	Fixed tests where llvm-gcc was called without the -emit-llvm flag.	Dan Liew
2014-01-20	Add lit.local.cfg file for test/Concrete so no tests are executed	Dan Liew
2014-01-20	* Do not ignore lit.local.cfg files needed for llvm-lit	Dan Liew
2014-01-20	Removed all of llvm-lit's dependence on DejaGNU. A few things	Dan Liew
2014-01-20	Fixed Feature/InAndOutOfBounds.c so it did not make use of ! which	Dan Liew
2014-01-20	Force python2 to be used when running llvm-lit. This needs to be fixed	Dan Liew
2014-01-20	Fix Feature/Envp.c test for llvm-lit by providing the PWD environmental variable	Dan Liew
2014-01-20	Fixed Feature/LongDouble.cpp test for llvm-lit by removed use of	Dan Liew
2014-01-20	Fixed many tests that make use of the file tool to check	Dan Liew
2014-01-20	Allow llvm-lit from 2.9 to work by hacking %T substitution variable.	Dan Liew
2014-01-20	Put llvm tools directory at beginning of PATH list so that the LLVM	Dan Liew
2014-01-20	Add LLVM tool directory to PATH when running tests with llvm-lit.	Dan Liew
2014-01-20	Fixed Expr/Parser/Simplify.pc test for llvm-lit. Escaped quote issue.	Dan Liew
2014-01-20	Fixed Expr/Parser/MultiByteReads.pc test.	Dan Liew
2014-01-20	Fixed Expr/Parser/ConstantFolding.pc test for llvm-lit (this probably	Dan Liew
2014-01-20	Removed use of deprecated Tcl parser for tests. This allows	Dan Liew
2014-01-17	Merge pull request #94 from MartinNowack/fix_assert_library_linking	Dan Liew
2014-01-17	Fix error message for failing linking of libraries	Martin Nowack
2014-01-17	Make KLEE fail in case main function is missing	Martin Nowack
2014-01-12	Merge pull request #68 from MartinNowack/feature_kleeInternalFunctions	Dan Liew
2014-01-10	Merge pull request #86 from msoos/master	Dan Liew
2014-01-10	Fixing missing include from get_sign.c	Mate Soos
2014-01-09	Fixed race condition in parallel build where a symbolic link	Dan Liew
2014-01-09	Fix build system so that ktest-tool and klee-stats can be installed	Dan Liew
2013-12-22	Merge pull request #78 from delcypher/fix_klee_install	Cristian Cadar
2013-12-21	klee-uclibc detection is now a lot cleaner. KLEE now assumes	Dan Liew
2013-12-21	The location of KLEE's runtime libraries (apart from klee-uclibc)	Dan Liew
2013-12-21	Revert "Patch from Ben Gras which "makes Klee look for the libraries in the"	Dan Liew
2013-12-21	Do not install KLEE's header files. They are not for public	Dan Liew
2013-12-21	Do not install KLEE's internal libraries.	Dan Liew
2013-12-21	Fixed mistake in commit c5510caa2a0ce6ad9a153fee094fe50855313450	Dan Liew
2013-12-20	Merge pull request #81 from delcypher/fix_unittest_llvm33_clang	Cristian Cadar
2013-12-20	Fix compilation of unittests under Clang.	Dan Liew
2013-12-19	Added a few comments to Executor::getLastNonKleeInternalInstruction()	Dan Liew
2013-12-19	When writing stack traces for bugs write the location in the assembly.ll	Dan Liew
2013-12-19	If error location information is missing be explicit about it. This	Dan Liew
2013-12-19	Only record debug info into InstructionInfoTable if debug information	Dan Liew
2013-12-19	Remove old algorithm for acquiring debug info. Since LLVM 2.7,	Dan Liew