diff options
Diffstat (limited to 'www/GetInvolved.html')
| -rw-r--r-- | www/GetInvolved.html | 25 |
1 files changed, 17 insertions, 8 deletions
diff --git a/www/GetInvolved.html b/www/GetInvolved.html index b8afcbb3..41c84e54 100644 --- a/www/GetInvolved.html +++ b/www/GetInvolved.html @@ -3,7 +3,7 @@ <html> <head> <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" /> - <title>klee - Get Involved</title> + <title>KLEE - Get Involved</title> <link type="text/css" rel="stylesheet" href="menu.css" /> <link type="text/css" rel="stylesheet" href="content.css" /> </head> @@ -13,21 +13,30 @@ <div id="content"> -<h1>Getting Involved with the klee Project</h1> +<h1>Getting Involved with the KLEE Project</h1> -<p>FIXME: Intro.</p> +<p>If you are interested in following development of KLEE, or would like to +contribute, here are some resources that may prove useful.</p> <h2>Mailing Lists</h2> -<p>klee-dev</p> +<p>Currently the main list for KLEE discussion (both for users and developers) +is <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev</a>.</p> -<p>klee-commits</p> +<p>Commit messages to the KLEE repository go to +<a href="http://keeda.stanford.edu/mailman/listinfo/klee-commits">klee-commits</a>. This +is also the place to send patches if you are interested in contributing to +KLEE.</p> <h2>Working with the Code</h2> -<p>FIXME: Point at pertinent LLVM docs.</p> - -<p>FIXME: Point at doxygen.</p> +<p>KLEE developer documentation is written in doxygen and you may have it online here: + <a href="http://t1.minormatter.com/~ddunbar/klee-doxygen/index.html">doxygen</a> + (this is updated nightly from the source tree).</p> + +<p>Many parts of KLEE rely on the LLVM infrastructure, you can find more +information about programming for LLVM here: +<a href="http://llvm.org/docs/#llvmprog">LLVM's General Programming Documentation</a>.</p> </div> </body> |