| Age | Commit message (Expand) | Author |
|---|
| 2013-08-06 | TimingSolver and constructSolverChain() no longer coupled with pointers to ST... | Hristina Palikareva |
| 2013-08-06 | Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo... | Hristina Palikareva |
| 2013-08-06 | Renaming solver-related command-line options in order to decouple them from S... | Hristina Palikareva |
| 2013-03-11 | Patch by Dan Liew which unifies the solver construction between KLEE | Cristian Cadar |
| 2013-03-06 | Patch by Tomek Kuchta which adds the --max-stp-time option to Kleaver. | Cristian Cadar |
| 2013-01-29 | Patch by Tomasz Kuchta that fixes the fragile way in which KLEE and Kleaver o... | Cristian Cadar |
| 2013-01-22 | Patch by Hristina Palikareva which enables Kleaver to configure the | Cristian Cadar |
| 2013-01-02 | Refactoring patch by Tomasz Kuchta that moves options shared by KLEE and Klea... | Cristian Cadar |
| 2013-01-02 | Patch by Tomasz Kuchta adding more detailed information on query failures. | Cristian Cadar |
| 2013-01-02 | Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl... | Cristian Cadar |
| 2012-11-27 | Patch by Seungbeom Kim: "Interrupting KLEE's execution while a | Cristian Cadar |
| 2012-10-24 | Patch by Jonathan Neuschäfer: "update symbol list for | Cristian Cadar |
| 2012-10-24 | Code refactorings by Jonathan Neuschäfer: "move increment into for-loop | Cristian Cadar |
| 2012-10-24 | Patch by Dan Liew: "Added support for generating .smt2 files when | Cristian Cadar |
| 2012-10-24 | Patch by Dan Liew: "Added -print-smtlib option to kleaver tool that | Cristian Cadar |
| 2012-10-09 | Patch by Tomasz Kuchta that adds several useful options (--print-abs-times, -... | Cristian Cadar |
| 2012-09-11 | Changed the default to --max-memory and documented randomize-fork. | Cristian Cadar |
| 2012-07-31 | Patch by Dan Liew that removes our internal copy of STP, and makes the --with... | Cristian Cadar |
| 2012-06-21 | Patch by Paul Marinescu improving klee-stats: "klee-stats now reports avg and... | Cristian Cadar |
| 2012-06-20 | Fixed a minor issue related to an error path in --posix-runtime mode. | Cristian Cadar |
| 2012-06-19 | Patch by Seungbeom Kim for compatibility with old LLVM 2.6. | Cristian Cadar |
| 2012-04-05 | Removed unnecessary --init-env option. | Cristian Cadar |
| 2012-01-25 | Patch from Ben Gras which "makes Klee look for the libraries in the | Cristian Cadar |
| 2011-12-16 | Fixed help message in klee-stats. | Cristian Cadar |
| 2011-12-11 | Patch by Ben Gras for MINIX: no stat64 under MINIX. | Cristian Cadar |
| 2011-12-11 | Patch by Ben Gras fixing a few minor issues: adds missing includes, | Cristian Cadar |
| 2011-09-02 | Update location of TargetSelect.h and TargetRegistry.h for LLVM 3.0+ | Peter Collingbourne |
| 2011-07-20 | Updates for LLVM 3.0. Based on changes by arrowdodger, thanks! | Peter Collingbourne |
| 2011-07-20 | Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of | Peter Collingbourne |
| 2011-06-09 | Patch from arrowdodger for fixing FreeBSD build.. | Cristian Cadar |
| 2011-04-23 | Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April... | Cristian Cadar |
| 2010-10-01 | Fix a build warning, patch by nobled! | Daniel Dunbar |
| 2010-08-05 | Call klee_error instead of klee_warning when we fail to open a file, | Cristian Cadar |
| 2010-07-14 | Add option to use an external version of STP | Peter Collingbourne |
| 2010-06-28 | Applied Stefan Bucur's patch from | Cristian Cadar |
| 2010-06-28 | Fixed bug reported at: | Cristian Cadar |
| 2010-06-24 | Implement klee_stack_trace function | Peter Collingbourne |
| 2010-05-02 | Unbreak inline asm warning. | Daniel Dunbar |
| 2010-04-19 | ktest-tool: Add --write-ints option, for printing 4-byte objects as integers. | Daniel Dunbar |
| 2010-04-05 | Fix some final objdir != src problems. | Daniel Dunbar |
| 2010-04-05 | STP: Switch build to using LLVM style Makefiles. | Daniel Dunbar |
| 2010-03-14 | Update for 2.7. | Daniel Dunbar |
| 2010-03-14 | Kill off ExecutionTrace stuff, it is too messy. | Daniel Dunbar |
| 2009-10-25 | Update source to build against LLVM 2.6 | Daniel Dunbar |
| 2009-09-01 | Update for LLVM ostream changes. | Daniel Dunbar |
| 2009-08-17 | Update for LLVM API change. | Daniel Dunbar |
| 2009-08-05 | klee-replay: Support running multiple tests in one invocation, and tweak output | Daniel Dunbar |
| 2009-08-05 | Build klee-replay when the POSIX runtime is enabled. | Daniel Dunbar |
| 2009-08-05 | Add klee-replay tool. | Daniel Dunbar |
| 2009-08-02 | Don't abort on --exit-on-error failures, this is just confusing. | Daniel Dunbar |
