| Age | Commit message (Expand) | Author |
|---|
| 2018-12-19 | Renamed --stop-after-n-instructions to --max-instructions, as suggested by @251 | Cristian Cadar |
| 2018-12-19 | Added some descriptions suggested by @MartinNowack and placed --max-static-..... | Cristian Cadar |
| 2018-12-19 | Added option categories for external call policy and termination criteria | Cristian Cadar |
| 2018-12-19 | Created two more option categories: test generation and seeding. | Cristian Cadar |
| 2018-11-23 | Implemented memalign with alignment | Lukas Wölfer |
| 2018-11-07 | Fix bug which resulted in an incorrect warning to be printed. | Cristian Cadar |
| 2018-11-05 | Fixed crash on zero size arrays | Lukas Wölfer |
| 2018-11-05 | Check for stack overflow in a tested program | Martin Nowack |
| 2018-11-02 | Replaced --no-externals and --allow-external-sym-calls with --external-calls,... | Cristian Cadar |
| 2018-11-02 | Introduced a constraint solving option category to which all the options in C... | Cristian Cadar |
| 2018-10-30 | Base time API upon std::chrono | Frank Busse |
| 2018-10-26 | llvm7: handle new header files | Jiri Slaby |
| 2018-10-26 | llvm7: adapt to new openFileForWrite | Jiri Slaby |
| 2018-10-26 | llvm7: WriteBitcodeToFile takes Module & | Jiri Slaby |
| 2018-10-26 | llvm6: handle headers renaming | Jiri Slaby |
| 2018-10-26 | llvm6: SetVersionPrinter now passes down a stream | Jiri Slaby |
| 2018-10-26 | llvm5: APInt->getSignBit -> getSignMask | Jiri Slaby |
| 2018-10-26 | llvm5: CallSite.paramHasAttr is indexed from 0 | Jiri Slaby |
| 2018-10-26 | llvm5: Intrinsic::objectsize has three arguments | Jiri Slaby |
| 2018-10-26 | llvm5: use MutableArrayRef for APFloat::convertToInteger | Jiri Slaby |
| 2018-10-26 | llvm5: handle new file_magic's location | Jiri Slaby |
| 2018-10-26 | llvm5: SwitchInst case functions now return pointers | Jiri Slaby |
| 2018-10-26 | llvm5: handle getOrInsertFunction terminator | Jiri Slaby |
| 2018-10-26 | llvm5: integerPartWidth is from llvm::APFloatBase | Jiri Slaby |
| 2018-10-24 | ShiftChecker: Instrument shift instructions only once | Martin Nowack |
| 2018-10-24 | ShiftChecker: Avoid unneeded checks | Martin Nowack |
| 2018-10-24 | ShiftCheck: Use llvm::Builder instead of Inst::Create* | Martin Nowack |
| 2018-10-24 | DivCheck do not instrument multiple times | Martin Nowack |
| 2018-10-24 | DivCheck Skip unneeded checks | Martin Nowack |
| 2018-10-24 | Use llvm::Builder for DivCheck instrumentation | Martin Nowack |
| 2018-10-24 | Introduce KLEEIRMetaData to manipulate LLVM-IR metadata | Martin Nowack |
| 2018-10-24 | Added lowering pass | Rafael Zaehl |
| 2018-10-23 | refactor klee_open_output_file to return std::unique_ptr | Julian Büning |
| 2018-10-23 | use klee_open_output_file for uncompressed logs | Julian Büning |
| 2018-10-23 | Updated an include to reflect a recent filename change | Cristian Cadar |
| 2018-10-23 | Move unrelated function from ReadExpr class | Martin Nowack |
| 2018-10-23 | Avoid unsafe static downcasts | Martin Nowack |
| 2018-10-23 | Modernize code | Martin Nowack |
| 2018-10-23 | Move optimization specific headers away from the project include directory | Martin Nowack |
| 2018-10-23 | Clean-up headers | Martin Nowack |
| 2018-10-23 | Remove condition check before function invocation | Martin Nowack |
| 2018-10-23 | Move ConstantExpr check inside optimizeExpr function | Martin Nowack |
| 2018-10-23 | optimizeExpr: return the result as return value instead as function argument | Martin Nowack |
| 2018-10-23 | Make valueOnly parameter of optimizeExpr explicit | Martin Nowack |
| 2018-10-23 | Fixed compilation of array optimization patch with LLVM >= 4.0 | Cristian Cadar |
| 2018-10-23 | Added missing headers and clang-format the files | Cristian Cadar |
| 2018-10-23 | Added support for KLEE value-based array optimization | Andrea Mattavelli |
| 2018-10-23 | Added support for KLEE index-based array optimization | Andrea Mattavelli |
| 2018-10-16 | Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ... | Cristian Cadar |
| 2018-10-10 | fix handling of failing external calls | Frank Busse |
