~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2022-09-14	Remove LLVM version < 6	Pavel
2022-09-14	Support UBSan-enabled binaries	Pavel Yatcheniy
2022-07-24	Support arguments of width 128, 256 and 512 bits for external calls	Pavel
2022-07-04	Inline asm external call	Mikhail
2022-06-30	rename CallSite to CallBase	Frank Busse
2022-06-30	remove LLVM < 9	Frank Busse
2022-06-27	Fix error with empty EntryPoint	Saveliy Grigoryev
2022-06-26	Intrinsics: Add support for @llvm.f{ma,muladd}.f*	Lukáš Zaoral
2022-06-15	Spelling Fixes	m-davis
2022-06-13	tests: add StackTraceOutput.c	Frank Busse
2022-06-13	tests: invoke LLVM tools through their corresponding macros	Lukáš Zaoral
2022-05-06	Updated tests to use ktest-randgen instead of gen-random-bout	Cristian Cadar
2022-05-06	Updated tests to use ktest-gen instead of gen-bout	Cristian Cadar
2022-05-06	tests: make function pointer tests more robust	Frank Busse
2022-04-28	Make Uclibc support a runtime option, not a compile-time one.	Gleb Popov
2022-03-17	LLVM < 6 leftovers	Julian Büning
2022-03-17	remove LLVM < 6 from build/test scripts	Frank Busse
2022-03-17	Updated test MemoryLimit.c to use FileCheck, and formatted the file	Cristian Cadar
2022-03-11	FD_Fail: use /dev/zero instead of /etc/mtab	Morgan Jones
2022-03-09	tests: make UBSAN print stack traces	Lukáš Zaoral
2022-01-07	tests: add Feature/KleeStatsNoBr.c	Frank Busse
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