diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-03-15 05:29:43 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-03-15 05:29:43 +0000 |
| commit | 8c09848ad556177c00a97aded4767530be5e77c0 (patch) | |
| tree | a5c5a60911472abc7403141f0860f7aea2519da0 /www/index.html | |
| parent | f2822ba876defa890c06e179b6f015b9d483c719 (diff) | |
| download | klee-8c09848ad556177c00a97aded4767530be5e77c0.tar.gz | |
Also point at the stanford checking group webpage.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@67020 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/index.html')
| -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> |