about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
2013-08-06TimingSolver and constructSolverChain() no longer coupled with pointers to ↵Hristina Palikareva
STPSolver objects. Timeout is now set by the solver at the top of the solver chain rather than by STPSolver.
2013-08-06Methods getConstraintLog() and setTimeout() made virtual and moved from ↵Hristina Palikareva
STPSolver to base Solver and SolverImpl classes, and consequently redefined in derived classes to call the corresponding methods down the solver chain. Method setTimeout() renamed to setCoreSolverTimeout().
2013-08-06Renaming solver-related command-line options in order to decouple them from ↵Hristina Palikareva
STP. More specifically, command-line options max-stp-time, use-forked-stp and stp-optimize-divides renamed to max-solver-time, use-forked-solver and solver-optimize-divides, respectively. Option of running the SMT solver in a separate process (i.e. forked) set to true by default. Options of running SMT solver forked and with optimized divides made available to Kleaver as well.
2013-07-26Merge pull request #1 from ddcc/masterccadar
Remove website from master tree
2013-07-25remove www from master branchDominic Chen
2013-07-25Revert "move website to separate repo"Dominic Chen
This reverts commit 6ae711b1d900bffbca407fe97d5e5ce97745dff1.
2013-07-25move website to separate repoDominic Chen
2013-07-19Paper on redundant state detection.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186669 91177308-0d34-0410-b5e6-96231b3b80d8
2013-07-18Patch by Stephan Falke fixing an incorrect message. Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186589 91177308-0d34-0410-b5e6-96231b3b80d8
2013-07-11Bug fix by Jonathan Neuschäfer: "Without this patchCristian Cadar
NotExpr::computeHash() will have a local variable with the name "hashValue" and assign the newly computed hash to that instead of the member variable with the same name that should be set by the computeHash method of every Expr subclass." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186102 91177308-0d34-0410-b5e6-96231b3b80d8
2013-07-11Patch by Jonathan Neuschäfer to LICENSE.TXT: "STP has been removed from the ↵Cristian Cadar
KLEE repository in r161056." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186100 91177308-0d34-0410-b5e6-96231b3b80d8
2013-07-11Patch by Jonathan Neuschäfer: "fix reference to posix/uclibc step"Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186099 91177308-0d34-0410-b5e6-96231b3b80d8
2013-07-11Fixed and improved the stats on (cex)cache hits and misses.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186097 91177308-0d34-0410-b5e6-96231b3b80d8
2013-07-01Developer's guide by Dan Liew, with a few changes from me. Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@185351 91177308-0d34-0410-b5e6-96231b3b80d8
2013-06-27Testing whether commit messages still work.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@185074 91177308-0d34-0410-b5e6-96231b3b80d8
2013-06-12Patch by Jonathan Neuschäfer, updating link to CDE. Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@183848 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-08Patch by Dan Liew: "Renamed ExprSMTLIBPrinter method mangleQuery() to ↵Cristian Cadar
negateQueryExpression() to make it clear what it does." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181445 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-08Patch by Dan Liew: "Improve the doxygen comments for ExprSMTLIBPrinter"Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181444 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-08Patch by Dan Liew (with a few changes by me) that improves the Doxygen ↵Cristian Cadar
documentation for Solver/SolverImpl. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181443 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-07Patch by Dan Liew: "Added examples of using updates in KQuery documentation."Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181310 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-07Patch by Dan Liew: 'Improved clarity of KQuery documentation by changing ↵Cristian Cadar
"version-specifier" to "version"' git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181309 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-07Patch by Dan Liew: "EBNF for constant array initialisation in KQuery ↵Cristian Cadar
documentation improvement." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181308 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-07Patch by Dan Liew that fixes an incorrect example in the KQuery documention. Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181307 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-07Fixed incorrect comment.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181306 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-01Updates to publications page, in particular two extra papers.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@180862 91177308-0d34-0410-b5e6-96231b3b80d8
2013-04-05Fixed error that I introduced by mistake in the last commit (thanks again to ↵Cristian Cadar
Michael Contreras) git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@178863 91177308-0d34-0410-b5e6-96231b3b80d8
2013-04-04Patch by Michael Contreras and Jiri Slaby for compiling KLEE with LLVM 3.2Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@178759 91177308-0d34-0410-b5e6-96231b3b80d8
2013-04-03Code reformatting.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@178642 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-27Patch by Jonathan Neuschäfer adding a missing newline.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@178168 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-18Patch and test case by Jiri Slaby to handle "initializing globals whenCristian Cadar
a global has an undef fill of holes inside structures." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@177285 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-11Small patch by Dan Liew removing unnecessary line from a Makefile.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176816 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-11Updated svn:ignoreCristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176814 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-11Forgot to add ConstructSolverChain.cpp in the previous patch.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176813 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-11Patch by Dan Liew which unifies the solver construction between KLEECristian Cadar
and Kleaver and fixes --use-query-log in Kleaver. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176811 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-06Two more FAQs related to the Coreutils experiments.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176591 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-06Patch by Tomek Kuchta which adds the --max-stp-time option to Kleaver.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176571 91177308-0d34-0410-b5e6-96231b3b80d8
2013-02-15Three more KLEE-related papers.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@175261 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-29Patch by Tomasz Kuchta that fixes the fragile way in which KLEE and Kleaver ↵Cristian Cadar
options were shared. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173819 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-23Updated text referring to the old mailing list on keeda.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173271 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-22Some information about the Coreutils experiments presented in the KLEE OSDI ↵Cristian Cadar
paper. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173191 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-22Added a new option --ignore-solver-failures, disabled by default, toCristian Cadar
cause KLEE to terminate on fatal solver errors. Better documented the ulimit issue when STP seg faults. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173187 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-22Added a note about ulimit in the installation instructions; thanks to ↵Cristian Cadar
Hristina Palikareva for pointing this out. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173185 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-22Patch by Hristina Palikareva which enables Kleaver to configure theCristian Cadar
solver chain. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173180 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-11Documentation for klee-stats by Tomasz Kuchta.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@172190 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-11Improved a bit the documentation for testing Coreutils. Thanks to Tomasz ↵Cristian Cadar
Kuchta for his help. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@172186 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-06Some documentation on query logging.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171657 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-02Refactoring patch by Tomasz Kuchta that moves options shared by KLEE and ↵Cristian Cadar
Kleaver to a separate file. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171395 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-02Updated svn:ignoreCristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171394 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-02Forgot to add QueryLoggingSolver in patch 171387 from Tomasz Kuchta.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171392 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-02Patch by Tomasz Kuchta adding more detailed information on query failures.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171391 91177308-0d34-0410-b5e6-96231b3b80d8
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-26 08:01:15 +0000