[llvm-commits] CVS: llvm/www/safecode/index.html

Dinakar Dhurjati dhurjati at cs.uiuc.edu
Fri Jun 6 13:37:01 PDT 2003

Changes in directory llvm/www/safecode:

index.html updated: 1.2 -> 1.3

Log message:

Added some description

Diffs of the changes:

Index: llvm/www/safecode/index.html
diff -u llvm/www/safecode/index.html:1.2 llvm/www/safecode/index.html:1.3
--- llvm/www/safecode/index.html:1.2	Fri Jun  6 13:22:38 2003
+++ llvm/www/safecode/index.html	Fri Jun  6 13:36:08 2003
@@ -4,9 +4,13 @@
 <center><font size=+3 face=Verdana><b>SAFE Code</b></font></center>
 <hr size=0>
-<H2>Static Analysis for safe Execution of Code <br>
+<H2>Static Analysis For safe Execution of Code </H2><br>
-Publications : <bf>
+To enable program safety without runtime checks and garbage collection, through 100% or near-100% static enforcement of program safety properties.  SAFECode defines a code representation with minimal semantic restrictions designed to enable static enforcement of safety, using aggressive compiler techniques developed in this project.<br><br><br>
+<h3> Publications : </H3> <bf>
   <li> Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner :

More information about the llvm-commits mailing list