about summary refs log tree commit diff homepage
path: root/lib/Module
AgeCommit message (Expand)Author
2022-06-26Intrinsics: Add support for @llvm.f{ma,muladd}.f*Lukáš Zaoral
2022-05-05cl flags: document default values, remove dead option: --replay-keep-symbolicFrank Busse
2022-03-17remove obsolete KLEE_LLVM legacy definesJulian Büning
2022-03-17remove LLVM < 6 from sourcesFrank Busse
2021-12-20llvm13: CreateGEP no longer accepts nullptrLukas Zaoral
2021-12-20llvm13: CreateLoad API with implicit types has been deprecatedLukas Zaoral
2021-10-27Module/RaiseAsm: Support i686 target as wellLukas Zaoral
2021-10-27Module/RaiseAsm: Fix crash when host and bitcode target triples differLukas Zaoral
2021-09-10llvm12: Implement llvm.abs intrinsicLukas Zaoral
2021-09-10llvm11: Handle llvm.roundeven instrinsicLukas Zaoral
2021-09-10llvm12: Implement llvm.{s,u}{max,min} intrinsicsLukas Zaoral
2021-02-16add ifdefs for C++ exception handlingJulian Büning
2020-12-04llvm11: IPConstantPropagationPass has been removedLukas Zaoral
2020-12-04llvm11: Use getCalledOperand instead of getCalledValueLukas Zaoral
2020-12-04llvm11: Make conversions from StringRef to std::string explicitLukas Zaoral
2020-11-12Casting.h: isa_and_nonnull<>Julian Büning
2020-10-12Implemented support for C++ ExceptionsFelix Rath
2020-10-09Replace `NULL` with explicit `nullptr`Martin Nowack
2020-10-09Explicitly track global variables in getDirectCallTargetMartin Nowack
2020-09-26Replace llvm::CallSite with llvm::CallBase on LLVM 8+Lukas Zaoral
2020-09-02More robust handling of unknown intrinsicsAlastair Reid
2020-07-29remove holes in Instruction-/FunctionInfoTable, add documentationFrank Busse
2020-06-29Implement fshr/fshl intrinsicsAlastair Reid
2020-06-06[Module] Disable lifting for inline asm resembling memory fences with return ...Martin Nowack
2020-04-30Moved header files that were placed directly in include/klee/ into appropriat...Cristian Cadar
2020-04-30Created include/klee/Core directory and moved appropriate files direc\Cristian Cadar
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2020-03-18Added another `ScalarizerLegacyPass` run to remove vectorized code introduced...Frederic Kehrein
2020-01-18Fix handling of debug information for functionsMartin Nowack
2019-11-15Implement @llvm.is.constant() intrinsic handling and add a test for it.Gleb Popov
2019-11-07Handle llvm.objectsize explicitlyMartin Nowack
2019-10-31LLVM 9.0: fourth parameter for @llvm.objectsize()Julian Büning
2019-10-31support compilation against LLVM 9.0Julian Büning
2019-09-20Add saturated arithmetic intrinsicsMateusz Naściszewski
2019-08-14Update basic block iterator after deleting instruction; add test caseMartin Nowack
2019-08-14fixed bug in IntrinsicCleaner trap cleanerMichael Bryman
2019-06-04make endif guard naming consistentJulian Büning
2019-06-04make include guard naming consistentJulian Büning
2019-05-30implement FunctionAliasPassJulian Büning
2019-05-28Implement handling of the llvm.fabs intrinsicFelix Rath
2019-04-02Add FreeBSD OS triple in RaiseAsmGleb Popov
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-21remove copy of ScalarizerPass for LLVM 3.4Julian Büning
2019-03-21remove obsolete LegacyLLVMPassManagerTyJulian Büning
2019-03-21remove obsolete macro KLEE_LLVM_GEP_TYPEJulian Büning
2019-03-19Add support to assign debug instructions to optimised codeMartin Nowack
2019-03-19Use debugging information from newer LLVM versionsMartin Nowack
2019-03-19separate between instructions and functionsMartin Nowack
2019-03-19Refactor InstructionInfoTableMartin Nowack
2019-03-18Disable optimisation for functions that contain KLEE callsMartin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 13:14:55 +0000