about summary refs log tree commit diff homepage
path: root/runtime/Intrinsic
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2011-07-24 22:45:52 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2011-07-24 22:45:52 +0000
commit23b7f2edc9fa33f67c4875be458d178b3c4d3049 (patch)
treef7b3c8ab54170825af78fce411ee55782039ccef /runtime/Intrinsic
parent525566420dd20baa306a567311ab7e8bdabe330c (diff)
downloadklee-23b7f2edc9fa33f67c4875be458d178b3c4d3049.tar.gz
Improved installation instructions a bit, and changed the
"officially supported" version of LLVM from 2.7 to 2.8.



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@135894 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'runtime/Intrinsic')
0 files changed, 0 insertions, 0 deletions