~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-03-23	stats: add InhibitedForks	Frank Busse
2023-03-23	remove obsolete header	Daniel Schemmel
2023-03-22	Change `llvm_map_components_to_libnames` to `llvm_config` CMake function	Martin Nowack
2023-03-20	llvm14: PointerType::getElementType() was deprecated	Lukáš Zaoral
2023-03-17	[cmake] Use LLVM's CMake functionality only	Martin Nowack
2023-03-16	Integrate KDAlloc into KLEE	Daniel Schemmel
2022-09-26	Improve the message for when large arrays become symbolic. Only print this w...	Cristian Cadar
2022-09-14	Eliminate .undefined_behavior.err category and simplify tests	Pavel
2022-09-14	Introduce separate categories for different kinds of undefined behavior	Pavel
2022-09-14	Support UBSan-enabled binaries	Pavel Yatcheniy
2022-07-24	Support arguments of width 128, 256 and 512 bits for external calls	Pavel
2022-07-04	Inline asm external call	Mikhail
2022-06-30	rename CallSite to CallBase	Frank Busse
2022-06-30	remove LLVM < 9	Frank Busse
2022-06-26	Intrinsics: Add support for @llvm.f{ma,muladd}.f*	Lukáš Zaoral
2022-06-15	Spelling Fixes	m-davis
2022-06-13	.err files: minor readability changes to stack trace output	Frank Busse
2022-06-13	Update SpecialFunctionHandler.cpp	Chaoqi Zhang
2022-04-01	Remove unnecessary call to deprecated function sqlite3_enable_shared_cache	Cristian Cadar
2022-03-17	remove obsolete KLEE_LLVM legacy defines	Julian Büning
2022-03-17	LLVM < 6 leftovers	Julian Büning
2022-03-17	remove LLVM < 6 from sources	Frank Busse
2022-03-09	Core/Executor: Fix unaligned write of fp80 arguments	Lukáš Zaoral
2022-03-09	Core/ExecutionState: Fix uninitialized reads in unit tests	Lukáš Zaoral
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: CreateGEP no longer accepts nullptr	Lukas Zaoral
2021-12-20	llvm13: CreateLoad API with implicit types has been deprecated	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-09-10	llvm12: Implement llvm.abs intrinsic	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-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: 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