~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2021-12-20	llvm13: Add LLVM 13 to lit.cfg	Lukas Zaoral
2021-12-20	llvm13: llvm::APInt::toString has been moved to StringExtras.h	Lukas Zaoral
2021-12-20	llvm13: CreateGEP no longer accepts nullptr	Lukas Zaoral
2021-12-20	llvm13: CreateLoad API with implicit types has been deprecated	Lukas Zaoral
2021-12-20	llvm13: llvm::cl::GeneralCategory is no longer a global	Lukas Zaoral
2021-12-20	llvm13: llvm::fs::F_None has been removed	Lukas Zaoral
2021-12-20	Support/FileHandling.cpp: rewrite to C++14	Lukas Zaoral
2021-12-19	cmake: copy klee-uclibc and klee-libcxx to expected locations	Lukas Zaoral
2021-11-20	Fixed fail with preferCex, removed relation from first argument	Taras Bereznyak
2021-11-02	ktest-tool: --extract: warn if object can't be found	Frank Busse
2021-11-02	Core/Executor: use `nullptr` instead of `0`	ᴀᴇꜱᴏᴘʜᴏʀ
2021-11-02	tests: adjust Feature/KleeStatsColumns.test for fixed column order	Frank Busse
2021-11-02	klee-stats: order remaining columns alphabetically	Frank Busse
2021-10-27	tools/klee: Warn if module and host target triples differ	Lukas Zaoral
2021-10-27	Module/RaiseAsm: Support i686 target as well	Lukas Zaoral
2021-10-27	Module/RaiseAsm: Fix crash when host and bitcode target triples differ	Lukas Zaoral
2021-10-22	Switch FreeBSD CI to 12.2 and 13.0, as 11.4 has gone EOL.	Gleb Popov
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-15	Install git as a requirement for codecov	Martin Nowack
2021-09-10	llvm12: Implement llvm.abs intrinsic	Lukas Zaoral
2021-09-10	llvm11: Handle llvm.roundeven instrinsic	Lukas Zaoral
2021-09-10	llvm12: Implement llvm.{s,u}{max,min} intrinsics	Lukas Zaoral
2021-09-10	CI: Use the latest release of CMake	Lukas Zaoral
2021-09-10	llvm12: Add LLVM 12 to Travis CI and GitHub Actions	Lukas Zaoral
2021-09-10	llvm12: Add LLVM 12 to lit.cfg	Lukas Zaoral
2021-09-10	llvm12: VectorType::getNumElements() has been deprecated	Lukas Zaoral
2021-06-19	Test failure for WSL 1	Pavel Yatcheniy
2021-05-10	allocate memory objects for functions	Julian Büning
2021-05-10	extend function pointer test	Julian Büning
2021-05-04	cirrus: update FreeBSD python dependencies	Frank Busse
2021-05-04	tests: adjust to new summary output	Frank Busse
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