Added more info on dependencies and a link to Andrei Porumb's recent post on installing KLEE on Ubuntu 12.04


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165221 91177308-0d34-0410-b5e6-96231b3b80d8
Move TargetData to DataLayout.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165394 91177308-0d34-0410-b5e6-96231b3b80d8
Make the changes in r165394 be conditional on post LLVM 3.1 changes.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165405 91177308-0d34-0410-b5e6-96231b3b80d8
Fix to previous patch, which would not compile with LLVM 2.9.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165413 91177308-0d34-0410-b5e6-96231b3b80d8
Patch by Tomasz Kuchta that adds several useful options (--print-abs-times, --print-rel-times, --precision) to klee-stats.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165499 91177308-0d34-0410-b5e6-96231b3b80d8
Nice patch by Hristina Palikareva that removes the dependency on STP
arrays from the Array and UpdateNode classes.



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166214 91177308-0d34-0410-b5e6-96231b3b80d8
Added missing header file (part of the last patch).


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166277 91177308-0d34-0410-b5e6-96231b3b80d8
Patch by Dan Liew: " Modified ConstantExpr::toString() to take an
optional radix (base e.g. 2,10,16). This will be needed by the
ExprSMTLIBPrinter that will soon be added."



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166553 91177308-0d34-0410-b5e6-96231b3b80d8
Patch by Dan Liew: " Added "sys/resource.h" include to POSIX stub
methods. This fixes build problems (at least on my machine glibc
2.16.0-2)

The __priority_which_t and __rlimit_resource_t data types which
functions set_priority(), setrlimit() and setrlimit64() need are not
defined in any of the headers the runtime/POSIX/stubs.c includes.

It appears in the past the "sys/resource.h" was included by
"sys/wait.h" but in the recent version of glibc I am using it is not.
So to fix this I've added the include."



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166554 91177308-0d34-0410-b5e6-96231b3b80d8
Patch by Dan Liew: "Moved PrintContext class out of ExprPrinter.cpp so
it can be used by other classes. It has also been improved so it can
be used with the soon to be added ExprSMTLIBPrinter classes."



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166555 91177308-0d34-0410-b5e6-96231b3b80d8
Nice patch by Dan Liew that adds support for printing queries in the
SMTLIB format (part of his MSc project work).


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166556 91177308-0d34-0410-b5e6-96231b3b80d8
Patch by Dan Liew: "Added -print-smtlib option to kleaver tool that
allows .pc files to be printed as SMT-LIBv2 queries."



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166563 91177308-0d34-0410-b5e6-96231b3b80d8
Patch by Dan Liew: "Added SMTLIBLoggingSolver for logging queries in SMT-LIBv2 format."


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166564 91177308-0d34-0410-b5e6-96231b3b80d8
Patch by Dan Liew which improves the logging options: "Removed
-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
Patch by Dan Liew: "Added support for generating .smt2 files when
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
Patch by Dan Liew: "Added primitive test that checks kleaver's new
-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
Patch by Dan Liew, updating klee-files.html to mention the recently
added SMTLIB options.



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166570 91177308-0d34-0410-b5e6-96231b3b80d8
Patch by Dan Liew improving the description of getZExtValue (see discussion 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
Patch by Jonathan Neuschäfer fixing inconsistency in Tutorial 1.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166574 91177308-0d34-0410-b5e6-96231b3b80d8
Code refactorings by Jonathan Neuschäfer: "move increment into for-loop
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