[llvm-commits] CVS: llvm-www/Users.html

[John Criswell]

Changes in directory llvm-www:

Users.html updated: 1.68 -> 1.69
---
Log message:

Merged entries for George Candea.
Removed Dimmunix since it doesn't appear to be LLVM or Klee related.


---
Diffs of the changes:  (+10 -27)

 Users.html |   37 ++++++++++---------------------------
 1 files changed, 10 insertions(+), 27 deletions(-)


Index: llvm-www/Users.html
diff -u llvm-www/Users.html:1.68 llvm-www/Users.html:1.69
--- llvm-www/Users.html:1.68	Thu Oct 29 17:32:53 2009
+++ llvm-www/Users.html	Fri Oct 30 09:55:21 2009
@@ -326,34 +326,17 @@
   <tr>
     <td><a href="http://www.epfl.ch">Ecole Polytechnique Fédérale de Lausanne</a></td>
     <td>George Candea</td>
-    <td><a href="http://dslab.epfl.ch/proj/cloud9">Cloud9: Software Testing
-        as a Service & Parallel Symbolic Execution</a></td>
-  </tr>
-
-  <!-- Email from George Candea to Vikram and John -->
-  <tr>
-    <td><a href="http://www.epfl.ch">Ecole Polytechnique Fédérale de Lausanne</a></td>
-    <td>George Candea</td>
-     <td><a href="http://dslab.epfl.ch/proj/s2e">S2E: Scalable Testing with Selective Symbolic Execution</a></td>
-  </tr>
-
-  <!-- Email from George Candea to Vikram and John -->
-  <tr>
-    <td><a href="http://www.epfl.ch">Ecole Polytechnique Fédérale de Lausanne</a></td>
-    <td>George Candea</td>
-    <td> <a href="http://dslab.epfl.ch/proj/esd">ESD: Automated Debugging via  
-Execution Synthesis</a></td>
-  </tr>
-
-  <!-- Email from George Candea to Vikram and John -->
-  <tr>
-    <td><a href="http://www.epfl.ch">Ecole Polytechnique Fédérale de Lausanne</a></td>
-    <td>George Candea</td>
-    <td><a href="http://dslab.epfl.ch/proj/dimmunix">Dimmunix: Collaborative  
-Runtime Immunity Against Deadlocks</a></td>
+    <td>
+      <ul>
+      <li><a href="http://dslab.epfl.ch/proj/cloud9">Cloud9: Software Testing
+          as a Service & Parallel Symbolic Execution</a></li>
+      <li><a href="http://dslab.epfl.ch/proj/s2e">S2E: Scalable Testing with
+Selective Symbolic Execution</a></li>
+      <li><a href="http://dslab.epfl.ch/proj/esd">ESD: Automated Debugging via  Execution Synthesis</a></li>
+      </ul>
+    </td>
   </tr>
 
-
   <!-- http://lists.cs.uiuc.edu/pipermail/llvmdev/2008-October/017539.html -->
   <tr>
     <td><a href="http://www.ethz.ch/">ETH Zurich</a></td>
@@ -554,6 +537,6 @@
   src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!"></a>
 
 <br><a href="mailto:llvmdev at cs.uiuc.edu">LLVM Development List</a><br>
-  Last modified: $Date: 2009/10/29 22:32:53 $
+  Last modified: $Date: 2009/10/30 14:55:21 $
 </address>
 <!--#include virtual="footer.incl" -->