about summary refs log tree commit diff homepage
path: root/lib/Module
AgeCommit message (Expand)Author
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
2019-03-17run VerifierPass after optimization and instrumentationJulian Büning
2019-03-15Moved the options in Optimize.cpp to the module categoryCristian Cadar
2019-03-15Created a new module-related option category and moved the options in KModule...Cristian Cadar
2019-03-12Removed unneeded and confusing disable-opt option, reformatted Optimize() fun...Cristian Cadar
2019-03-11Add support for LLVM 8.0Martin Nowack
2019-03-05workaround for LLVM PR39177Julian Büning
2018-10-26llvm7: handle new header filesJiri Slaby
2018-10-26llvm7: WriteBitcodeToFile takes Module &Jiri Slaby
2018-10-26llvm6: handle headers renamingJiri Slaby
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 08:21:33 +0000