From 6ae711b1d900bffbca407fe97d5e5ce97745dff1 Mon Sep 17 00:00:00 2001 From: Dominic Chen Date: Thu, 25 Jul 2013 10:45:32 +0100 Subject: move website to separate repo --- www/Documentation.html | 57 -------------------------------------------------- 1 file changed, 57 deletions(-) delete mode 100644 www/Documentation.html (limited to 'www/Documentation.html') diff --git a/www/Documentation.html b/www/Documentation.html deleted file mode 100644 index 538cada7..00000000 --- a/www/Documentation.html +++ /dev/null @@ -1,57 +0,0 @@ - - - - - - KLEE - Documentation - - - - - -
- -

KLEE Documentation

- - -
    -
  1. - KLEE Tutorials: - Simple examples of how to use KLEE to test programs. -
    2. - -
  2. - KLEE Options: - Overview of KLEE's main command-line options. -
    3. - -
  3. - KLEE Generated Files: - Overview of the main files generated by KLEE. -
    4. - -
  4. - KLEE Tools: - Overview of the main auxiliary tools provided by KLEE. -
    5. - -
  5. - KQuery Language Reference Manual: - The reference manual for the KQuery language, used for interacting with - the KLEE solver (kleaver). -
    6. - -
  6. - OSDI'08 Coreutils Experiments: - Some information about the Coreutils experiments presented in our KLEE OSDI'08 paper. -
    7. - -
  7. - Developer's Guide: - A brief guide on working with the KLEE source code. -
    8. -
-
- - -- cgit 1.4.1