about summary refs log tree commit diff homepage
path: root/www
diff options
context:
space:
mode:
authorDaniel Dunbar <daniel@zuster.org>2010-06-13 21:13:09 +0000
committerDaniel Dunbar <daniel@zuster.org>2010-06-13 21:13:09 +0000
commit40e5e2712ec0165daaeab73cc7c3d35c900a7a8b (patch)
tree0d0a9d4e600063f1979698986b9ee2f1b8ab5d12 /www
parent5f320519a435f22e88872c3f1f7f0e2017406f9d (diff)
downloadklee-40e5e2712ec0165daaeab73cc7c3d35c900a7a8b.tar.gz
Tweak webpage, and link to KLEE buildbot.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@105926 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www')
-rw-r--r--www/menu.html.incl15
1 files changed, 10 insertions, 5 deletions
diff --git a/www/menu.html.incl b/www/menu.html.incl
index 689be511..7e73fb16 100644
--- a/www/menu.html.incl
+++ b/www/menu.html.incl
@@ -2,7 +2,7 @@
   <div>
     <a href="http://klee.llvm.org/">KLEE Home</a>
   </div>
-  
+
   <div class="submenu">
     <label>KLEE Info</label>
     <a href="GetStarted.html">Getting Started</a>
@@ -13,12 +13,17 @@
 
   <div class="submenu">
     <label>Quick Links</label>
-    <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev</a>
+    <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev (mailing list)</a>
     <a href="http://llvm.org/bugs/">Bug Reports</a>
+    <a href="http://llvm.org/">LLVM Home</a>
+  </div>
+
+  <div class="submenu">
+    <label>Development &amp; Code</label>
+    <a href="http://klee.minormatter.com:8010/">Buildbot</a>
     <a href="http://llvm.org/svn/llvm-project/klee/trunk/">Browse SVN</a>
     <a href="http://llvm.org/viewvc/llvm-project/klee/trunk/">Browse ViewVC</a>
-    <a href="http://t1.minormatter.com/~ddunbar/klee-doxygen/index.html">doxygen</a>
-    <a href="http://t1.minormatter.com/~ddunbar/klee-cov/index.html">Testing Coverage</a>
-    <a href="http://llvm.org/">LLVM Home</a>
+    <a href="http://test.minormatter.com/~ddunbar/klee-doxygen/index.html">Browse Doxygen</a>
+    <a href="http://test.minormatter.com/~ddunbar/klee-cov/index.html">Testing Coverage</a>
   </div>
 </div>