[www] r315820 - [www] Add SeaHorn and Crab-llvm to Users.html.

[Jakub Kuderski via llvm-commits]

Author: kuhar
Date: Sat Oct 14 11:34:14 2017
New Revision: 315820

URL: http://llvm.org/viewvc/llvm-project?rev=315820&view=rev
Log:
[www] Add SeaHorn and Crab-llvm to Users.html.

The change was requested on llvm-dev.


Modified:
    www/trunk/Users.html

Modified: www/trunk/Users.html
URL: http://llvm.org/viewvc/llvm-project/www/trunk/Users.html?rev=315820&r1=315819&r2=315820&view=diff
==============================================================================
--- www/trunk/Users.html (original)
+++ www/trunk/Users.html Sat Oct 14 11:34:14 2017
@@ -383,6 +383,18 @@ multi-core code generation to the compil
     <td><a href="https://www.tensorflow.org/versions/master/experimental/xla/">XLA</a></td>
     <td>XLA (Accelerated Linear Algebra) is a domain-specific compiler for linear algebra that optimizes TensorFlow computations.</td>
   </tr>
+
+  <!-- Requested on llvm-dev by Jakub Kuderski -->
+  <tr>
+    <td><a href="http://seahorn.github.io/">SeaHorn</a></td>
+    <td>An Algorithmic Logic-Based Reasoning Framework.</td>
+  </tr>
+
+  <!-- Requested on llvm-dev by Jakub Kuderski -->
+  <tr>
+    <td><a href="https://github.com/seahorn/crab-llvm">Crab-llvm</a></td>
+    <td>A static analyzer based on abstract interpretation for LLVM.</td>
+  </tr>
 </table>
 </div>