From 5ead9bf5153952ae45ea5c1e8933fa03a6dc85c6 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 4 Jun 2009 03:32:43 +0000 Subject: Small changes to the web page (changed some links on the main page, added a documentation page). git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72843 91177308-0d34-0410-b5e6-96231b3b80d8 --- www/Documentation.html | 26 ++++++++++++++++++++++++++ www/menu.html.incl | 5 +++-- 2 files changed, 29 insertions(+), 2 deletions(-) create mode 100644 www/Documentation.html (limited to 'www') diff --git a/www/Documentation.html b/www/Documentation.html new file mode 100644 index 00000000..f64b874d --- /dev/null +++ b/www/Documentation.html @@ -0,0 +1,26 @@ + + + + + + KLEE - Documentation + + + + + +
+ +

KLEE Documentation

+ + +
    +
  1. KLEE Tutorials: Simple examples of how to use KLEE to test programs.
    2. +
  2. KLEE Generated Files: Overview of the main files generated by KLEE.
    3. +
+ + +
+ + diff --git a/www/menu.html.incl b/www/menu.html.incl index 22d6e578..689be511 100644 --- a/www/menu.html.incl +++ b/www/menu.html.incl @@ -1,13 +1,13 @@ -- cgit 1.4.1