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

[Vikram Adve]

Changes in directory llvm-www:

www-index.html updated: 1.64 -> 1.65

---
Log message:

Shortened project descriptions and fixed formatting bug.


---
Diffs of the changes:  (+6 -14)

Index: llvm-www/www-index.html
diff -u llvm-www/www-index.html:1.64 llvm-www/www-index.html:1.65
--- llvm-www/www-index.html:1.64	Fri Oct 24 10:41:29 2003
+++ llvm-www/www-index.html	Fri Oct 24 10:43:32 2003
@@ -392,18 +392,13 @@
 	        <i>region-based memory management</i> in a novel manner:
 		it partitions the heap into separate regions for distinct
 		instances of logical data structures (such as a tree or
-		a hash table).  This transformation can enable better
-		compiler-based memory management for program data structures.
+		a hash table).
 	        </li>
 		<li><em><strong>A Software Scheme for Online
 		Tracing</strong>:</em> We have developed a tracing scheme that
 		identifies frequently executed program paths at runtime,
 		and optionally extracts these paths into a software-managed
-		trace cache.  This technique uses an offline LLVM
-		transformation, plus a runtime instrumentation library 
-		that currently only works for Sparc code.  A key novel aspect
-		of our approach is that our scheme generates both native code
-		traces and the corresponding traces of LLVM code.
+		trace cache. This currently only works for Sparc code.
 		</li>
 		<li><em><strong>Transparent runtime optimization on
 		general-purpose processors</strong>:</em>
@@ -411,17 +406,14 @@
 		optimization system that operates on LLVM traces at runtime,
 		using the software tracing mechanism and trace cache above.
 		</li>
+                </td>
 		Other research projects in our group based on LLVM include:
                 <td>
 		<li><em><strong><a href="safecode/">SAFECode</a></strong>:</em>
 		SAFECode is a compiler-based system for enforcing program
-		safety, which informally means that an untrusted code segment
-		or module will not corrupt the memory state of its host
-		process.  SAFECode uses a type-safe subset of LLVM as its code 
-		representation, and is able to enforce memory safety for a
-	        type-safe C programs <i>without requiring garbage
-		collection.</i>
-		</li>
+		safety. SAFECode uses a type-safe subset of LLVM as its code 
+		representation.
+	        </li>
 		<li><em><strong>Virtual Processor Architectures</strong>:</em>
 		Using a virtual instruction set (such as a variant of LLVM) to
 		hide hardware processor architectures (or architectural