~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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
2018-11-05	Fixed crash on zero size arrays	Lukas Wölfer
2018-11-02	Replaced --no-externals and --allow-external-sym-calls with --external-calls,...	Cristian Cadar
2018-10-26	llvm5: test, add -disable-O0-optnone to -O0	Jiri Slaby
2018-09-06	Use FileCheck and LINE instead of grep if possible	Martin Nowack
2014-09-14	Use klee-libc for this test, as it runs when configured w/o uclibc.	Daniel Dunbar
2014-09-12	[tests] Set --output-dir on all test runs, in support of running tests in par...	Daniel Dunbar
2014-05-16	Changed StaticDestructor.cpp to use uclibc and disable optimizations explicitly.	Cristian Cadar
2014-01-20	Remove the last remnants (I think) of DejaGNU. Goodbye!	Dan Liew
2010-04-05	Fix -emit-llvm spelling (although, these aren't actually needed).	Daniel Dunbar
2009-08-03	Fix computation of GetElementPtr offset for 64-bit targets.	Daniel Dunbar
2009-08-02	Disable this test, KLEE's new[] implementation is broken; surprisingly this	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar