diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-05-22 06:07:50 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-05-22 06:07:50 +0000 |
| commit | 21bbf33d53209f1bc30562b1bebb9f568c5c7360 (patch) | |
| tree | 0aba734899f6364e62878dc518cf98911817b610 /www/index.html | |
| parent | 7855e18aa4c702a92c6aa6ec75c9dd2a07ea1ca4 (diff) | |
| download | klee-21bbf33d53209f1bc30562b1bebb9f568c5c7360.tar.gz | |
Some minor web page tweaks.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72247 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/index.html')
| -rw-r--r-- | www/index.html | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/www/index.html b/www/index.html index 4b9e5f3b..e789bf56 100644 --- a/www/index.html +++ b/www/index.html @@ -16,17 +16,16 @@ <!--*********************************************************************--> <p>KLEE is a symbolic virtual machine built on top of - the <a href="http://llvm.org">LLVM</a> compiler infrastructure.</p> + the <a href="http://llvm.org">LLVM</a> compiler infrastructure, and available + under the UIUC open source license.</p> - <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 + <p>For more information on what KLEE is and what it can do, see the <a href="http://llvm.org/pubs/2008-12-OSDI-KLEE.html">OSDI 2008</a> paper.</p> + <p>If you are interested in trying it yourself, please + see <a href="GetStarted.html">Getting Started</a>.</p> + <!-- <p>FIXME: Somewhere need to describe what KLEE can do well and what is more "experimental" or research level. This should also address how KLEE could be used by outside groups (i.e. kleaver).</p> --> |