about summary refs log tree commit diff homepage
path: root/lib/Core/ExternalDispatcher.cpp
AgeCommit message (Expand)Author
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 14:47:49 +0000