| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-09-20 | refactor PTree: use unique_ptr | Frank Busse | |
| 2019-09-20 | refactor PTree: remove split(), add attach() method | Frank Busse | |
| 2019-03-21 | drop support for LLVM <= 3.7 | Julian Büning | |
| 2019-03-16 | Added support for disabling --batch-instructions and --batch-time by setting ↵ | Cristian Cadar | |
| them to 0 | |||
| 2019-03-12 | time: add double type for span multiplications | Frank Busse | |
| 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-07-04 | Fix compiler warnings if assertions are disabled | Martin Nowack | |
| 2018-05-15 | Implemented incomplete merging | Lukas Wölfer | |
| 2017-11-30 | Implemented bounded merging functionality | Lukas Wölfer | |
| 2017-10-15 | Fixed assert in BFSSearcher that does not hold as part of interleaved searcher | Julian Büning | |
| 2017-10-03 | Silenced some warnings about unused variables when assertions are disabled. | Cristian Cadar | |
| 2017-08-04 | Removed merging searchers | Lukas Wölfer | |
| 2017-07-23 | Remove support for LLVM < 3.4 | Martin Nowack | |
| Request LLVM 3.4 as minimal requirement for KLEE | |||
| 2017-05-24 | Remove redundant KLEE prefix while logging | Jörg Thalheim | |
| 2016-11-19 | Merge branch 'fix_bfs2' of https://github.com/MartinNowack/klee into ↵ | Cristian Cadar | |
| MartinNowack-fix_bfs2 | |||
| 2016-11-09 | Fix BFS searcher | Martin Nowack | |
| For performance reasons, if KLEE branches, one state is reused and it is progressed by adding new constraints. Make sure both new states end up at the end of the BFS searcher queue. | |||
| 2016-11-08 | add nicer error messages for --use-merge and add explanation why it ↵ | Hoang M. Le | |
| currently cannot be used with random-path | |||
| 2016-09-26 | Modified logging information to steer the usage of klee_message, ↵ | Andrea Mattavelli | |
| klee_warning, and klee_error | |||
| 2016-07-08 | Use vector instead of set to add/remove states | Martin Nowack | |
| Deterministic adding/removing of states. | |||
| 2016-07-08 | IterativeDeepeningTimeSearcher: Fix using wrong iterator | Martin Nowack | |
| 2015-12-17 | Refactoring: Moving klee_warning/_error functions to ErrorHandling in ↵ | Martin Nowack | |
| Support directory | |||
| 2014-09-14 | [LLVM3.5] Update for move of CFG.h into IR. | Daniel Dunbar | |
| - Mostly fixed by removing unnecessary references. | |||
| 2014-09-14 | [LLVM3.5] Update for CallSite.h move into IR/. | Daniel Dunbar | |
| 2014-05-29 | Refactoring from std::ostream to llvm::raw_ostream | Martin Nowack | |
| According to LLVM: lightweight and simpler implementation of streams. | |||
| 2014-04-24 | Removed ununsed Executor field in WeightedRandomSearcher to silence | Dan Liew | |
| clang warning. | |||
| 2013-08-27 | Port to LLVM 3.3 | Martin Nowack | |
| Major changes are: - Switching to llvm-link to build archive files - Use GetMallocUsage instead of GetTotalMemoryUsage (be aware of bug in LLVM 3.3 http://llvm.org/bugs/show_bug.cgi?id=16847) - intrinsic library functions like memcpy/mov/set use weak linkage to be replaced by e.g. uclibc functions - rewrote linking with library - enhanced MemoryLimit test case to check if mallocs were successful | |||
| 2013-07-23 | BFS searcher. | Lei Zhang | |
| 2010-07-15 | Reduce variable shadowing. | Daniel Dunbar | |
| git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@108405 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-09-01 | Update for LLVM ostream changes. | Daniel Dunbar | |
| - Includes patch by Michael Stone! git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@80665 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-05-21 | Initial KLEE checkin. | Daniel Dunbar | |
| - Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |