diff options
| author | Dominic Chen <d.c.ddcc@gmail.com> | 2013-07-25 10:45:32 +0100 |
|---|---|---|
| committer | Dominic Chen <d.c.ddcc@gmail.com> | 2013-07-25 10:45:32 +0100 |
| commit | 6ae711b1d900bffbca407fe97d5e5ce97745dff1 (patch) | |
| tree | da6a64772f9440601c7b0efd816b06c40bdf90d8 /www/GetInvolved.html | |
| parent | 7d76de96751796cca076e021575fafd459eef6fb (diff) | |
| download | klee-6ae711b1d900bffbca407fe97d5e5ce97745dff1.tar.gz | |
move website to separate repo
Diffstat (limited to 'www/GetInvolved.html')
| -rw-r--r-- | www/GetInvolved.html | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/www/GetInvolved.html b/www/GetInvolved.html deleted file mode 100644 index 2ff2b5ee..00000000 --- a/www/GetInvolved.html +++ /dev/null @@ -1,53 +0,0 @@ -<!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> |