diff options
| -rw-r--r-- | www/bugs.html | 25 | ||||
| -rw-r--r-- | www/content.css | 9 | ||||
| -rw-r--r-- | www/index.html | 7 | ||||
| -rw-r--r-- | www/install.html | 72 | ||||
| -rw-r--r-- | www/menu.html.incl | 1 |
5 files changed, 111 insertions, 3 deletions
diff --git a/www/bugs.html b/www/bugs.html new file mode 100644 index 00000000..bd5dd86c --- /dev/null +++ b/www/bugs.html @@ -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> diff --git a/www/content.css b/www/content.css index ab6983b4..caee1f00 100644 --- a/www/content.css +++ b/www/content.css @@ -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; +} diff --git a/www/index.html b/www/index.html index 636e109f..ea60335a 100644 --- a/www/index.html +++ b/www/index.html @@ -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> diff --git a/www/install.html b/www/install.html new file mode 100644 index 00000000..b01f2105 --- /dev/null +++ b/www/install.html @@ -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> diff --git a/www/menu.html.incl b/www/menu.html.incl index dbfe7687..2fbffaef 100644 --- a/www/menu.html.incl +++ b/www/menu.html.incl @@ -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"> |