~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2022-01-07	stats: remove reachableUncovered (unused)	Frank Busse
2022-01-06	Comment the code dealing with un/flushed bytes, and resolve old naming issue ...	Cristian Cadar
2022-01-05	introduce BranchTypes	Frank Busse
2022-01-05	Remove outdated reference to klee_make_symbolic_name	Cristian Cadar
2021-12-23	Introduce termination categories	Frank Busse
2021-12-20	llvm13: llvm::APInt::toString has been moved to StringExtras.h	Lukas Zaoral
2021-12-20	llvm13: CreateGEP no longer accepts nullptr	Lukas Zaoral
2021-12-20	llvm13: CreateLoad API with implicit types has been deprecated	Lukas Zaoral
2021-12-20	llvm13: llvm::fs::F_None has been removed	Lukas Zaoral
2021-12-20	Support/FileHandling.cpp: rewrite to C++14	Lukas Zaoral
2021-11-20	Fixed fail with preferCex, removed relation from first argument	Taras Bereznyak
2021-11-02	Core/Executor: use `nullptr` instead of `0`	ᴀᴇꜱᴏᴘʜᴏʀ
2021-10-27	Module/RaiseAsm: Support i686 target as well	Lukas Zaoral
2021-10-27	Module/RaiseAsm: Fix crash when host and bitcode target triples differ	Lukas Zaoral
2021-09-10	llvm12: Implement llvm.abs intrinsic	Lukas Zaoral
2021-09-10	llvm11: Handle llvm.roundeven instrinsic	Lukas Zaoral
2021-09-10	llvm12: Implement llvm.{s,u}{max,min} intrinsics	Lukas Zaoral
2021-09-10	llvm12: VectorType::getNumElements() has been deprecated	Lukas Zaoral
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