about summary refs log tree commit diff homepage
path: root/lib/Module/KModule.cpp
AgeCommit message (Expand)Author
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-21remove obsolete LegacyLLVMPassManagerTyJulian Büning
2019-03-19Use debugging information from newer LLVM versionsMartin 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-15Created a new module-related option category and moved the options in KModule...Cristian Cadar
2019-03-11Add support for LLVM 8.0Martin Nowack
2018-10-26llvm7: handle new header filesJiri Slaby
2018-10-26llvm7: WriteBitcodeToFile takes Module &Jiri Slaby
2018-10-24Added lowering passRafael Zaehl
2018-09-18llvm4: handle different header namesJiri 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-04Reorder linking and optimizationsMartin Nowack
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
2017-08-09Fixed a compiler warning (unused variable)Cristian Cadar
2017-08-04Removed merging searchersLukas Wölfer
2017-07-25Added the const qualifier to the keys in the constantMapCristian Cadar
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-07-20Merge pull request #657 from delcypher/vectorized_instructionsCristian Cadar
2017-07-20Replace assertions of types on LLVM instructions in the Executor with aDan Liew
2017-07-19Implement basic support for vectorized instructions.Dan Liew
2017-07-18Merge pull request #672 from jirislaby/llvm40_static_castsAndrea Mattavelli
2017-06-16llvm37: introduce type for PassManagerJiri Slaby
2017-06-15llvm: get rid of static_casts from iteratorsJiri Slaby
2017-06-12llvm: don't use clEnumValEnd for LLVM 4.0Jiri Slaby
2017-05-24llvm: make KLEE compile against LLVM 3.5 and 3.6Richard Trembecký
2017-02-28convert iterators using static_castJiri Slaby
2017-02-25llvm: stop using global contextJiri Slaby
2016-09-16Avoid internalization of non-standard entry point (i.e. not the main function...Andrea Mattavelli
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin Nowack
2014-09-15Removed inlineChecks() function which was just dead code.Dan Liew
2014-09-14[LLVM3.5] Update for more random headers moving around.Daniel Dunbar
2014-09-14[LLVM3.5] Update for CallSite.h move into IR/.Daniel Dunbar
2014-09-14[LLVM3.5] Don't try to use DEBUG macro without DEBUG_TYPE.Daniel Dunbar
2014-09-13Add KLEE specific DEBUG macros.Daniel Dunbar
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2014-04-14Tidy up code by using LLVM's V2 path API only and removing usesDan Liew
2014-04-14Use SmallString and llvm::sys::path/fs API of LLVM 3.4 becauseMartin Nowack
2014-01-17Make KLEE fail in case main function is missingMartin Nowack
2013-12-19Optimize inlineChecks functionMartin Nowack
2013-12-19Allow to specify KLEE-internal functionsMartin Nowack
2013-12-06Remove stoppoint referencesMartin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 07:13:41 +0000