about summary refs log tree commit diff homepage
path: root/lib/Module/ModuleUtil.cpp
AgeCommit message (Expand)Author
2020-10-12Implemented support for C++ ExceptionsFelix Rath
2020-10-09Replace `NULL` with explicit `nullptr`Martin Nowack
2020-10-09Explicitly track global variables in getDirectCallTargetMartin Nowack
2020-09-26Replace llvm::CallSite with llvm::CallBase on LLVM 8+Lukas Zaoral
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-21remove obsolete LegacyLLVMPassManagerTyJulian Büning
2019-03-17run VerifierPass after optimization and instrumentationJulian Büning
2018-10-26llvm5: handle new file_magic's locationJiri Slaby
2018-10-04remove obsolete dependency of kleeModule on kleeCoreJulian Büning
2018-09-18llvm4: errorOr and similarJiri Slaby
2018-09-18llvm4: handle different header namesJiri Slaby
2018-09-14llvm: make KLEE compile against LLVM 3.9Jiri Slaby
2018-09-10Unify the error message if that function has not been found.Martin Nowack
2018-07-23ModuleUtil: improve and test valueIsOnlyCalledJulian Büning
2018-07-23fix: LLVM 3.5, begin_user() instead of begin_use()Julian Büning
2018-07-12llvm38: archive child iterator changesJiri Slaby
2018-07-12llvm38: adapt to new Linker::linkModulesJiri Slaby
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-05-24llvm: make KLEE compile against LLVM 3.7Richard Trembecký
2017-10-03Silenced some warnings about unused variables when assertions are disabled.Cristian Cadar
2017-07-23Remove support for LLVM < 3.4Martin Nowack
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 00:32:28 +0000