From a55960edd4dcd7535526de8d2277642522aa0209 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Wed, 20 May 2009 06:29:36 +0000 Subject: 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 --- www/bugs.html | 25 +++++++++++++++++++ www/content.css | 9 +++++++ www/index.html | 7 +++--- www/install.html | 72 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ www/menu.html.incl | 1 + 5 files changed, 111 insertions(+), 3 deletions(-) create mode 100644 www/bugs.html create mode 100644 www/install.html (limited to 'www') 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 @@ + + + + + + The KLEE Symbolic Virtual Machine + + + + + +
+ +

KLEE Bug Reports

+ + + Please report any bugs in KLEE to + the klee-dev + mailing list. You need to be subscribe to the list in order to + send your report. + +
+ + 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 @@ - The klee Symbolic Virtual Machine + The KLEE Symbolic Virtual Machine @@ -12,10 +12,10 @@
-

The klee Symbolic Virtual Machine

+

The KLEE Symbolic Virtual Machine

-

klee is a symbolic virtual machine built on top of +

KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure.

Stay tuned for more information on public availability. For now, @@ -28,5 +28,6 @@ 2008 paper.

+ 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 @@ + + + + + + The KLEE Symbolic Virtual Machine + + + + + +
+ +

KLEE Installation Guide

+ + +

Minimal Installation

+
    +
  1. Obtain the current version + of LLVM via + SVN. Build the release version of LLVM and install the GCC + front end as well. Follow the instructions + at Getting + Started with the LLVM System.
    2. + +
  2. Obtain the current version of KLEE via SVN (readonly access): +
    svn co http://llvm.org/svn/llvm-project/klee/trunk klee
    +
    3. + +
  3. Configure KLEE: +
    + ./configure --with-llvm=path/to/llvm ENABLE_OPTIMIZED=1 +
    + +

    This assumes that you compiled LLVM in-place. If you used a + different directory for the object files then use: +

    + ./configure --with-llvmsrc=path/to/llvm/src--with-llvmobj=path/to/llvm/obj +
    +
    4. + +
  4. Build the release version of KLEE: +
    + make +
    +
    5. + +
  5. Run the test suite. You should have no unexpected failures.but + please report any such failures. +
    + make test +
    +
    6. + +
  6. You're ready to go! Go to the Tutorials page to try KLEE.
    7. +
+ + + + + + + + + + + + +
+ + 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 @@
About + Download & Install
-- cgit 1.4.1