~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2019-03-13	Renamed --no-output to --write-no-tests and placed it in the test case catego...	Cristian Cadar
2019-03-07	tests: rename xxclang to clangxx	Frank Busse
2019-03-07	Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.	Cristian Cadar
2014-09-12	[tests] Dramatically scale back the forks limit for our ImmutableSet test.	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	Remove the last remnants (I think) of DejaGNU. Goodbye!	Dan Liew
2012-09-12	Restructured the command-line options for setting the search	Cristian Cadar
2010-04-05	Fix -emit-llvm spelling (although, these aren't actually needed).	Daniel Dunbar
2009-08-01	Don't force -m32 in tests; this should be handled by the build system.	Daniel Dunbar
2009-07-28	Move Machine constants into Context object, initialized based on the target	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar