diff options
Diffstat (limited to 'docs/ReleaseNotes.html')
-rw-r--r-- | docs/ReleaseNotes.html | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 5a634f3..92bc50c 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -198,24 +198,6 @@ License, a "BSD-style" license.</p> <!--=========================================================================--> <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> </div> |