~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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
2020-11-09	Added test checking that a simple overflow is caught via -D_FORTIFY_SOURCE	Cristian Cadar
2020-11-09	Test checking that __memchk_chk is handled correctly with the freestanding li...	Cristian Cadar
2020-11-04	Rename FreeStanding to Freestanding where appropriate	Martin Nowack
2020-11-04	[build] Add multilib package to build 32bit on ubuntu	Martin Nowack
2020-11-04	Link to the different runtime libraries depending on the application to test.	Martin Nowack
2020-11-04	[cmake] Add support to generate arbitrary runtime library configurations	Martin Nowack
2020-11-04	[cmake] Always create KLEE runtime directory even if POSIX is not built	Martin Nowack
2020-11-04	[cmake] Remove clean_all target as not needed by any additional target	Martin Nowack
2020-11-04	[cmake] Use clean command to remove generated doxygen files	Martin Nowack
2020-11-04	[cmake] Remove several leftovers from old autoconf build system	Martin Nowack
2020-11-04	[cmake] Switch to "newer" cmake version 3.5.0	Martin Nowack
2020-11-03	fix: bcmp with n==0	Alastair Reid
2020-10-30	Call functions in __cxa_atexit in reverse order	Tomas Jasek
2020-10-30	Add test for atexit order	Tomas Jasek
2020-10-30	Use the default version of LLVM for the macOS Travis target	Cristian Cadar
2020-10-30	Mark the StaticDestructor test as failing on macOS	Cristian Cadar
2020-10-30	Optimize StaticDestructor test to be less fragile to compiler optimizations.	Cristian Cadar
2020-10-21	fix Executor: remove UB from bindInstructionConstants	Julian Büning
2020-10-12	searchers: more consistent formatting	Frank Busse
2020-10-12	DFS/BFS/RandomSearcher: replace loop with std::find	Frank Busse
2020-10-12	searchers: move implementations from .h to .cpp	Frank Busse
2020-10-12	Searcher: remove addState/removeState functions	Frank Busse
2020-10-12	MergingSearcher: remove random-path incompatibility	Frank Busse
2020-10-12	searchers: clean up, add documentation	Frank Busse
2020-10-12	address MartinNowack's remaining feedback	Julian Büning