~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2021-05-10	allocate memory objects for functions	Julian Büning
2021-05-04	differentiate between partial and completed paths in summary and fix paths st...	Frank Busse
2021-04-20	Replaced the time-based delay after which the max-static-*-pct checks are per...	Cristian Cadar
2021-04-20	Refactored maxStaticPctChecks into a sequence of conditions.	Cristian Cadar
2021-04-20	Added a warning when forking is skipped due to MaxStatic*Pct limits being rea...	Cristian Cadar
2021-04-20	Added -max-static-pct-check-delay to replace the hardcoded delay after which ...	Cristian Cadar
2021-04-20	Refactored MaxStatis*Pct conditions into a separate function.	Cristian Cadar
2021-03-04	[Z3] Handle the case when interruption caught by Z3	Pavel Yatcheniy
2021-02-16	Executor: remove obsolete special case for __cxa_{re,}throw	Julian Büning
2021-02-16	add ifdefs for C++ exception handling	Julian Büning
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-11-12	Casting.h: isa_and_nonnull<>	Julian Büning
2020-11-12	Ref: implement operator bool()	Julian Büning
2020-11-04	Link to the different runtime libraries depending on the application to test.	Martin Nowack
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
2020-10-12	Exception handling only for LLVM >= 8.0.0	Julian Büning
2020-10-12	use isa<> and explicit nullptr-check for compilation with older LLVM versions...	Felix Rath
2020-10-12	Implemented support for C++ Exceptions	Felix Rath
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-09-26	Replace llvm::CallSite with llvm::CallBase on LLVM 8+	Lukas Zaoral
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-02	More robust handling of unknown intrinsics	Alastair Reid
2020-08-19	DiscretePDF: use IDs instead of pointers (see PR #739)	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