about summary refs log tree commit diff homepage
path: root/lib/Module/ModuleUtil.cpp
AgeCommit message (Expand)Author
2017-06-16move module loading into external functionJörg Thalheim
2017-05-24llvm: make KLEE compile against LLVM 3.5 and 3.6Richard Trembecký
2017-02-28Module: simplify is_object checksJiri Slaby
2017-02-25llvm: stop using global contextJiri Slaby
2017-02-21Teach `klee::getDirectCallTarget()` to resolve weak aliases. This isDan Liew
2016-02-20Fix valueIsOnlyCalled() used by MD2U.Sean Bartell
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin Nowack
2015-04-29Fix assertion failure in getDirectCallTargetSean Bartell
2014-09-16Fix compilation error due to r199218. Maybe we should just remove thisDan Liew
2014-09-14[LLVM3.5] Update for more random headers moving around.Daniel Dunbar
2014-09-14[LLVM3.5] Update for move of CFG.h into IR.Daniel Dunbar
2014-09-14[LLVM3.5] Update for CallSite.h move into IR/.Daniel Dunbar
2014-09-13Add KLEE specific DEBUG macros.Daniel Dunbar
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-04-14Add missing include file for LLVM 3.4Martin Nowack
2014-02-14When running with -debug-only=klee_linker do not report the numberDan Liew
2014-02-14Refactor cleaning up memory in linkBCA() so that if linking failsDan Liew
2014-02-14Refactor variable name s/RemovedSymbols/SymbolsToRemove/Dan Liew
2014-02-14Correct and tidy up comments.Dan Liew
2014-02-06Fix access of iterators after they have been invalidatedMartin Nowack
2014-02-06When using KLEE's built-in Bitcode archive linker do not considerDan Liew
2014-02-06Do not consider llvm intrinsics as undefined symbols in KLEE'sDan Liew
2014-02-06Improved archive (of bitcode modules) linking performance forDan Liew
2014-02-06Add support for archive and single bc file linkingMartin Nowack
2014-01-17Fix error message for failing linking of librariesMartin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-09-24Add missing header file and linker parameterDominic Chen
2013-09-24Replace implementation of linkWithLibrary()Dominic Chen
2013-08-27Port to LLVM 3.3Martin Nowack
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-09-30Spell versioning macros correctly.Daniel Dunbar
2010-09-30Update for spurious LLVM API changes.Daniel Dunbar
2010-08-05Have getDirectCallTarget use CallSitePeter Collingbourne
2010-04-05Make sure to include config.h, for llvm version check.Daniel Dunbar
2010-04-05Update for LLVM API change.Daniel Dunbar
2009-09-01Update for LLVM ostream changes.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-28 23:05:09 +0000