about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2012-12-12 22:11:00 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2012-12-12 22:11:00 +0000
commit26bf73bf80369a24467fcf1f53165824cbcd5679 (patch)
treeb2a11a657b96ccbb1610769f914aede2ffd5e1e6
parent09839af6d20385414904d4c93f4765d836bdfa97 (diff)
downloadklee-26bf73bf80369a24467fcf1f53165824cbcd5679.tar.gz
Updated mailing list info + other small changes.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@170032 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--www/GetInvolved.html10
-rw-r--r--www/klee-dev.html4
-rw-r--r--www/menu.html.incl2
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>