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

[Tanya Lattner]

Do we really need a separate entry for each of Candea's projects?  
Should be collapsed into one like the others.

-Tanya

On Oct 29, 2009, at 3:34 PM, John Criswell wrote:

>
>
> Changes in directory llvm-www:
>
> Users.html updated: 1.67 -> 1.68
> ---
> Log message:
>
> Added SoftBound.
> Added projects by George Candea's group.
>
>
> ---
> Diffs of the changes:  (+42 -1)
>
> Users.html |   43 ++++++++++++++++++++++++++++++++++++++++++-
> 1 files changed, 42 insertions(+), 1 deletion(-)
>
>
> Index: llvm-www/Users.html
> diff -u llvm-www/Users.html:1.67 llvm-www/Users.html:1.68
> --- llvm-www/Users.html:1.67	Thu Oct  8 16:52:24 2009
> +++ llvm-www/Users.html	Thu Oct 29 17:32:53 2009
> @@ -322,6 +322,38 @@
>     <td>Principled Compilation</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/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>
> +  </tr>
> +
> +
>   <!-- http://lists.cs.uiuc.edu/pipermail/llvmdev/2008-October/017539.html 
>  -->
>   <tr>
>     <td><a href="http://www.ethz.ch/">ETH Zurich</a></td>
> @@ -442,6 +474,15 @@
>     <td>MicroBlaze backend for use on Xilinx FPGAs</td>
>   </tr>
>
> +  <!-- SoftBound Publication on Publication Page -->
> +  <tr>
> +    <td>
> +    <a href="http://www.upenn.edu/">The University of Pennsylvania</ 
> a>
> +    </td>
> +    <td>Santosh Nagarakatte, Jianzhou Zhao, Milo M K Martin, and
> +        Steve Zdancewic</td>
> +    <td><a href="http://www.cis.upenn.edu/acg/softbound">SoftBound</ 
> a></td>
> +  </tr>
> </table>
> </div>
>
> @@ -513,6 +554,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/08 21:52:24 $
> +  Last modified: $Date: 2009/10/29 22:32:53 $
> </address>
> <!--#include virtual="footer.incl" -->
>
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits