diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-01-18 19:16:34 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-01-18 19:16:34 +0000 |
| commit | 2cb962226744cb5d51ad701920f18bb2ef0ce5dd (patch) | |
| tree | dbaeffff10dcbfaba7a376384226406b70465d2b /www/GetStarted.html | |
| parent | d32d0df34ab754d4d3b27b287092e536f03a231c (diff) | |
| download | klee-2cb962226744cb5d51ad701920f18bb2ef0ce5dd.tar.gz | |
Updated uclibc archives to work with current installation instructions.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@148405 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/GetStarted.html')
| -rw-r--r-- | www/GetStarted.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/www/GetStarted.html b/www/GetStarted.html index 7c2e60de..7ce750cc 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -157,9 +157,10 @@ library.</p> which has been modified slightly for use with KLEE. <ul> <li>A version that works on 32-bit Linux can be found - here: <a href="http://t1.minormatter.com/~ddunbar/klee-uclibc-0.01.tgz">klee-uclibc-0.01.tgz</a></li> + <a href="http://www.doc.ic.ac.uk/~cristic/klee/klee-uclibc-i386.html">here</a> + </li> <li>A version that works on 64-bit Linux can be found - here: <a href="http://www.doc.ic.ac.uk/~cristic/klee-uclibc-0.01-x64.tgz">klee-uclibc-0.01-x64.tgz</a> + <a href="http://www.doc.ic.ac.uk/~cristic/klee/klee-uclibc-x64.html">here</a> </li> </ul> </li> |