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
/
lib
/
Basic
/
CmdLineOptions.cpp
Age
Commit message (
Expand
)
Author
2016-03-01
Documented default values for various options and improved the description of...
Cristian Cadar
2016-02-23
Added missing copyright headers per klee/issue #301
Marko Dimjašević
2016-02-10
Add some of the basic plumbing required to support a Z3 solver in KLEE.
Dan Liew
2016-02-08
Fixed two spelling errors.
Marko Dimjašević
2016-01-14
Make it possible to build KLEE without using STP and only MetaSMT.
Dan Liew
2016-01-12
Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providing
Dan Liew
2013-10-15
command-line option --use-metasmt declared and defined inside #ifdef SUPPORT_...
Hristina Palikareva
2013-10-11
MetaSMT builder, solver and command-line options.
Hristina Palikareva
2013-08-06
Renaming solver-related command-line options in order to decouple them from S...
Hristina Palikareva
2013-07-18
Patch by Stephan Falke fixing an incorrect message.
Cristian Cadar
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
