about summary refs log tree commit diff homepage
path: root/lib/Module
AgeCommit message (Expand)Author
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
2018-10-26llvm5: Intrinsic::objectsize has three argumentsJiri Slaby
2018-10-26llvm5: handle new file_magic's locationJiri Slaby
2018-10-26llvm5: handle getOrInsertFunction terminatorJiri Slaby
2018-10-24ShiftChecker: Instrument shift instructions only onceMartin Nowack
2018-10-24ShiftChecker: Avoid unneeded checksMartin Nowack
2018-10-24ShiftCheck: Use llvm::Builder instead of Inst::Create*Martin Nowack
2018-10-24DivCheck do not instrument multiple timesMartin Nowack
2018-10-24DivCheck Skip unneeded checksMartin Nowack
2018-10-24Use llvm::Builder for DivCheck instrumentationMartin Nowack
2018-10-24Introduce KLEEIRMetaData to manipulate LLVM-IR metadataMartin Nowack
2018-10-24Added lowering passRafael Zaehl
2018-10-04kleeModule: always link irreader (required since llvm 3.3)Julian Büning
2018-10-04remove obsolete dependency of kleeModule on kleeCoreJulian Büning
2018-09-18llvm4: errorOr and similarJiri Slaby
2018-09-18llvm4: handle different header namesJiri Slaby
2018-09-14llvm: make KLEE compile against LLVM 3.9Jiri Slaby
2018-09-10Unify the error message if that function has not been found.Martin Nowack
2018-09-10Fix generation of global constructors and destructorsMartin Nowack
2018-08-03Replace remaining *Inst::Create() calls with llvm::BuilderMartin Nowack
2018-07-28remove last comma from -debug-print-escaping-functionsJulian Büning
2018-07-28add declarations to escapingFunctionsJulian Büning
2018-07-23ModuleUtil: improve and test valueIsOnlyCalledJulian Büning
2018-07-23fix: LLVM 3.5, begin_user() instead of begin_use()Julian Büning
2018-07-12llvm38: no more implicit iteratorsRichard Trembecký
2018-07-12llvm38: archive child iterator changesJiri Slaby
2018-07-12llvm38: adapt to new Linker::linkModulesJiri Slaby
2018-07-12llvm38: handle optimization passes changesJiri Slaby
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-05-24llvm: make KLEE compile against LLVM 3.7Richard Trembecký
2018-05-24llvm37: handle GetElementPtrInst::Create's new parameterJiri Slaby
2018-05-22clang-format on lib/Module/{IntrinsicCleaner.cpp,Passes.h}Julian Büning
2018-05-22some housekeeping in Passes.h and IntrinsicCleaner.cppJulian Büning
2018-05-22Simplified printFileLine by using std::to_string, and removed unneeded versio...Cristian Cadar
2018-05-09Remove the option for truncating lines in assembly.llMartin Nowack
2018-05-09Remove workaround for bug in older LLVM version (< 3)Martin Nowack
2018-05-09Fix include filesMartin Nowack
2018-02-01llvm50: use auto variable instead of SwitchInst::CaseItJiri Slaby
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-10-03Silenced some warnings about unused variables when assertions are disabled.Cristian Cadar
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-08-09Fixed a compiler warning (unused variable)Cristian Cadar
2017-08-04Removed merging searchersLukas Wölfer
2017-07-29Added another variant of printFileLine in KInstruction that returns the locat...Cristian Cadar
2017-07-25Merge pull request #725 from ccadar/foldCristian Cadar
2017-07-25Added the const qualifier to the keys in the constantMapCristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-27 05:57:54 +0000