diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-03-19 03:18:05 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-03-19 03:18:05 +0000 |
| commit | 9bdda3a75ebf94bb9259764af1b6c2b383a1fa63 (patch) | |
| tree | a1187e9cfbb072463d026afa3d403a526c45b38a /docs | |
| parent | c1e5d491a0bd99a71c87f6a69bafbecd2f948c82 (diff) | |
| download | external_llvm-9bdda3a75ebf94bb9259764af1b6c2b383a1fa63.zip external_llvm-9bdda3a75ebf94bb9259764af1b6c2b383a1fa63.tar.gz external_llvm-9bdda3a75ebf94bb9259764af1b6c2b383a1fa63.tar.bz2 | |
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
Diffstat (limited to 'docs')
| -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> |