| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2009-08-01 | Update for LLVM API change. | Daniel Dunbar |
| 2009-07-26 | Make sure final KLEE output gets on a new line. | Daniel Dunbar |
| 2009-07-26 | Tweak | Daniel Dunbar |
| 2009-07-25 | (llvm up) Update for llvm::Value getName() change. | Daniel Dunbar |
| 2009-07-17 | Make sure to initialize the native target, so we can make a JIT. | Daniel Dunbar |
| 2009-07-17 | Update for LLVM's wishy washy developers. | Daniel Dunbar |
| 2009-07-15 | [llvm up] Update for LLVM TOT changes. | Daniel Dunbar |
| 2009-07-14 | Update for LLVM API changes. | Daniel Dunbar |
| 2009-07-12 | Update for LLVM API changes. | Daniel Dunbar |
| 2009-06-22 | Update for changes in how JIT is linked in. | Daniel Dunbar |
| 2009-06-16 | kleaver: Add some command line options for choosing the Solver. | Daniel Dunbar |
| 2009-06-14 | Rename FoldingExprBuilder -> SimplifyingExprBuilder | Daniel Dunbar |
