~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2016-02-14	Try to fix the TravisCI build when using Z3 as the solver. The	Dan Liew
2014-09-14	[tests] Enable running tests in parallel.	Daniel Dunbar
2014-09-13	[tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines.	Daniel Dunbar
2014-09-13	test/lit.site.cfg is never deleted, leading to misconfiguration errors.	Cristian Cadar
2014-09-12	[tests] Run 'make clean' prior to starting tests.	Daniel Dunbar
2014-09-12	[tests] Set --output-dir on all test runs, in support of running tests in par...	Daniel Dunbar
2014-01-20	Hide make check command unless using VERBOSE make variable.	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	Only run SELinux test if support for SELinux was detected at configure	Dan Liew
2014-01-20	Removed all of llvm-lit's dependence on DejaGNU. A few things	Dan Liew
2014-01-20	Force python2 to be used when running llvm-lit. This needs to be fixed	Dan Liew
2014-01-20	Allow llvm-lit from 2.9 to work by hacking %T substitution variable.	Dan Liew
2014-01-20	Add LLVM tool directory to PATH when running tests with llvm-lit.	Dan Liew
2010-05-02	Sketch support for running KLEE tests using 'lit'.	Daniel Dunbar
2010-04-05	Fix some tests w/ objdir != srcdir.	Daniel Dunbar
2010-03-14	Update for 2.7.	Daniel Dunbar
2010-02-19	Fixed the problem of 'make check' failing on XFAILs. Based on patch	Cristian Cadar
2009-09-21	Don't force llvm-gcc to -m32, just hope that it was configured correctly for the	Daniel Dunbar
2009-08-17	Update for LLVM API change.	Daniel Dunbar
2009-08-01	Don't force -m32 in tests; this should be handled by the build system.	Daniel Dunbar
2009-05-22	Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar