From: Daniel Dunbar <daniel@zuster.org>
Date: Fri, 19 Mar 2010 03:18:05 +0000 (+0000)
Subject: Drop KLEE blurb, we don't have anything new.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9bdda3a75ebf94bb9259764af1b6c2b383a1fa63;p=oota-llvm.git

Drop KLEE blurb, we don't have anything new.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@98922 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html
index 5a634f372cd..92bc50cab9b 100644
--- a/docs/ReleaseNotes.html
+++ b/docs/ReleaseNotes.html
@@ -196,24 +196,6 @@ License, a "BSD-style" license.</p>
 
 </div>
 
-<!--=========================================================================-->
-<div class="doc_subsection">
-<a name="klee">KLEE: Symbolic Execution and Automatic Test Case Generator</a>
-</div>
-
-<div class="doc_text">
-<p>
-The new LLVM <a href="http://klee.llvm.org/">KLEE project</a> is a symbolic
-execution framework for programs in LLVM bitcode form.  KLEE tries to
-symbolically evaluate "all" paths through the application and records state
-transitions that lead to fault states.  This allows it to construct testcases
-that lead to faults and can even be used to verify algorithms.  For more
-details, please see the <a
-href="http://llvm.org/pubs/2008-12-OSDI-KLEE.html">OSDI 2008 paper</a> about
-KLEE.</p>
-
-</div>
-
 <!--=========================================================================-->
 <div class="doc_subsection">
 <a name="dragonegg">DragonEgg: GCC-4.5 as an LLVM frontend</a>