[llvm-commits] CVS: llvm-www/safecode/safecode.css index.html
Misha Brukman
brukman at cs.uiuc.edu
Mon Nov 24 16:23:01 PST 2003
Changes in directory llvm-www/safecode:
safecode.css added (r1.1)
index.html updated: 1.8 -> 1.9
---
Log message:
* Fixed up the intro/description paragraph, it was actually just a sentence
fragment.
* Cleaned up the layout, removed extraneous space (in the rendered HTML)
* Removed extraneous space around link strings
* Stylesheet-enabled the webpage
* It now conforms to HTML 4.01 Strict, so I added images to that effect.
---
Diffs of the changes: (+79 -46)
Index: llvm-www/safecode/safecode.css
diff -c /dev/null llvm-www/safecode/safecode.css:1.1
*** /dev/null Mon Nov 24 16:22:43 2003
--- llvm-www/safecode/safecode.css Mon Nov 24 16:22:33 2003
***************
*** 0 ****
--- 1,17 ----
+ /*
+ * Safecode website style sheet
+ */
+
+ /* Common styles */
+ .body { color: black; background: white; margin: 0 0 0 0 }
+
+ /* No borders on image links */
+ a:link img, a:visited img {border-style: none}
+
+ address img { float: right; width: 88px; height: 31px; }
+ address { clear: right; }
+
+ /* Page headers, sections */
+ .www_title { font-family: "Verdana, Arial, Sans serif";
+ font-size: 24pt; text-align: center;
+ font-weight: bold }
Index: llvm-www/safecode/index.html
diff -u llvm-www/safecode/index.html:1.8 llvm-www/safecode/index.html:1.9
--- llvm-www/safecode/index.html:1.8 Mon Nov 24 16:03:48 2003
+++ llvm-www/safecode/index.html Mon Nov 24 16:22:33 2003
@@ -1,68 +1,84 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
-<html><head><title>SAFE Code</title></head>
-<body bgcolor=white>
-<center><font size=+3 face=Verdana><b>SAFECode</b></font></center>
-<hr size=0>
-
-<H2>Static Analysis For safe Execution of Code </H2><br>
-
-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>
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
+ "http://www.w3.org/TR/html4/strict.dtd">
+<html>
+<head>
+ <title>SAFE Code</title>
+ <link rel="stylesheet" href="safecode.css" type="text/css">
+</head>
+<body>
+
+<div class="www_title">SAFECode</div>
+
+<hr>
+
+<H2>Static Analysis For safe Execution of Code</H2>
+
+<p>The purpose of the SAFECode project is 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.</p>
-<H3> Project Members : </H3>
+<H3>Project Members</H3>
+
+<H4>Faculty</H4>
-<H4>Faculty : </H4>
<ul>
-<li><a href="http://www.cs.uiuc.edu/~vadve" > Vikram Adve </a> <br>
+<li><a href="http://www.cs.uiuc.edu/~vadve">Vikram Adve</a></li>
</ul>
-<H4>Graduate Students : </H4>
+
+<H4>Graduate Students</H4>
+
<ul>
-<li><a href="http://llvm.cs.uiuc.edu/~dhurjati" > Dinakar Dhurjati </a> <br>
-<li><a href="mailto:kowshik at cs.uiuc.edu" > Sumant Kowshik </a> <br>
-<li><a href="http://www.nondot.org/~sabre" > Chris Lattner </a> <br><br>
+<li><a href="http://llvm.cs.uiuc.edu/~dhurjati">Dinakar Dhurjati</a></li>
+<li><a href="mailto:kowshik at cs.uiuc.edu">Sumant Kowshik</a></li>
+<li><a href="http://www.nondot.org/~sabre">Chris Lattner</a></li>
</ul>
-<br>
-
-<H3> Publications : </H3>
+<H3> Publications</H3>
<ul>
- <li> <a
- href="http://llvm.cs.uiuc.edu/pubs/2003-05-05-LCTES03-CodeSafety.html" > Memory Safety without Runtime Checks or Garbage Collection for
- Embedded Systems </a>, Dinakar Dhurjati, Sumant Kowshik, Vikram
- Adve and Chris Lattner. LCTES 2003.
- <li>
- <a href="http://llvm.cs.uiuc.edu/pubs/2002-08-08-CASES02-ControlC.html" >Ensuring Code
- Safety without Runtime Checks for Real Time Control Systems
- </a>, Sumant Kowshik, Dinakar Dhurjati, Vikram Adve : CASES
- 2002.
-
+ <li><a
+ href="http://llvm.cs.uiuc.edu/pubs/2003-05-05-LCTES03-CodeSafety.html">Memory
+ Safety without Runtime Checks or Garbage Collection for Embedded Systems</a>
+ <br>
+ Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner. LCTES
+ 2003.</li>
+ <li><a
+ href="http://llvm.cs.uiuc.edu/pubs/2002-08-08-CASES02-ControlC.html">Ensuring
+ Code Safety without Runtime Checks for Real Time Control Systems</a><br>
+ Sumant Kowshik, Dinakar Dhurjati, Vikram Adve. CASES 2002.</li>
</ul>
-<H3> Implementation : </H3>
+<H3>Implementation</H3>
+
+<p><img src="impl.jpg" alt="Implementation picture"></p>
- <IMG SRC="impl.jpg" ALT="IMPLEmentation picture">
+<H3>Download</H3>
-<H3> Download : </H3>
+<p>Not in public domain for now. Check this page later.</p>
-Not in public domain for now. Check this page later.
+<H3>Funding</H3>
-<H3> Funding : </H3> <bf>
-This project is sponsored
-by the NSF Embedded Systems program under award CCR-02-09202
-and in part by an NSF CAREER award, EIA-0093426 and ONR,
-N0004-02-0102.
+<p>This project is sponsored by the NSF Embedded Systems program under award
+CCR-02-09202 and in part by an NSF CAREER award, EIA-0093426 and ONR,
+N0004-02-0102.</p>
-<H3> Links : </H3>
+<H3>Links</H3>
<ul>
-<li> <a href="http://llvm.cs.uiuc.edu" > LLVM <br>
+<li><a href="http://llvm.cs.uiuc.edu">LLVM</a></li>
</ul>
+<hr>
+<address>
+ <a href="http://jigsaw.w3.org/css-validator/"><img
+ src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid CSS!"></a>
+ <a href="http://validator.w3.org/check/referer"><img
+ src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!" /></a>
+
+ <a href="mailto:dhurjati at cs.uiuc.edu">Dinakar Dhurjati</a>
+</address>
- <hr>
-<address><a href="mailto:dhurjati at cs.uiuc.edu">Dinakar Dhurjati</a></address>
</body>
</html>
More information about the llvm-commits
mailing list