| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-05-30 | remove klee_alias_function() | Julian Büning | |
| this function can be used to modify the control flow of the program on different paths, enabling self-modifying code. | |||
| 2019-04-02 | Do not take sys/capability.h header into account on FreeBSD. Also use ↵ | Gleb Popov | |
| libutil.h header there. | |||
| 2019-03-21 | drop support for LLVM <= 3.7 | Julian Büning | |
| 2019-03-21 | remove obsolete LegacyLLVMPassManagerTy | Julian Büning | |
| 2019-03-21 | remove obsolete macro KLEE_LLVM_GEP_TYPE | Julian Büning | |
| 2019-03-19 | Refactor InstructionInfoTable | Martin Nowack | |
| Better debug information | |||
| 2019-03-17 | Added libcxx flag | Lukas Wölfer | |
| 2019-03-17 | Renamed --use-cache to --use-branch-cache | Cristian Cadar | |
| 2019-03-17 | run VerifierPass after optimization and instrumentation | Julian Büning | |
| 2019-03-15 | Categorized the options in SpecialFunctionHandler.cpp | Cristian Cadar | |
| 2019-03-15 | Placed --exit-on-error, --max-tests and --watchdog in the termination category | Cristian Cadar | |
| 2019-03-15 | Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and ↵ | Cristian Cadar | |
| placed them in the seeding category. Moved options and option categories in Executor.cpp to the klee namespace. | |||
| 2019-03-15 | Created a new module-related option category and moved the options in ↵ | Cristian Cadar | |
| KModule.cpp in there | |||
| 2019-03-13 | Added function to hide all options in a given category. Removed uneeded ↵ | Cristian Cadar | |
| (and incorrectly-implemented) function for hiding all options unrelated to a set of categories. | |||
| 2019-03-13 | Documented options in ExprPPrinter.cpp and placed them into a new option ↵ | Cristian Cadar | |
| category for building and printing expressions | |||
| 2019-03-13 | Added missing description for some options in CmdLineOptions.cpp (and some ↵ | Cristian Cadar | |
| reformatting). | |||
| 2019-03-13 | Added --debug-log-state-merge to path merging category | Cristian Cadar | |
| 2019-03-12 | time: add double type for span multiplications | Frank Busse | |
| 2019-03-11 | Fixed wrong header include check and fully qualify llvm::cl::OptionCategory ↵ | Cristian Cadar | |
| in OptionCategories.h | |||
| 2019-03-05 | workaround for LLVM PR39177 | Julian Büning | |
| provides a workaround for LLVM bug PR39177, which affects LLVM versions 3.9 - 7.0.0: https://bugs.llvm.org/show_bug.cgi?id=39177 This commit is intended to be reverted once support for LLVM versions <= 7 is dropped from KLEE. | |||
| 2018-11-02 | Introduced a constraint solving option category to which all the options in ↵ | Cristian Cadar | |
| CmdLineOptions.cpp are currently added. | |||
| 2018-10-30 | Base time API upon std::chrono | Frank Busse | |
| This should not change the behaviour of KLEE and mimics the old API. - functions moved from util into time namespace - uses time points and time spans instead of double - CLI arguments now have the form "3h5min8us" Changed command line parameters: - batch-time (double to string) - istats-write-interval (double to string) - max-instruction-time (double to string) - max-solver-time (double to string) - max-time (double to string) - min-query-time-to-log (double to string) - seed-time (double to string) - stats-write-interval (double to string) - uncovered-update-interval (double to string) - added: log-timed-out-queries (replaces negative max-solver-time) | |||
| 2018-10-26 | llvm6: SetVersionPrinter now passes down a stream | Jiri Slaby | |
| I.e. klee::printVersion should now have a parameter -- the output stream. Change both the prototype and the implementation to handle this properly. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-10-26 | llvm5: handle getOrInsertFunction terminator | Jiri Slaby | |
| llvm 5 does not terminate getOrInsertFunction parameters with NULL, take care of that. Since commit 9d54400bba7eb04bca80fce97fa170452d19eaf1. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-10-23 | refactor klee_open_output_file to return std::unique_ptr | Julian Büning | |
| and introduce klee_open_compressed_output_file with similar behavior along some other minor improvements | |||
| 2018-10-23 | Move unrelated function from ReadExpr class | Martin Nowack | |
| 2018-10-23 | Move optimization specific headers away from the project include directory | Martin Nowack | |
| Don't pollute the project include directory with optimization specific headers. | |||
| 2018-10-23 | Clean-up headers | Martin Nowack | |
| Remove unneeded headers from include files | |||
| 2018-10-23 | Use std::unordered collections as we use C++11 | Martin Nowack | |
| 2018-10-23 | Remove unneeded externs | Martin Nowack | |
| 2018-10-23 | optimizeExpr: return the result as return value instead as function argument | Martin Nowack | |
| simplifies code a lot. | |||
| 2018-10-23 | Make valueOnly parameter of optimizeExpr explicit | Martin Nowack | |
| avoid ambiguity of valueOnly parameter | |||
| 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 | Small changes to comments | Cristian Cadar | |
| 2018-10-16 | Added missing header to SolverCmdLine.h and clang-format it | Cristian Cadar | |
| 2018-10-16 | Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ↵ | Cristian Cadar | |
| to have only solver options. | |||
| 2018-10-08 | add support for klee-replay on OSX | Frank Busse | |
| * also adds klee-replay as dependency for systemtests | |||
| 2018-10-04 | config.h.cmin: remove obsolete cmakedefine | Julian Büning | |
| 2018-09-18 | llvm4: PointerType is not SequentialType | Jiri Slaby | |
| So handle the type specially whenever needed. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-09-18 | llvm4: use chrono helpers from LLVM | Jiri Slaby | |
| LLVM 4 removes the old time interface and starts using the C++11's chrono. So switch to that in klee for LLVM 4 too. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-09-06 | Fix missing includes and declarations | Martin Nowack | |
| 2018-07-04 | Fix uninitialized memory: enums have to be initialized | Martin Nowack | |
| 2018-07-04 | Reorder linking and optimizations | Martin Nowack | |
| Link intrinsic library before executing optimizations. This makes sure that any optimization run by KLEE on the module is executed for the intrinsic library as well. Support .ll files as input for KLEE as well. | |||
| 2018-06-29 | Explicitly initialize value to squelch a potentially uninitialized value warning | Daniel Schemmel | |
| 2018-06-14 | Add unittest for DiscretePDF | Martin Nowack | |
| 2018-06-13 | klee_int: allow NULL as name | Frank Busse | |
| 2018-06-11 | Fixed memory leak from Executor::inCloseMerge, fixes #883 | Lukas Wölfer | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |