Commit a55960ed authored by Cristian Cadar's avatar Cristian Cadar
Browse files

Web page changes. Added a nice way to format code (div.code) in our CSS file.

Added download and install instructions, and a bug report page.



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72163 91177308-0d34-0410-b5e6-96231b3b80d8
parent f01ff0f8
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
"http://www.w3.org/TR/html4/strict.dtd">
<!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
<html>
<head>
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>The KLEE Symbolic Virtual Machine</title>
<link type="text/css" rel="stylesheet" href="menu.css">
<link type="text/css" rel="stylesheet" href="content.css">
</head>
<body>
<include virtual="menu.html.incl">
<div id="content">
<!--*********************************************************************-->
<h1>KLEE Bug Reports</h1>
<!--*********************************************************************-->
Please report any bugs in KLEE to
the <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev
mailing list</a>. You need to be subscribe to the list in order to
send your report.
</div>
</body>
</html>
......@@ -23,3 +23,12 @@ IMG.img_slide {
/* Tables */
tr { vertical-align:top }
/* Code */
div.code{
border: 1px solid LightSteelBlue ;
font-family: Courier New;
background-color: #E3E3E3;
padding: 7px;
margin: 7px;
}
......@@ -4,7 +4,7 @@
<html>
<head>
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>The klee Symbolic Virtual Machine</title>
<title>The KLEE Symbolic Virtual Machine</title>
<link type="text/css" rel="stylesheet" href="menu.css">
<link type="text/css" rel="stylesheet" href="content.css">
</head>
......@@ -12,10 +12,10 @@
<!--#include virtual="menu.html.incl"-->
<div id="content">
<!--*********************************************************************-->
<h1>The klee Symbolic Virtual Machine</h1>
<h1>The KLEE Symbolic Virtual Machine</h1>
<!--*********************************************************************-->
<p>klee is a symbolic virtual machine built on top of
<p>KLEE is a symbolic virtual machine built on top of
the <a href="http://llvm.org">LLVM</a> compiler infrastructure.</p>
<p>Stay tuned for more information on public availability. For now,
......@@ -28,5 +28,6 @@
2008</a> paper.</p>
</div>
</body>
</html>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
"http://www.w3.org/TR/html4/strict.dtd">
<!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
<html>
<head>
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>The KLEE Symbolic Virtual Machine</title>
<link type="text/css" rel="stylesheet" href="menu.css">
<link type="text/css" rel="stylesheet" href="content.css">
</head>
<body>
<include virtual="menu.html.incl">
<div id="content">
<!--*********************************************************************-->
<h1>KLEE Installation Guide</h1>
<!--*********************************************************************-->
<h2> Minimal Installation </h2>
<ol>
<li> Obtain the current version
of <a href="http://llvm.org/releases/download.html#svn">LLVM via
SVN</a>. Build the release version of LLVM and install the GCC
front end as well. Follow the instructions
at <a href="http://llvm.org/docs/GettingStarted.html">Getting
Started with the LLVM System</a>.</li>
<li> Obtain the current version of KLEE via SVN (readonly access):
<div class="code">svn co http://llvm.org/svn/llvm-project/klee/trunk klee</div>
</li>
<li> Configure KLEE:
<div class="code">
./configure --with-llvm=<i>path/to/llvm ENABLE_OPTIMIZED=1</i>
</div>
<p>This assumes that you compiled LLVM in-place. If you used a
different directory for the object files then use:
<div class="code">
./configure --with-llvmsrc=<i>path/to/llvm/src</i>--with-llvmobj=<i>path/to/llvm/obj</i>
</div>
</li>
<li> Build the release version of KLEE:
<div class="code">
make
</div>
</li>
<li> Run the test suite. You should have no unexpected failures.but
please <a href="bugs.html">report</a> any such failures.
<div class="code">
make test
</div>
</li>
<li> You're ready to go! Go to the <a href="tutorials.html">Tutorials</a> page to try KLEE.</li>
</ol>
<!-- <h2> Full Installation </h2> -->
<!-- If you need uCLibc and/or POSIX support add <i>-with-uclibc</i> -->
<!-- and <i>-enable-posix-runtime</i> to configure. Thus, to enable -->
<!-- both, replace step 3 above with: -->
<!-- <div class="code"> -->
<!-- ./configure -with-llvm=<i>path/to/llvm</i> -with-uclibc -enable-posix-runtime ENABLE_OPTIMIZED=1 -->
<!-- </div> -->
<!-- However, note that... -->
</div>
</body>
</html>
......@@ -6,6 +6,7 @@
<div class="submenu">
<label>klee Info</label>
<a href="index.html">About</a>
<a href="install.html">Download &amp; Install</a>
</div>
<div class="submenu">
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment