index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
tools
/
kleaver
/
main.cpp
Age
Commit message (
Expand
)
Author
2015-04-25
Give KLEE release version information in the output of klee and kleaver
Dan Liew
2014-12-02
Implement :named and let abbreviation modes in ExprSMTLIBPrinter
Raimondas Sasnauskas
2014-09-16
[LLVM3.5] Update Kleaver for MemoryBuffer::getFileOrSTDIN changes.
Daniel Dunbar
2014-09-16
Fix #include under LLVM3.5. OwningPtr doesn't exist anymore.
Dan Liew
2014-09-16
Fix LLVM3.5 compilation a little more. ``Support/system_error.h``
Dan Liew
2014-05-29
Remove #include <iostream> to avoid static constructors
Martin Nowack
2014-05-29
Refactoring from std::ostream to llvm::raw_ostream
Martin Nowack
2013-12-06
Deprecate LLVM 2.8 and lower
Martin Nowack
2013-10-11
MetaSMT builder, solver and command-line options.
Hristina Palikareva
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-10-24
Patch by Dan Liew: "Added -print-smtlib option to kleaver tool that
Cristian Cadar
2011-07-20
Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of
Peter Collingbourne
2011-04-23
Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...
Cristian Cadar
2009-09-01
Update for LLVM ostream changes.
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
2009-06-14
Use ExprBuilder for constructing expressions in the Parser.
Daniel Dunbar
2009-06-09
Switch Array* print-outs to use name instead of ID, and update a few
Daniel Dunbar
2009-06-08
kleaver: Use raw_ostream, and print some stats.
Daniel Dunbar
2009-06-07
Don't delete decls before parsing is complete.
Daniel Dunbar
2009-06-05
Support counter example queries (at least, the restricted set that we
Daniel Dunbar
2009-06-05
Don't evaluate queries if there were parse failures.
Daniel Dunbar
2009-06-05
Add evaluation support to kleaver (now the default).
Daniel Dunbar
2009-05-21
Initial KLEE checkin.
Daniel Dunbar