From: Daniel Dunbar 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.

- -
-KLEE: Symbolic Execution and Automatic Test Case Generator -
- -
-

-The new LLVM KLEE project 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 OSDI 2008 paper about -KLEE.

- -
-
DragonEgg: GCC-4.5 as an LLVM frontend