~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2014-02-14	Correct and tidy up comments.	Dan Liew
2014-02-12	Fixed compilation of unittests with upstream STP (Boost dependency).	Dan Liew
2014-02-09	Merge pull request #100 from delcypher/pass-param-llvm-lit	Cristian Cadar
2014-02-06	Fix access of iterators after they have been invalidated	Martin Nowack
2014-02-06	When using KLEE's built-in Bitcode archive linker do not consider	Dan Liew
2014-02-06	Implement const_iterator interface for SpecialFunctionHandler so	Dan Liew
2014-02-06	Do not consider llvm intrinsics as undefined symbols in KLEE's	Dan Liew
2014-02-06	Improved archive (of bitcode modules) linking performance for	Dan Liew
2014-02-06	Add support for archive and single bc file linking	Martin Nowack
2014-02-04	Explicitly propagate CPLUS_INCLUDE_PATH and C_INCLUDE_PATH environment	Dan Liew
2014-02-04	Merge pull request #101 from delcypher/fix_isatty_llvm33	Cristian Cadar
2014-01-29	Fix Runtime/POSIX/Isatty.c test under LLVM3.3. The program makes	Dan Liew
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