Age | Commit message (Expand) | Author |
2020-12-04 | llvm11: Use getCalledOperand instead of getCalledValue | Lukas Zaoral |
2020-12-04 | llvm11: Make conversions from StringRef to std::string explicit | Lukas Zaoral |
2020-10-12 | Implemented support for C++ Exceptions | Felix Rath |
2020-10-09 | Replace `NULL` with explicit `nullptr` | Martin Nowack |
2020-10-09 | Explicitly track global variables in getDirectCallTarget | Martin Nowack |
2020-09-26 | Replace llvm::CallSite with llvm::CallBase on LLVM 8+ | Lukas Zaoral |
2020-04-30 | Removed the Internal directory from include/klee | Cristian Cadar |
2019-03-21 | drop support for LLVM <= 3.7 | Julian Büning |
2019-03-21 | remove obsolete LegacyLLVMPassManagerTy | Julian Büning |
2019-03-17 | run VerifierPass after optimization and instrumentation | Julian Büning |
2018-10-26 | llvm5: handle new file_magic's location | Jiri Slaby |
2018-10-04 | remove obsolete dependency of kleeModule on kleeCore | Julian Büning |
2018-09-18 | llvm4: errorOr and similar | Jiri Slaby |
2018-09-18 | llvm4: handle different header names | Jiri Slaby |
2018-09-14 | llvm: make KLEE compile against LLVM 3.9 | Jiri Slaby |
2018-09-10 | Unify the error message if that function has not been found. | Martin Nowack |
2018-07-23 | ModuleUtil: improve and test valueIsOnlyCalled | Julian Büning |
2018-07-23 | fix: LLVM 3.5, begin_user() instead of begin_use() | Julian Büning |
2018-07-12 | llvm38: archive child iterator changes | Jiri Slaby |
2018-07-12 | llvm38: adapt to new Linker::linkModules | Jiri Slaby |
2018-07-04 | Reorder linking and optimizations | Martin Nowack |
2018-05-24 | llvm: make KLEE compile against LLVM 3.7 | Richard Trembecký |
2017-10-03 | Silenced some warnings about unused variables when assertions are disabled. | Cristian Cadar |
2017-07-23 | Remove support for LLVM < 3.4 | Martin Nowack |
2017-06-16 | move module loading into external function | Jörg Thalheim |
2017-05-24 | llvm: make KLEE compile against LLVM 3.5 and 3.6 | Richard Trembecký |
2017-02-28 | Module: simplify is_object checks | Jiri Slaby |
2017-02-25 | llvm: stop using global context | Jiri Slaby |
2017-02-21 | Teach `klee::getDirectCallTarget()` to resolve weak aliases. This is | Dan Liew |
2016-02-20 | Fix valueIsOnlyCalled() used by MD2U. | Sean Bartell |
2015-12-17 | Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support... | Martin Nowack |
2015-04-29 | Fix assertion failure in getDirectCallTarget | Sean Bartell |
2014-09-16 | Fix compilation error due to r199218. Maybe we should just remove this | Dan 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-13 | Add KLEE specific DEBUG macros. | Daniel Dunbar |
2014-05-29 | Remove #include <iostream> to avoid static constructors | Martin Nowack |
2014-04-14 | Add missing include file for LLVM 3.4 | Martin Nowack |
2014-02-14 | When running with -debug-only=klee_linker do not report the number | Dan Liew |
2014-02-14 | Refactor cleaning up memory in linkBCA() so that if linking fails | Dan Liew |
2014-02-14 | Refactor variable name s/RemovedSymbols/SymbolsToRemove/ | Dan Liew |
2014-02-14 | Correct and tidy up comments. | Dan Liew |
2014-02-06 | Fix access of iterators after they have been invalidated | Martin Nowack |
2014-02-06 | When using KLEE's built-in Bitcode archive linker do not consider | Dan Liew |
2014-02-06 | Do not consider llvm intrinsics as undefined symbols in KLEE's | Dan Liew |
2014-02-06 | Improved archive (of bitcode modules) linking performance for | Dan Liew |
2014-02-06 | Add support for archive and single bc file linking | Martin Nowack |
2014-01-17 | Fix error message for failing linking of libraries | Martin Nowack |
2013-12-06 | Deprecate LLVM 2.8 and lower | Martin Nowack |