From 032a2dedd1d3d033bcc410c3de07e6ed0f701ac0 Mon Sep 17 00:00:00 2001 From: Dominic Chen Date: Thu, 25 Jul 2013 10:58:00 +0100 Subject: remove www from master branch --- www/index.html | 36 ------------------------------------ 1 file changed, 36 deletions(-) delete mode 100644 www/index.html (limited to 'www/index.html') diff --git a/www/index.html b/www/index.html deleted file mode 100644 index b76a42bc..00000000 --- a/www/index.html +++ /dev/null @@ -1,36 +0,0 @@ - - - - - - - The KLEE Symbolic Virtual Machine - - - - - -
- -

The KLEE Symbolic Virtual Machine

- - -

KLEE is a symbolic virtual machine built on top of - the LLVM compiler infrastructure, and available - under the UIUC open source license.

- -

For more information on what KLEE is and what it can do, see - the OSDI - 2008 paper.

- -

If you are interested in trying it yourself, please - see Getting Started.

- - - -
- - -- cgit 1.4.1