Patch by Hristina Palikareva which enables Kleaver to configure the
solver chain.



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173180 91177308-0d34-0410-b5e6-96231b3b80d8
Added a note about ulimit in the installation instructions; thanks to Hristina Palikareva for pointing this out.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173185 91177308-0d34-0410-b5e6-96231b3b80d8
Added a new option --ignore-solver-failures, disabled by default, to
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
Some information about the Coreutils experiments presented in the KLEE OSDI paper.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173191 91177308-0d34-0410-b5e6-96231b3b80d8
Updated text referring to the old mailing list on keeda.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173271 91177308-0d34-0410-b5e6-96231b3b80d8
Patch by Tomasz Kuchta that fixes the fragile way in which KLEE and Kleaver options were shared.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173819 91177308-0d34-0410-b5e6-96231b3b80d8
Three more KLEE-related papers.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@175261 91177308-0d34-0410-b5e6-96231b3b80d8
Patch by Tomek Kuchta which adds the --max-stp-time option to Kleaver.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176571 91177308-0d34-0410-b5e6-96231b3b80d8
Two more FAQs related to the Coreutils experiments.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176591 91177308-0d34-0410-b5e6-96231b3b80d8