Patch by Jonathan Neuschäfer, updating link to CDE. 


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@183848 91177308-0d34-0410-b5e6-96231b3b80d8
Testing whether commit messages still work.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@185074 91177308-0d34-0410-b5e6-96231b3b80d8
Developer's guide by Dan Liew, with a few changes from me. 


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@185351 91177308-0d34-0410-b5e6-96231b3b80d8
Fixed and improved the stats on (cex)cache hits and misses.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186097 91177308-0d34-0410-b5e6-96231b3b80d8
Patch by Jonathan Neuschäfer: "fix reference to posix/uclibc step"


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186099 91177308-0d34-0410-b5e6-96231b3b80d8
Patch by Jonathan Neuschäfer to LICENSE.TXT: "STP has been removed from the KLEE repository in r161056."


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186100 91177308-0d34-0410-b5e6-96231b3b80d8
Bug fix by Jonathan Neuschäfer: "Without this patch
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
Patch by Stephan Falke fixing an incorrect message. 


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186589 91177308-0d34-0410-b5e6-96231b3b80d8
Paper on redundant state detection.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186669 91177308-0d34-0410-b5e6-96231b3b80d8
Updated autoconf script to use python 3 compatible command.