~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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
2020-08-19	DiscretePDF: use IDs instead of pointers (see PR #739)	Frank Busse
2020-08-14	Updated README.md links from travis-ci.org to travis-ci.com	Cristian Cadar
2020-08-07	Tweak LLVM version string parser: support rust	Alastair Reid
2020-08-07	New intrinsic: klee_is_replay	Alastair Reid
2020-07-30	[unittests] use static PTree::remove method in SearcherTest	Frank Busse
2020-07-30	introduce --rng-initial-seed=<unsigned>	Frank Busse
2020-07-29	remove holes in Instruction-/FunctionInfoTable, add documentation	Frank Busse
2020-07-01	Clean-up and add documentation	Martin Nowack
2020-07-01	Remove state contructor with constraints	Martin Nowack
2020-07-01	Use constraint sets and separate metadata for timing solver invocation	Martin Nowack
2020-07-01	Use `unique_ptr` for solver in timing solver	Martin Nowack
2020-07-01	Separate constraint set and constraint manager	Martin Nowack
2020-07-01	Move constraint implementation from header to cpp files	Martin Nowack
2020-06-29	Enable subsets for RandomPathSearcher	Timotej Kapus
2020-06-29	[PTree] Replace left/right with PointerIntPair	Timotej Kapus
2020-06-29	Revert "refactor PTree: use unique_ptr"	Timotej Kapus
2020-06-29	Implement fshr/fshl intrinsics	Alastair Reid
2020-06-26	[FreeBSD] Assume always yes for installing packages as well	Martin Nowack
2020-06-26	Switch to a more recent version of SQLite in the CI	Cristian Cadar
2020-06-26	Revert to FreeBSD 12.1-STABLE (13.0-CURRENT has started running into issues)	Cristian Cadar
2020-06-25	Enforce fork/branch limits in branch() and fix double termination	Frank Busse
2020-06-25	fix Executor: initializeGlobalAliases	Julian Büning
2020-06-25	Executor: consolidate initialization of global objects	Julian Büning
2020-06-25	Executor: light refactoring of {allocate,initialize}GlobalObjects	Julian Büning