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 5a634f372cd0bd6324e1433422e5a5734a9649ad..92bc50cab9b194b95f82c041b19bc0baca5e1102 100644 (file)
--- 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>