about summary refs log tree commit diff homepage
path: root/www/menu.html.incl
blob: 22d6e578f64c7ef231d9d3a6fcdc05f4dc5fbfe9 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
<div id="menu">
  <div>
    <a href="http://llvm.org/">LLVM Home</a>
  </div>
  
  <div class="submenu">
    <label>KLEE Info</label>
    <a href="index.html">About</a>
    <a href="GetStarted.html">Getting Started</a>
    <a href="GetInvolved.html">Get Involved</a>
    <a href="Tutorials.html">Tutorials</a>
  </div>

  <div class="submenu">
    <label>Quick Links</label>
    <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev</a>
    <a href="http://llvm.org/bugs/">Bug Reports</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>
  </div>
</div>