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 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 www/bugs.html (limited to 'www/bugs.html') 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. + +
+ + -- cgit 1.4.1