~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2020-10-12	Implemented support for C++ Exceptions	Felix Rath
	We implement the Itanium ABI unwinding base-API, and leave the C++-specific parts to libcxxabi. Co-authored-by: Lukas Wölfer <lukas.woelfer@rwth-aachen.de>
2019-11-05	Most libc++ tests require uclibc; add missing REQUIRES statements or remove ↵	Cristian Cadar
	dependency.
2019-03-17	Fix libc++ testcases	Martin Nowack
	* remove wrapper script invocation and script * add build instruction to test cases * added additional checks * add check to avoid execution of tests if KLEE is not compiled with libc++
2019-03-17	Added libcxx flag	Lukas Wölfer

2019-03-13	Renamed --no-output to --write-no-tests and placed it in the test case ↵	Cristian Cadar
	category (with --write-cov, --write-cvcs etc.)
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 ↵	Cristian Cadar
	--external-calls, updated tests accordingly, and improved documentation on external calls
2018-10-26	llvm5: test, add -disable-O0-optnone to -O0	Jiri Slaby
	Otherwise optimizations done in klee won't have any effect. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-09-06	Use FileCheck and LINE instead of grep if possible	Martin Nowack
	As we do not support LLVM 2.9 anymore, we can use FileCheck LINE instead of hard coding line numbers.
2014-09-14	Use klee-libc for this test, as it runs when configured w/o uclibc.	Daniel Dunbar
	- If this is a problem for some reason, lets either fix the problem or move it into Runtime tests.
2014-09-12	[tests] Set --output-dir on all test runs, in support of running tests in ↵	Daniel Dunbar
	parallel. - It would be nice if there was an easier way to do this that didn't involve editing all of the tests (like running each test in its own directory), but this approach fixes #146 and doesn't involve changing 'lit' or writing a wrapper harness. My assumption is a lot of tests start are derived from another one, so hopefully following this convention won't be burdensome, and I updated 'make check' so that it will produce an error if any test runs klee without --output-dir (by checking for the existing of klee-last files). - This also helps with #147 but I still can't fully run tests in parallel (I start hitting STP errors).
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
	Say hello to our new friend, llvm-lit :)
2010-04-05	Fix -emit-llvm spelling (although, these aren't actually needed).	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100397 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-03	Fix computation of GetElementPtr offset for 64-bit targets.	Daniel Dunbar
	- Precomputed constants were being truncated to 32-bits! - This was actually the problem with new[]/delete[], I failed to look at the generated code for new[] to realize that the compiler is generating the offset pointer, not the runtime library. - All tests now pass on x86-64! git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77930 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-02	Disable this test, KLEE's new[] implementation is broken; surprisingly this	Daniel Dunbar
	failure only manifests itself on x86_64, however. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77921 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21	Initial KLEE checkin.	Daniel Dunbar
	- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8