From b42f6baf4358a81683cd0ab1a8529683a6819ab5 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Tue, 22 Jan 2013 20:47:10 +0000
Subject: Some information about the Coreutils experiments presented in the
 KLEE OSDI paper.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173191 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/Documentation.html | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'www/Documentation.html')

diff --git a/www/Documentation.html b/www/Documentation.html
index 038b1f83..8c19b36e 100644
--- a/www/Documentation.html
+++ b/www/Documentation.html
@@ -42,6 +42,11 @@
       the KLEE solver (kleaver).
     </li>
 
+    <li>
+      <a href="CoreutilsExperiments.html">OSDI'08 Coreutils Experiments</a>:
+      Some information about the Coreutils experiments presented in our <a href="http://www.doc.ic.ac.uk/~cristic/papers/klee-osdi-08.pdf">KLEE OSDI'08 paper</a>.
+    </li>
+
   </ol>
 </div>
 </body>
-- 
cgit 1.4.1