~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-10-12	Implemented support for C++ Exceptions	Felix Rath
2020-10-12	Add `ENABLE_DOXYGEN=0` to default config in .travis.yml	jiseongg
2020-10-12	Add doxygen support in docker image	jiseongg
2020-10-12	Remove unused cmake arguments when building docker	jiseongg
2020-10-09	implement fneg instruction	Julian Büning
2020-10-09	fix: fabs() working on the wrong argument	David Laprell
2020-10-09	Replace `NULL` with explicit `nullptr`	Martin Nowack
2020-10-09	Explicitly track global variables in getDirectCallTarget	Martin Nowack
2020-10-09	Add testcase for weakly linked globals	Martin Nowack
2020-10-06	Ran clang-format on intrinsics.c and removed unneeded comment	Cristian Cadar
2020-10-06	Added support for klee_open_merge and klee_close_merge in replay, together wi...	Cristian Cadar
2020-09-30	klee-stats: fix behaviour for broken/empty DBs	Frank Busse
2020-09-30	tests: add tests for empty .stats and additional/missing columns	Frank Busse
2020-09-30	tests: support .test and introduce %klee-stats	Frank Busse
2020-09-30	Add check if KLEE is installed	Martin Nowack
2020-09-30	Use LLVM 6.0 for now on macOS	Martin Nowack
2020-09-30	[CMake][Z3] Check if function `Z3_get_error_msg` needs `context` using C++	Martin Nowack
2020-09-30	Update Dockerfile to use LLVM 9.0 and newer Ubuntu version	Martin Nowack
2020-09-30	Remove shebang from include	Martin Nowack
2020-09-30	Fix LLVM 4.0 build patch	Martin Nowack
2020-09-30	Fix docker ID handling for sqlite	Martin Nowack
2020-09-30	Fix check if sqlite is installed under ubuntu as a systems package	Martin Nowack
2020-09-30	Fix check if LLVM is installed	Martin Nowack
2020-09-30	Reduce compile time and size for LLVM build	Martin Nowack
2020-09-30	Reduce the size of the libcxx image	Martin Nowack
2020-09-30	Remove explicit dependency on llvm and sanitizer	Martin Nowack
2020-09-30	Fix detection of installed clang	Martin Nowack
2020-09-30	Do not use `-lubsan` and `-fuse-ld=gold` for UBSan linking	Martin Nowack
2020-09-30	Delete Docker instance after system detection ran	Martin Nowack
2020-09-30	Disable libc++ for LLVM 3.8 Travis CI target	Martin Nowack
2020-09-30	Set default LLVM version to 9.0	Martin Nowack
2020-09-30	Replace travis container build script with python-based version	Martin Nowack
2020-09-26	Replace llvm::CallSite with llvm::CallBase on LLVM 8+	Lukas Zaoral
2020-09-25	Add Cirrus CI status	Cristian Cadar
2020-09-21	Added a PR template, with a checklist documenting the most frequent issues we...	Cristian Cadar
2020-09-17	Add test for klee-zesti	Timotej Kapus
2020-09-17	[gen-bout] Support multiple symbolic files	Timotej Kapus
2020-09-17	Add klee-zesti a ZESTI like wrapper script	Timotej Kapus
2020-09-05	Fix codecov upload	Martin Nowack
2020-09-05	Remove secure vars	Cristian Cadar
2020-09-04	Update homebrew cache	Martin Nowack
2020-09-04	Remove caching of homebrew-built packages	Martin Nowack
2020-09-04	Use homebrew packages provided by Travis	Martin Nowack
2020-09-04	CirrusCI: Switch FreeBSD 11.3 to 11.4, remove old hack.	Gleb Popov
2020-09-03	Guard process-tree compression with a command-line switch	Sebastian Poeplau
2020-09-03	Fix PTree::remove to clean the tree properly	Sebastian Poeplau
2020-09-03	Change the way bash is upgraded on macOS.	Cristian Cadar
2020-09-02	More robust handling of unknown intrinsics	Alastair Reid
2020-08-28	Definition of __cxa_thread_atexit_impl for the KLEE libc.	Alastair Reid
2020-08-23	klee-stats: check for a run.stats file in the klee-out directory, to prevent ...	Jordy Ruiz