This repository has been archived by the owner on Mar 5, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
menu.html
42 lines (39 loc) · 1.58 KB
/
menu.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
"http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>KLEE Navigation Menu</title>
<link type="text/css" rel="stylesheet" href="menu.css">
<link type="text/css" rel="stylesheet" href="content.css">
</head>
<body>
<div id="menu">
<div>
<a href="http://klee.github.io/klee" target="_top">KLEE Home</a>
</div>
<div class="submenu">
<label>KLEE Info</label>
<a href="GetStarted.html" target="_top">Getting Started</a>
<a href="GetInvolved.html" target="_top">Get Involved</a>
<a href="Documentation.html" target="_top">Documentation</a>
<a href="Tutorials.html" target="_top">Tutorials</a>
<a href="Publications.html" target="_top">Publications</a>
<a href="OpenProjects.html" target="_top">Open Projects</a>
</div>
<div class="submenu">
<label>Quick Links</label>
<a href="klee-dev.html" target="_top">klee-dev (mailing list)</a>
<a href="GetInvolved.html#BugReports" target="_top">Bug Reports</a>
<a href="http://llvm.org/" target="_top">LLVM Home</a>
</div>
<div class="submenu">
<label>Development & Code</label>
<a href="http://vm-klee.doc.ic.ac.uk:55555/" target="_top">Buildbot</a>
<a href="https://github.com/ccadar/klee" target="_top">Browse Git</a>
<a href="http://www.doc.ic.ac.uk/~dsl11/klee-doxygen/" target="_top">Browse Doxygen</a>
<a href="http://test.minormatter.com/~ddunbar/klee-cov/index.html" target="_top">Testing Coverage</a>
</div>
</div>
</body>
</html>