diff options
| author | Dominic Chen <d.c.ddcc@gmail.com> | 2013-07-25 10:50:53 +0100 |
|---|---|---|
| committer | Dominic Chen <d.c.ddcc@gmail.com> | 2013-07-25 10:50:53 +0100 |
| commit | 4df4cee1ef65b197020871095cc16d377c9a1996 (patch) | |
| tree | 14578f9ce383f28becedd59d9f0a7d67f8641d7c /www/GetInvolved.html | |
| parent | 6ae711b1d900bffbca407fe97d5e5ce97745dff1 (diff) | |
| download | klee-4df4cee1ef65b197020871095cc16d377c9a1996.tar.gz | |
Revert "move website to separate repo"
This reverts commit 6ae711b1d900bffbca407fe97d5e5ce97745dff1.
Diffstat (limited to 'www/GetInvolved.html')
| -rw-r--r-- | www/GetInvolved.html | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/www/GetInvolved.html b/www/GetInvolved.html new file mode 100644 index 00000000..2ff2b5ee --- /dev/null +++ b/www/GetInvolved.html @@ -0,0 +1,53 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" + "http://www.w3.org/TR/html4/strict.dtd"> +<html> +<head> + <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" /> + <title>KLEE - Get Involved</title> + <link type="text/css" rel="stylesheet" href="menu.css" /> + <link type="text/css" rel="stylesheet" href="content.css" /> +</head> +<body> + +<!--#include virtual="menu.html.incl"--> + +<div id="content"> + +<h1>Getting Involved with the KLEE Project</h1> + +<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>Currently the main list for KLEE discussion (both for users and developers) +is <a href="klee-dev.html">klee-dev</a>.</p> + +<p>Commit messages to the KLEE repository go to +<a href="https://mailman.ic.ac.uk/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><a name="BugReports">Bug Reports</a></h2> + +<p>If you find a bug in KLEE, please report it on <a href="klee-dev.html">klee-dev</a> +and also fill a bug report on <a href="http://llvm.org/bugs/">Bugzilla</a></a> under the <b>klee</b> product.</p> + + +<h2>Working with the Code</h2> + +<p> You should first check <a href="developers-guide.html">KLEE's developer's guide</a>.</p> + +<p>Developer documentation is written in + <a href="http://t1.minormatter.com/~ddunbar/klee-doxygen/index.html">doxygen</a>. +<!-- (this page is updated nightly from the source tree).--> +</p> + +</p> + +<p>Many parts of KLEE rely on the LLVM infrastructure, so you might also want to look at +<a href="http://llvm.org/docs/#llvmprog">LLVM's General Programming Documentation</a>.</p> + +</div> +</body> +</html> |