about summary refs log tree commit diff homepage
path: root/lib/Core/ExternalDispatcher.cpp
AgeCommit message (Expand)Author
2024-02-08Add support for opaque pointersMartin Nowack
2023-04-06Support disabling compiler warnings; Use with external headersMartin Nowack
2023-03-23stats: add ExternalCallsFrank Busse
2023-03-20llvm14: PointerType::getElementType() was deprecatedLukáš Zaoral
2022-07-04Inline asm external callMikhail
2022-06-30rename CallSite to CallBaseFrank Busse
2022-06-30remove LLVM < 9Frank Busse
2022-03-09Core/Executor: Fix unaligned write of fp80 argumentsLukáš Zaoral
2021-12-20llvm13: CreateGEP no longer accepts nullptrLukas Zaoral
2021-12-20llvm13: CreateLoad API with implicit types has been deprecatedLukas Zaoral
2020-12-04llvm11: Make conversions from StringRef to std::string explicitLukas Zaoral
2020-09-26Replace llvm::CallSite with llvm::CallBase on LLVM 8+Lukas Zaoral
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-21remove obsolete macro KLEE_LLVM_GEP_TYPEJulian Büning
2018-10-10fix handling of failing external callsFrank Busse
2018-08-03Replace remaining *Inst::Create() calls with llvm::BuilderMartin Nowack
2018-07-23ExternalDispatcher: setErrorStr for EngineBuilderJulian Büning
2018-05-24llvm37: handle GetElementPtrInst::Create's new parameterJiri Slaby
2018-05-05Fix handling of errno if external functions are invokedMartin Nowack
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-05-24Rearchitect ExternalDispatcherDan Liew
2017-05-24llvm: make KLEE compile against LLVM 3.5 and 3.6Richard Trembecký
2017-02-28Core: MCJIT functions need unique namesJiri Slaby
2017-02-25llvm: stop using global contextJiri Slaby
2015-04-25Give KLEE release version information in the output of klee and kleaverDan Liew
2014-09-14[LLVM3.5] Update for CallSite.h move into IR/.Daniel Dunbar
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2011-09-02Update location of TargetSelect.h and TargetRegistry.h for LLVM 3.0+Peter Collingbourne
2011-07-20Updates for LLVM 3.0. Based on changes by arrowdodger, thanks!Peter Collingbourne
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2011-04-23Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...Cristian Cadar
2010-04-05Add long double support, patch by David Ramos.Daniel Dunbar
2010-03-14Update for 2.7.Daniel Dunbar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-08-17Update for LLVM API change.Daniel Dunbar
2009-08-01When generating external function stubs, access the arguments in terms of theDaniel Dunbar
2009-07-25(llvm up) Update for API changes.Daniel Dunbar
2009-07-15[llvm up] Update for LLVM TOT changes.Daniel Dunbar
2009-07-12Update for LLVM API changes.Daniel Dunbar
2009-06-22Update for changes in how JIT is linked in.Daniel Dunbar
2009-06-05Remove some unnecessary uses of C++ exceptions.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 06:05:45 +0000