From 032a2dedd1d3d033bcc410c3de07e6ed0f701ac0 Mon Sep 17 00:00:00 2001 From: Dominic Chen Date: Thu, 25 Jul 2013 10:58:00 +0100 Subject: remove www from master branch --- www/GetInvolved.html | 53 ---------------------------------------------------- 1 file changed, 53 deletions(-) delete mode 100644 www/GetInvolved.html (limited to 'www/GetInvolved.html') 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 @@ - - - - - KLEE - Get Involved - - - - - - - -
- -

Getting Involved with the KLEE Project

- -

If you are interested in following development of KLEE, or would like to -contribute, here are some resources that may prove useful.

- -

Mailing Lists

- -

Currently the main list for KLEE discussion (both for users and developers) -is klee-dev.

- -

Commit messages to the KLEE repository go to -klee-commits. This -is also the place to send patches if you are interested in contributing to -KLEE.

- -

Bug Reports

- -

If you find a bug in KLEE, please report it on klee-dev -and also fill a bug report on Bugzilla under the klee product.

- - -

Working with the Code

- -

You should first check KLEE's developer's guide.

- -

Developer documentation is written in - doxygen. - -

- -

- -

Many parts of KLEE rely on the LLVM infrastructure, so you might also want to look at -LLVM's General Programming Documentation.

- -
- - -- cgit 1.4.1