~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-03-20	llvm14: TargetRegistry.h was moved from Support to MC	Lukáš Zaoral
2023-03-17	Fix compiler warning with newer compilers	Martin Nowack
2023-03-17	[cmake] Use LLVM's CMake functionality only	Martin Nowack
2022-09-24	Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that it str...	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-05-05	cl flags: document default values, remove dead option: --replay-keep-symbolic	Frank Busse
2022-03-17	remove obsolete KLEE_LLVM legacy defines	Julian Büning
2022-03-17	remove LLVM < 6 from sources	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-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-02-16	add ifdefs for C++ exception handling	Julian Büning
2020-12-04	llvm11: IPConstantPropagationPass has been 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-10-12	Implemented support for C++ Exceptions	Felix Rath
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-02	More robust handling of unknown intrinsics	Alastair Reid
2020-07-29	remove holes in Instruction-/FunctionInfoTable, add documentation	Frank Busse
2020-06-29	Implement fshr/fshl intrinsics	Alastair Reid
2020-06-06	[Module] Disable lifting for inline asm resembling memory fences with return ...	Martin Nowack
2020-04-30	Moved header files that were placed directly in include/klee/ into appropriat...	Cristian Cadar
2020-04-30	Created include/klee/Core directory and moved appropriate files direc\	Cristian Cadar
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2020-03-18	Added another `ScalarizerLegacyPass` run to remove vectorized code introduced...	Frederic Kehrein
2020-01-18	Fix handling of debug information for functions	Martin Nowack
2019-11-15	Implement @llvm.is.constant() intrinsic handling and add a test for it.	Gleb Popov
2019-11-07	Handle llvm.objectsize explicitly	Martin Nowack
2019-10-31	LLVM 9.0: fourth parameter for @llvm.objectsize()	Julian Büning
2019-10-31	support compilation against LLVM 9.0	Julian Büning
2019-09-20	Add saturated arithmetic intrinsics	Mateusz Naściszewski
2019-08-14	Update basic block iterator after deleting instruction; add test case	Martin Nowack
2019-08-14	fixed bug in IntrinsicCleaner trap cleaner	Michael Bryman
2019-06-04	make endif guard naming consistent	Julian Büning
2019-06-04	make include guard naming consistent	Julian Büning
2019-05-30	implement FunctionAliasPass	Julian Büning
2019-05-28	Implement handling of the llvm.fabs intrinsic	Felix Rath
2019-04-02	Add FreeBSD OS triple in RaiseAsm	Gleb Popov
2019-03-21	drop support for LLVM <= 3.7	Julian Büning
2019-03-21	remove copy of ScalarizerPass for LLVM 3.4	Julian Büning