[llvm-commits] [klee] r72163 - in /klee/trunk/www: bugs.html content.css index.html install.html menu.html.incl
Cristian Cadar
cristic at cs.stanford.edu
Tue May 19 23:29:36 PDT 2009
Author: cristic
Date: Wed May 20 01:29:36 2009
New Revision: 72163
URL: http://llvm.org/viewvc/llvm-project?rev=72163&view=rev
Log:
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.
Added:
klee/trunk/www/bugs.html
klee/trunk/www/install.html
Modified:
klee/trunk/www/content.css
klee/trunk/www/index.html
klee/trunk/www/menu.html.incl
Added: klee/trunk/www/bugs.html
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/bugs.html?rev=72163&view=auto
==============================================================================
--- klee/trunk/www/bugs.html (added)
+++ klee/trunk/www/bugs.html Wed May 20 01:29:36 2009
@@ -0,0 +1,25 @@
+<!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>
Modified: klee/trunk/www/content.css
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/content.css?rev=72163&r1=72162&r2=72163&view=diff
==============================================================================
--- klee/trunk/www/content.css (original)
+++ klee/trunk/www/content.css Wed May 20 01:29:36 2009
@@ -23,3 +23,12 @@
/* Tables */
tr { vertical-align:top }
+
+/* Code */
+div.code{
+ border: 1px solid LightSteelBlue ;
+ font-family: Courier New;
+ background-color: #E3E3E3;
+ padding: 7px;
+ margin: 7px;
+}
Modified: klee/trunk/www/index.html
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/index.html?rev=72163&r1=72162&r2=72163&view=diff
==============================================================================
--- klee/trunk/www/index.html (original)
+++ klee/trunk/www/index.html Wed May 20 01:29:36 2009
@@ -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>
Added: klee/trunk/www/install.html
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/install.html?rev=72163&view=auto
==============================================================================
--- klee/trunk/www/install.html (added)
+++ klee/trunk/www/install.html Wed May 20 01:29:36 2009
@@ -0,0 +1,72 @@
+<!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>
Modified: klee/trunk/www/menu.html.incl
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/menu.html.incl?rev=72163&r1=72162&r2=72163&view=diff
==============================================================================
--- klee/trunk/www/menu.html.incl (original)
+++ klee/trunk/www/menu.html.incl Wed May 20 01:29:36 2009
@@ -6,6 +6,7 @@
<div class="submenu">
<label>klee Info</label>
<a href="index.html">About</a>
+ <a href="install.html">Download & Install</a>
</div>
<div class="submenu">
More information about the llvm-commits
mailing list