~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2021-09-10	llvm12: Implement llvm.abs intrinsic	Lukas Zaoral
2021-09-10	llvm12: Implement llvm.{s,u}{max,min} intrinsics	Lukas Zaoral
2021-09-10	llvm12: Add LLVM 12 to lit.cfg	Lukas Zaoral
2021-06-19	Test failure for WSL 1	Pavel Yatcheniy
2021-05-10	extend function pointer test	Julian Büning
2021-05-04	tests: adjust to new summary output	Frank Busse
2021-05-04	test: count paths with -dump-states-on-halt=false	Frank Busse
2021-04-20	Replaced the time-based delay after which the max-static-*-pct checks are per...	Cristian Cadar
2021-04-20	Test for -max-static-fork-pct	Cristian Cadar
2021-04-20	test/Concrete: Use Python 3 in ConcreteTest.py explicitly	Lukas Zaoral
2021-04-18	tests: Invoke tools through their corresponding macros	Lukas Zaoral
2021-04-18	tests: Do not add klee tools to PATH in lit	Lukas Zaoral
2021-04-08	cmake: Fix CMP0026 policy deprecation warning	Lukas Zaoral
2021-03-04	tests: add support for LLVM 11.1	Frank Busse
2021-02-16	renaming 'libcxx' -> 'libc++'	Julian Büning
2020-12-23	tests: add getcwd EINVAL test	Frank Busse
2020-12-23	klee-libc: simplify mempcpy	Frank Busse
2020-12-04	Test reflecting the LLVM 11 behavior for transforming reads of the form f[k],...	Cristian Cadar
2020-12-04	Test reflecting the LLVM 11 behavior for transforming writes of the form f[k]...	Cristian Cadar
2020-12-04	Move all overflows from the vector instructions tests into a new file, as the...	Cristian Cadar
2020-12-04	Add LLVM 11 to lit.cfg	Cristian Cadar
2020-12-02	Detect system include headers on macOS	Martin Nowack
2020-11-11	tests: add test for klee-stats --table-format=csv/readable-csv	Frank Busse
2020-11-09	Test checking that __strcpy_chk is handled correctly when uclibc is used	Cristian Cadar
2020-11-09	Test checking that __strcat_chk is handled correctly with klee-libc	Cristian Cadar
2020-11-09	Added test checking that a simple overflow is caught via -D_FORTIFY_SOURCE	Cristian Cadar
2020-11-09	Test checking that __memchk_chk is handled correctly with the freestanding li...	Cristian Cadar
2020-11-04	[cmake] Remove several leftovers from old autoconf build system	Martin Nowack
2020-11-03	fix: bcmp with n==0	Alastair Reid
2020-10-30	Add test for atexit order	Tomas Jasek
2020-10-30	Mark the StaticDestructor test as failing on macOS	Cristian Cadar
2020-10-30	Optimize StaticDestructor test to be less fragile to compiler optimizations.	Cristian Cadar
2020-10-12	MergingSearcher: remove random-path incompatibility	Frank Busse
2020-10-12	address MartinNowack's remaining feedback	Julian Büning
2020-10-12	Exception handling only for LLVM >= 8.0.0	Julian Büning
2020-10-12	Implemented support for C++ Exceptions	Felix Rath
2020-10-09	implement fneg instruction	Julian Büning
2020-10-09	fix: fabs() working on the wrong argument	David Laprell
2020-10-09	Add testcase for weakly linked globals	Martin Nowack
2020-10-06	Added support for klee_open_merge and klee_close_merge in replay, together wi...	Cristian Cadar
2020-09-30	tests: add tests for empty .stats and additional/missing columns	Frank Busse
2020-09-30	tests: support .test and introduce %klee-stats	Frank Busse
2020-09-17	Add test for klee-zesti	Timotej Kapus
2020-09-02	More robust handling of unknown intrinsics	Alastair Reid
2020-08-28	Definition of __cxa_thread_atexit_impl for the KLEE libc.	Alastair Reid
2020-08-07	New intrinsic: klee_is_replay	Alastair Reid
2020-06-29	Implement fshr/fshl intrinsics	Alastair Reid
2020-06-25	Enforce fork/branch limits in branch() and fix double termination	Frank Busse
2020-06-25	fix Executor: initializeGlobalAliases	Julian Büning
2020-06-25	add simple unknown bitcast alias test from the original issue	Julian Büning