diff options
| -rw-r--r-- | www/GetInvolved.html | 10 | ||||
| -rw-r--r-- | www/klee-dev.html | 4 | ||||
| -rw-r--r-- | www/menu.html.incl | 2 |
3 files changed, 10 insertions, 6 deletions
diff --git a/www/GetInvolved.html b/www/GetInvolved.html index c94ca765..0cde1299 100644 --- a/www/GetInvolved.html +++ b/www/GetInvolved.html @@ -22,12 +22,18 @@ contribute, here are some resources that may prove useful.</p> <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="http://keeda.stanford.edu/mailman/listinfo/klee-commits">klee-commits</a>. This +<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>KLEE developer documentation is written in doxygen and you may have it online here: diff --git a/www/klee-dev.html b/www/klee-dev.html index cc62ea84..8f965e8a 100644 --- a/www/klee-dev.html +++ b/www/klee-dev.html @@ -14,12 +14,10 @@ <!--*********************************************************************--> <h1>klee-dev mailing list</h1> <!--*********************************************************************--> - - <h3><font color="red">NOTE: the mailing list is currently down. We will remove this message once the problem is solved.</font></h3> <p>If you have questions about KLEE that are not answered on this website, please send a message to - the <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev</a> + the <a href="https://mailman.ic.ac.uk/mailman/listinfo/klee-dev">klee-dev</a> mailing list.</p> diff --git a/www/menu.html.incl b/www/menu.html.incl index 344787af..7f2e4e33 100644 --- a/www/menu.html.incl +++ b/www/menu.html.incl @@ -16,7 +16,7 @@ <div class="submenu"> <label>Quick Links</label> <a href="klee-dev.html">klee-dev (mailing list)</a> - <a href="http://llvm.org/bugs/">Bug Reports</a> + <a href="GetInvolved.html#BugReports">Bug Reports</a> <a href="http://llvm.org/">LLVM Home</a> </div> |