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
Age
Commit message (
Expand
)
Author
2013-03-11
Small patch by Dan Liew removing unnecessary line from a Makefile.
Cristian Cadar
2013-03-11
Updated svn:ignore
Cristian Cadar
2013-03-11
Forgot to add ConstructSolverChain.cpp in the previous patch.
Cristian Cadar
2013-03-11
Patch by Dan Liew which unifies the solver construction between KLEE
Cristian Cadar
2013-03-06
Two more FAQs related to the Coreutils experiments.
Cristian Cadar
2013-03-06
Patch by Tomek Kuchta which adds the --max-stp-time option to Kleaver.
Cristian Cadar
2013-02-15
Three more KLEE-related papers.
Cristian Cadar
2013-01-29
Patch by Tomasz Kuchta that fixes the fragile way in which KLEE and Kleaver o...
Cristian Cadar
2013-01-23
Updated text referring to the old mailing list on keeda.
Cristian Cadar
2013-01-22
Some information about the Coreutils experiments presented in the KLEE OSDI p...
Cristian Cadar
2013-01-22
Added a new option --ignore-solver-failures, disabled by default, to
Cristian Cadar
2013-01-22
Added a note about ulimit in the installation instructions; thanks to Hristin...
Cristian Cadar
2013-01-22
Patch by Hristina Palikareva which enables Kleaver to configure the
Cristian Cadar
2013-01-11
Documentation for klee-stats by Tomasz Kuchta.
Cristian Cadar
2013-01-11
Improved a bit the documentation for testing Coreutils. Thanks to Tomasz Kuc...
Cristian Cadar
2013-01-06
Some documentation on query logging.
Cristian Cadar
2013-01-02
Refactoring patch by Tomasz Kuchta that moves options shared by KLEE and Klea...
Cristian Cadar
2013-01-02
Updated svn:ignore
Cristian Cadar
2013-01-02
Forgot to add QueryLoggingSolver in patch 171387 from Tomasz Kuchta.
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 that refactors the logging code, by introducing a new ...
Cristian Cadar
2013-01-02
Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl...
Cristian Cadar
2012-12-12
Updated mailing list info + other small changes.
Cristian Cadar
2012-12-04
Message about the mailing list being down.
Cristian Cadar
2012-11-28
Removed fragile test which does not work anymore with clang/llvm 3.1.
Cristian Cadar
2012-11-28
Only emitting a warning, instead of failing on large mallocs.
Cristian Cadar
2012-11-28
Fixed fragile test case that depended too much on the code generated
Cristian Cadar
2012-11-27
Warnings were incorrectly logged in messages.txt instead of warnings.txt.
Cristian Cadar
2012-11-27
Patch by Seungbeom Kim: "Interrupting KLEE's execution while a
Cristian Cadar
2012-11-27
Patch sent by both Bogdan Copos and Nick Sumner fixing compilation with LLVM 3.1
Cristian Cadar
2012-11-05
Fixed a bug in Array::computeHash()
Cristian Cadar
2012-11-04
Fix by Tomek Kuchta to Tutorial 1.
Cristian Cadar
2012-10-24
Patch by Jonathan Neuschäfer: "update symbol list for
Cristian Cadar
2012-10-24
Two small changes by Jonathan Neuschäfer: one that fixes a memory leak
Cristian Cadar
2012-10-24
Code refactorings by Jonathan Neuschäfer: "move increment into for-loop
Cristian Cadar
2012-10-24
Patch by Jonathan Neuschäfer fixing inconsistency in Tutorial 1.
Cristian Cadar
2012-10-24
Patch by Dan Liew improving the description of getZExtValue (see discussion a...
Cristian Cadar
2012-10-24
Patch by Dan Liew, updating klee-files.html to mention the recently
Cristian Cadar
2012-10-24
Patch by Dan Liew: "Added primitive test that checks kleaver's new
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 which improves the logging options: "Removed
Cristian Cadar
2012-10-24
Patch by Dan Liew: "Added SMTLIBLoggingSolver for logging queries in SMT-LIBv...
Cristian Cadar
2012-10-24
Patch by Dan Liew: "Added -print-smtlib option to kleaver tool that
Cristian Cadar
2012-10-24
Nice patch by Dan Liew that adds support for printing queries in the
Cristian Cadar
2012-10-24
Patch by Dan Liew: "Moved PrintContext class out of ExprPrinter.cpp so
Cristian Cadar
2012-10-24
Patch by Dan Liew: " Added "sys/resource.h" include to POSIX stub
Cristian Cadar
2012-10-24
Patch by Dan Liew: " Modified ConstantExpr::toString() to take an
Cristian Cadar
2012-10-19
Added missing header file (part of the last patch).
Cristian Cadar
2012-10-18
Nice patch by Hristina Palikareva that removes the dependency on STP
Cristian Cadar
2012-10-09
Patch by Tomasz Kuchta that adds several useful options (--print-abs-times, -...
Cristian Cadar
[prev]
[next]