diff options
Diffstat (limited to 'www')
| -rw-r--r-- | www/index.html | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/www/index.html b/www/index.html index 6bc310c0..2afd032f 100644 --- a/www/index.html +++ b/www/index.html @@ -18,9 +18,14 @@ <p>klee is a symbolic virtual machine built on top of the LLVM compiler infrastructure.</p> - <p>Stay tuned for more information on public availability.</a> + <p>Stay tuned for more information on public availability. For now, + there is some information available on + the <a href="http://checking.stanford.edu/wiki/Klee">Stanford + Checking Group wiki</a>.</p> - <p>For more information, see the <a href="http://llvm.org/pubs/2008-12-OSDI-KLEE.html">OSDI 2008</a> paper.</p> + <p>For more information, see + the <a href="http://llvm.org/pubs/2008-12-OSDI-KLEE.html">OSDI + 2008</a> paper.</p> </div> </body> |