about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
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
2013-01-02Patch by Tomasz Kuchta that refactors the logging code, by introducing a new ↵Cristian Cadar
logging class hierarchy. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171387 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-02Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that ↵Cristian Cadar
enables KLEE to log only the queries exceeding a certain duration, or only those that time out. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171385 91177308-0d34-0410-b5e6-96231b3b80d8
2012-12-12Updated mailing list info + other small changes.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@170032 91177308-0d34-0410-b5e6-96231b3b80d8
2012-12-04Message about the mailing list being down.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@169327 91177308-0d34-0410-b5e6-96231b3b80d8
2012-11-28Removed fragile test which does not work anymore with clang/llvm 3.1.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@168798 91177308-0d34-0410-b5e6-96231b3b80d8
2012-11-28Only emitting a warning, instead of failing on large mallocs.Cristian Cadar
Addresses the issue raised by Bowen Zhou at http://keeda.stanford.edu/pipermail/klee-dev/2012-November/000972.html. Fixed test case that depended on the old behavior. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@168797 91177308-0d34-0410-b5e6-96231b3b80d8
2012-11-28Fixed fragile test case that depended too much on the code generatedCristian Cadar
by the compiler (this was failing with clang/llvm 3.1). git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@168795 91177308-0d34-0410-b5e6-96231b3b80d8
2012-11-27Warnings were incorrectly logged in messages.txt instead of warnings.txt.Cristian Cadar
Added "ONCE" before klee_warning_once messages to identify them as such. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@168699 91177308-0d34-0410-b5e6-96231b3b80d8
2012-11-27Patch by Seungbeom Kim: "Interrupting KLEE's execution while aCristian Cadar
watchdog is in effect kills the watchdog immediately, giving the user a shell prompt prematurely while the child process is still running. This patch keeps the watchdog running until the child is finished. I see no need to be able to kill the watchdog forcefully, as long as the child process can be killed forcefully with two interrupts." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@168696 91177308-0d34-0410-b5e6-96231b3b80d8
2012-11-27Patch sent by both Bogdan Copos and Nick Sumner fixing compilation with LLVM 3.1Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@168695 91177308-0d34-0410-b5e6-96231b3b80d8
2012-11-05Fixed a bug in Array::computeHash()Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@167382 91177308-0d34-0410-b5e6-96231b3b80d8
2012-11-04Fix by Tomek Kuchta to Tutorial 1.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@167371 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-24Patch by Jonathan Neuschäfer: "update symbol list forCristian Cadar
klee_get_value*. It might be better to just get (most of) the exported symbols right from the SpecialFunctionHandler class." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166585 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-24Two small changes by Jonathan Neuschäfer: one that fixes a memory leakCristian Cadar
in an example, and one that removes an already completed TODO item. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166582 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-24Code refactorings by Jonathan Neuschäfer: "move increment into for-loopCristian Cadar
head (Just a cosmetic change to make things a bit more readable)" and "move duplicate code to a function and also remove an old comment that seems to be obsolete by now. (Another cosmetic change)" git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166581 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-24Patch by Jonathan Neuschäfer fixing inconsistency in Tutorial 1.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166574 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-24Patch by Dan Liew improving the description of getZExtValue (see discussion ↵Cristian Cadar
at http://keeda.stanford.edu/pipermail/klee-dev/2012-September/000928.html) git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166573 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-24Patch by Dan Liew, updating klee-files.html to mention the recentlyCristian Cadar
added SMTLIB options. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166570 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-24Patch by Dan Liew: "Added primitive test that checks kleaver's newCristian Cadar
-print-smt option. Improved Feature/ExprLogging.c test: - Now (primitive) checks the result of -write-smt2s - Now (primitive) checks the result of -write-pcs - Now (primitive) checks the result of -write-cvcs" git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166569 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-24Patch by Dan Liew: "Added support for generating .smt2 files whenCristian Cadar
writing out test cases (option --write-smt2s) in KLEE." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166568 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-24Patch by Dan Liew which improves the logging options: "RemovedCristian Cadar
-use-query-pc-log and -use-stp-query-pc-log and replaced with better command line option -use-query-log=option. Multiple comma seperated options can be specified after -use-query-log=. In addition queries can now be logged in SMT-LIBv2 format as well as KQuery format. The names of logging files has changed and also KLEE now informs users which files are being written to. Because of the changes the test/Feature/ExprLogging.c test broke so it was necessary to fix it." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166565 91177308-0d34-0410-b5e6-96231b3b80d8
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-05 04:38:08 +0000