| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-12-12 | [Searchers] Remove weight from es, add nurs_depth | Timotej Kapus | |
| Having both weight and depth in execution state is wasteful, therefore this patch removes weight. The nurs:depth searcher is replaced by nurs:rp, which uses pow to compute the weight A new nurs:depth searcher is introduced that biases the search with depth, making it the only other searcher that prefers to go deep (similar to dfs). | |||
| 2019-11-28 | Move merging related code from Executor into MergingSearcher | Lukas Wölfer | |
| Co-authored-by: Felix Rath <felix.rath@comsys.rwth-aachen.de> | |||
| 2019-11-07 | [expr-visitor] Remove unnecessary allocation | Timotej Kapus | |
| 2019-10-29 | ExecutorTimers: refactor and move to support lib | Frank Busse | |
| - moves timer handling from Executor into support lib - introduces TimerGroup, removes TimerInfo/WriteStatsTimer/UpdateReachableTimer/WriteIStatsTimer classes - removes ExecutorTimers.cpp and ExecutorTimerInfo.h - removes -max-instruction-time flag (see #1114) | |||
| 2019-09-03 | Moved solver-related header files into a separate klee/Solver/ directory. | Cristian Cadar | |
| 2019-07-30 | Use #include "klee/..." (instead of #include <klee/...>) consistently. | Cristian Cadar | |
| 2019-07-30 | Consolidated Expr-related include files into a single include/klee/Expr ↵ | Cristian Cadar | |
| directory. This improves the organization of the code, and also makes it easier to reuse Expr outside KLEE. | |||
| 2019-07-23 | Refactor ConstraintManager to more modern coding standards | Daniel Schemmel | |
| Eliminates -Wdeprecated-copy warnings Performed clang-format on touched file | |||
| 2019-06-04 | fix some incorrect first lines | Julian Büning | |
| 2019-06-04 | make endif guard naming consistent | Julian Büning | |
| 2019-06-04 | DiscretePdf.h: add include guards | Julian Büning | |
| 2019-06-04 | make include guard naming consistent | Julian Büning | |
| 2019-06-04 | Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ↵ | Cristian Cadar | |
| consistent naming convention | |||
| 2019-06-04 | Remove parenthesis around returns, as reported and discussed in #891 | Cristian Cadar | |
| 2019-05-30 | ExecutionState: remove fnAliases | Julian Büning | |
| 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 | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |