~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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
2020-12-02	Use Github Actions as default CI	Martin Nowack
2020-12-02	Remove artificial timeouts as current timeout for build jobs is 6h.	Martin Nowack
2020-12-02	Rename `build-travis-container.py` into `build-ci-container.py`	Martin Nowack
2020-12-02	Add Github Actions for KLEE CI based @jordr	Martin Nowack
2020-12-02	Detect system include headers on macOS	Martin Nowack
2020-12-02	Handle LLVM version selection more robust	Martin Nowack
2020-12-02	Use non-interactive input	Martin Nowack
2020-11-23	Use a more recent version of macOS	Cristian Cadar
2020-11-20	p-klee.inc: libc++abi only needed for c++ exception support	Julian Büning
2020-11-20	slightly improve C++-related CMake strings	Julian Büning
2020-11-20	fix CMake: libcxxabi is only required with KLEE_EH_CXX	Julian Büning
2020-11-12	Casting.h: isa_and_nonnull<>	Julian Büning
2020-11-12	Ref: implement operator bool()	Julian Büning
2020-11-11	tests: add test for klee-stats --table-format=csv/readable-csv	Frank Busse
2020-11-11	klee-stats: add (readable) csv format (--table-format=readable-csv/csv)	Frank Busse
2020-11-11	Do not redefine fgetc_unlocked and fputc_unlocked unconditionally.	Gleb Popov
2020-11-09	Added fortified library (for -D_FORTIFY_SOURCE), to be linked when uclibc is ...	Cristian Cadar
2020-11-09	Test checking that __strcpy_chk is handled correctly when uclibc is used	Cristian Cadar
2020-11-09	Added fortified versions for the functions in the klee-libc library	Cristian Cadar
2020-11-09	Test checking that __strcat_chk is handled correctly with klee-libc	Cristian Cadar
2020-11-09	Since the runtime now contains fortified libc functions, it is important to c...	Cristian Cadar
2020-11-09	Added fortified versions for the functions in the freestanding library.	Cristian Cadar