~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2019-03-15	Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and place...	Cristian Cadar
2019-03-07	Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.	Cristian Cadar
2018-10-26	llvm5: test, add -disable-O0-optnone to -O0	Jiri Slaby
2014-09-12	[tests] Set --output-dir on all test runs, in support of running tests in par...	Daniel Dunbar
2014-01-20	Fixed many tests that make use of the file tool to check	Dan Liew
2013-10-14	Replaced --libc=klee with --libc=uclibc in two tests (as for https://github.c...	Cristian Cadar
2012-04-05	Removed unnecessary --init-env option.	Cristian Cadar
2009-06-03	Update a few things that got forgotten in the great "bout" to "ktest"	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar