diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-05-21 16:28:43 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-05-21 16:28:43 +0000 |
| commit | 4ce774750042043fca78f50575f154f68296ab18 (patch) | |
| tree | 1080d3c2b60a126a6e4f52662108ff837d02b23a /www/GetInvolved.html | |
| parent | 69c4c5548d5e366113b376d77520df7f79142403 (diff) | |
| download | klee-4ce774750042043fca78f50575f154f68296ab18.tar.gz | |
Start basic Regexp.c example for klee.
- A few other web page tweaks. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72215 91177308-0d34-0410-b5e6-96231b3b80d8
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> |