~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2022-03-11	FD_Fail: use /dev/zero instead of /etc/mtab	Morgan Jones
2022-03-09	Core/Executor: Fix unaligned write of fp80 arguments	Lukáš Zaoral
2022-03-09	Core/ExecutionState: Fix uninitialized reads in unit tests	Lukáš Zaoral
2022-03-09	CI: add `-fno-sanitize-recover=undefined` to UBSAN flags	Lukáš Zaoral
2022-03-09	tests: make UBSAN print stack traces	Lukáš Zaoral
2022-03-09	CI: drop `-fsanitize=integer` from UBSAN flags	Lukáš Zaoral
2022-03-09	CI: Update GTest to 1.11.0	Lukáš Zaoral
2022-03-09	CI: Update Z3 to 4.8.14	Lukáš Zaoral
2022-03-09	build: fix missing target for grep	Frank Busse
2022-03-09	fix CMake: gtest from llvm includes gtest_main	Julian Büning
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-07	klee-stats: fix --print-more	Frank Busse
2022-01-07	klee-stats: add --print-columns	Frank Busse
2022-01-07	klee-stats: do not print summary line for csv/readable-csv	Frank Busse
2022-01-07	klee-stats: fix BCov calculation for zero br instructions	Frank Busse
2022-01-07	klee-stats: rename/reorder/document columns	Frank Busse
2022-01-07	stats: remove reachableUncovered (unused)	Frank Busse
2022-01-06	Comment the code dealing with un/flushed bytes, and resolve old naming issue ...	Cristian Cadar
2022-01-06	Remove old Travis CI support	Martin Nowack
2022-01-06	Dockerfile: use Google Test 1.11.0	Julian Büning
2022-01-05	introduce BranchTypes	Frank Busse
2022-01-05	unittests/TestMain: show stack trace on error	Julian Büning
2022-01-05	fix CMake: use own TestMain instead of gtest_main	Julian Büning
2022-01-05	CMake: set Google Test options properly	Julian Büning
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