~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2021-05-04	differentiate between partial and completed paths in summary and fix paths st...	Frank Busse
2021-05-04	test: count paths with -dump-states-on-halt=false	Frank Busse
2021-04-30	posix runtime: add malloc checks	Frank Busse
2021-04-29	Fix erroneous klee-stats legend for --print-all	Jordy Ruiz
2021-04-20	Replaced the time-based delay after which the max-static-*-pct checks are per...	Cristian Cadar
2021-04-20	Refactored maxStaticPctChecks into a sequence of conditions.	Cristian Cadar
2021-04-20	Test for -max-static-fork-pct	Cristian Cadar
2021-04-20	Added a warning when forking is skipped due to MaxStatic*Pct limits being rea...	Cristian Cadar
2021-04-20	Added -max-static-pct-check-delay to replace the hardcoded delay after which ...	Cristian Cadar
2021-04-20	Refactored MaxStatis*Pct conditions into a separate function.	Cristian Cadar
2021-04-20	test/Concrete: Use Python 3 in ConcreteTest.py explicitly	Lukas Zaoral
2021-04-18	klee-replay: Fix -Wformat-truncation warning	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-05	Add cmake custom target `uninstall`	jiseongg
2021-03-04	[Z3] Handle the case when interruption caught by Z3	Pavel Yatcheniy
2021-03-04	tests: add support for LLVM 11.1	Frank Busse
2021-03-04	cmake: Fix warning about implicit type conversion	Lukas Zaoral
2021-02-26	Improved PR template by making it more succinct.	Cristian Cadar
2021-02-22	runtime/POSIX: fix failures with glibc-2.33	Jiri Slaby
2021-02-16	Executor: remove obsolete special case for __cxa_{re,}throw	Julian Büning
2021-02-16	add klee_messages for C++ exception handling support	Julian Büning
2021-02-16	add ifdefs for C++ exception handling	Julian Büning
2021-02-16	renaming 'libcxx' -> 'libc++'	Julian Büning
2020-12-23	posix runtime: getcwd: check malloc and set errno	Frank Busse
2020-12-23	tests: add getcwd EINVAL test	Frank Busse
2020-12-23	klee.h: fix compiler warnings (function declaration is not a prototype)	Frank Busse
2020-12-23	klee-libc: simplify mempcpy	Frank Busse
2020-12-23	posix runtime: remove dead branch	Frank Busse
2020-12-18	retire some build system legacy	Julian Büning
2020-12-18	fix cflags for runtime build types	Julian Büning
2020-12-13	FreeBSD CI: Use FreeBSD 12.2 instead of 12.1 and LLVM 9 instead of LLVM 8.	Gleb Popov
2020-12-07	Advancing version to 2.3-pre	Cristian Cadar
2020-12-07	Update version to 2.2 v2.2 2.2.x	Cristian Cadar
2020-12-07	Release notes for v2.2	Cristian Cadar
2020-12-04	Only build 32bit runtime libraries if supported by platform	Martin Nowack
2020-12-04	llvm11: Add LLVM 11 to GitHub Actions and Travis CI	Lukas Zaoral
2020-12-04	llvm11: CallBase::getParamAlignment has been deprecated	Lukas Zaoral
2020-12-04	llvm11: GlobalValue::getAlignment has been removed	Lukas Zaoral
2020-12-04	llvm11: IPConstantPropagationPass has been removed	Lukas Zaoral
2020-12-04	llvm11: Composite and Sequential types were removed	Lukas Zaoral
2020-12-04	llvm11: Use getCalledOperand instead of getCalledValue	Lukas Zaoral
2020-12-04	llvm11: Make conversions from StringRef to std::string explicit	Lukas Zaoral
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-04	Declare mempcpy on macOS, to silence compiler warnings	Cristian Cadar
2020-12-02	Fix Codecov upload	Martin Nowack