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

[Chris Lattner]

On Oct 29, 2009, at 5:52 PM, Tanya Lattner wrote:

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

Right, please merge them.  Also, the Dimmunix link doesn't appear to  
be llvm related.

-Chris

> 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
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits