~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2022-01-05	fix CMake: GTEST_INSTALL -> INSTALL_GTEST	Julian Büning
2022-01-05	CMake: include GTest include hint for 1.8.0+	Julian Büning
2022-01-05	Do not use stat64 directly in gen-random-bout	Cristian Cadar
2022-01-05	Added a test for invocations of klee_make_symbolic with a wrong size to MakeS...	Cristian Cadar
2022-01-05	Remove outdated reference to klee_make_symbolic_name	Cristian Cadar
2022-01-04	Use more precise version check for selecting swapoff() signature.	Gleb Popov
2021-12-24	Added correct signature for swapoff on FreeBSD (to solve recent CI failures)	Cristian Cadar
2021-12-23	Introduce termination categories	Frank Busse
2021-12-20	test/Concrete/GlobalUndef.ll: Remove `target datalayout` and `target triple`	Lukáš Zaoral
2021-12-20	llvm13: Add LLVM 13 to Travis CI and GitHub Actions	Lukas Zaoral
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