~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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