| Age | Commit message (Expand) | Author |
|---|
| 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-04-04 | Add the ability to control whether the pretty printer uses line breaks | Peter Collingbourne |
| 2014-04-02 | Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical... | Peter Collingbourne |
| 2014-03-09 | Use clang-format to reformat SMT-LIB printer in LLVM style. | Peter Collingbourne |
| 2014-02-24 | Improved help message for make-concrete-symbolic and fixed some typos. | Cristian Cadar |
| 2014-02-14 | Explicitly get the width of the "shift" expression rather than assuming | Dan Liew |
| 2014-02-14 | Remove STPBuilder::getShiftBits() which is no longer used. | Dan Liew |
| 2014-02-14 | Fixed overshift of arithmetic right shift by constant so that it | Dan Liew |
| 2014-02-14 | Fixed overshift of arithmetic right shift by symbolic so that it overshifts | Dan Liew |
| 2014-02-14 | Fixed overshift of logical right shift by constant so that it | Dan Liew |
| 2014-02-14 | Fixed overshift of logical right shift by symbolic so that it overshifts | Dan Liew |
| 2014-02-14 | Fixed overshifting an expression by a constant so that we overshift to | Dan Liew |
| 2014-02-14 | Added a test case for testing overshift behaviour of Shl and fixed | Dan Liew |
| 2014-02-14 | Translate shl overshifts into 0 | Paul Marinescu |
| 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 | Implement const_iterator interface for SpecialFunctionHandler so | 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 | Added a few comments to Executor::getLastNonKleeInternalInstruction() | Dan Liew |
| 2013-12-19 | When writing stack traces for bugs write the location in the assembly.ll | Dan Liew |
| 2013-12-19 | If error location information is missing be explicit about it. This | 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 |
| 2013-12-19 | Replicate debug information from checked instructions to checker call. | Martin Nowack |
| 2013-12-19 | Allow to specify KLEE-internal functions | Martin Nowack |
| 2013-12-19 | Simplify acquisition of debug informtion for instruction info with newer LLVM... | Martin Nowack |
| 2013-12-06 | Remove stoppoint references | Martin Nowack |
| 2013-12-06 | Deprecate LLVM 2.8 and lower | Martin Nowack |
| 2013-12-05 | Fix unitialized value | Martin Nowack |
| 2013-12-05 | Free used constants if not used anymore | Martin Nowack |
| 2013-12-05 | Fix timer leak | Martin Nowack |
| 2013-11-13 | Fix using assembler addresses for global variables | Martin Nowack |
| 2013-10-29 | Merge pull request #26 from delcypher/fix_divide_by_zero | Paul |
| 2013-10-15 | command-line option --use-metasmt declared and defined inside #ifdef SUPPORT_... | Hristina Palikareva |
| 2013-10-11 | getConstraintLog() of MetaSMTSolver explicitly states that this feature is no... | Hristina Palikareva |
| 2013-10-11 | Bug fix in MetaSMTBuilder | Hristina Palikareva |
| 2013-10-11 | MetaSMT builder, solver and command-line options. | Hristina Palikareva |
| 2013-10-11 | Merge pull request #40 from antiAgainst/intrinsic-trap | Cristian Cadar |
