about summary refs log tree commit diff homepage
path: root/lib/Module/KModule.cpp
AgeCommit message (Expand)Author
2023-04-06Support disabling compiler warnings; Use with external headersMartin Nowack
2022-07-04Inline asm external callMikhail
2022-06-30rename CallSite to CallBaseFrank Busse
2022-06-30remove LLVM < 9Frank Busse
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
2020-12-04llvm11: Use getCalledOperand instead of getCalledValueLukas Zaoral
2020-09-26Replace llvm::CallSite with llvm::CallBase on LLVM 8+Lukas Zaoral
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
2019-10-31support compilation against LLVM 9.0Julian Büning
2019-05-30implement FunctionAliasPassJulian Büning
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 20:46:00 +0000