~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2022-01-07	tests: adapt Feature/KleeStatsColumns.test to klee-stats changes	Frank Busse
2022-01-07	tests: extend Feature/KleeStats.c	Frank Busse
2022-01-05	Added a test for invocations of klee_make_symbolic with a wrong size to MakeS...	Cristian Cadar
2021-12-20	test/Concrete/GlobalUndef.ll: Remove `target datalayout` and `target triple`	Lukáš Zaoral
2021-12-20	llvm13: Add LLVM 13 to lit.cfg	Lukas Zaoral
2021-11-20	Fixed fail with preferCex, removed relation from first argument	Taras Bereznyak
2021-11-02	tests: adjust Feature/KleeStatsColumns.test for fixed column order	Frank Busse
2021-10-27	tools/klee: Warn if module and host target triples differ	Lukas Zaoral
2021-10-17	test/Runtime/POSIX/Futimesat: futimesat(2) requires _GNU_SOURCE on glibc plat...	Lukas Zaoral
2021-10-17	test/Runtime/POSIX/Futimesat: Compile with -std=c99	Lukas Zaoral
2021-10-13	test/Feature/FunctionAlias.c: Add missing CHECK-UNKNOWN prefix	Lukas Zaoral
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