| Age | Commit message (Expand) | Author |
|---|
| 2016-11-03 | Adds support for Darwin platform in RaiseAsm pass | Andrea Mattavelli |
| 2016-10-18 | Fix `-Wmisleading-indentation` warning and also correctly set the | Dan Liew |
| 2016-09-20 | Merge pull request #443 from MartinNowack/feat_assembler_raising | Cristian Cadar |
| 2016-09-16 | Avoid internalization of non-standard entry point (i.e. not the main function... | Andrea Mattavelli |
| 2016-08-10 | Extended support for assembler raising | Martin Nowack |
| 2016-03-16 | push_back usage for values vector | vpushkar |
| 2016-03-16 | Wrong std::vector 'values' usage after vector's capacity reserve. It is the e... | vpushkar |
| 2016-02-20 | Fix valueIsOnlyCalled() used by MD2U. | Sean Bartell |
| 2015-12-19 | Implement support for lowering the ``llvm.objectsize`` intrinsic | Dan Liew |
| 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 |
| 2015-03-20 | [Core] Fix memory leak in assembler raising | Martin Nowack |
| 2015-02-13 | refactor integer overflow detection, add signed int | Luca Dariz |
| 2015-02-13 | Fix overflow detection in unsigned multiplication | Luca Dariz |
| 2015-02-13 | Detect overflow of unsigned add, sub and mul operations | Luca Dariz |
| 2015-02-13 | Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub" | Cristian Cadar |
| 2015-02-10 | Merged @luckyluke's change for detecting overflow of unsigned add, sub | Cristian Cadar |
| 2014-09-16 | Fix compilation error due to r199218. Maybe we should just remove this | Dan Liew |
| 2014-09-15 | Removed inlineChecks() function which was just dead code. | Dan Liew |
| 2014-09-14 | Fix LLVM3.5 compilation. This is due to r202168 | Dan Liew |
| 2014-09-14 | [LLVM3.5] Drop use of PassNameParser, which we don't even use anymore. | Daniel Dunbar |
| 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-14 | [LLVM3.5] Don't try to use DEBUG macro without DEBUG_TYPE. | Daniel Dunbar |
| 2014-09-14 | [Module] Try harder to associate each instruction with source level debug info. | Daniel Dunbar |
| 2014-09-13 | Add KLEE specific DEBUG macros. | Daniel Dunbar |
| 2014-09-12 | [Module] Fix handling of instructions without debug info. | Daniel Dunbar |
| 2014-05-29 | Remove #include <iostream> to avoid static constructors | Martin Nowack |
| 2014-05-29 | Refactoring from std::ostream to llvm::raw_ostream | Martin Nowack |
| 2014-04-14 | Do not add SimplifyLibCallsPass for LLVM 3.4 and newer because | Dan Liew |
| 2014-04-14 | Tidy up code by using LLVM's V2 path API only and removing uses | Dan Liew |
| 2014-04-14 | Add missing include file for LLVM 3.4 | Martin Nowack |
| 2014-04-14 | Use SmallString and llvm::sys::path/fs API of LLVM 3.4 because | 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 |
| 2014-01-17 | Make KLEE fail in case main function is missing | Martin Nowack |
| 2014-01-12 | Merge pull request #68 from MartinNowack/feature_kleeInternalFunctions | Dan Liew |
| 2013-12-21 | Do not install KLEE's internal libraries. | Dan Liew |
| 2013-12-19 | Only record debug info into InstructionInfoTable if debug information | Dan Liew |
| 2013-12-19 | Remove old algorithm for acquiring debug info. Since LLVM 2.7, | Dan Liew |
| 2013-12-19 | Optimize inlineChecks function | Martin Nowack |
