[llvm-commits] CVS: llvm-www/pubs/2008-05-CoVaC.html 2008-08-SPIN-Pancam.html

[Chris Lattner]

Changes in directory llvm-www/pubs:

2008-05-CoVaC.html updated: 1.1 -> 1.2
2008-08-SPIN-Pancam.html updated: 1.1 -> 1.2
---
Log message:

remove ligatures.


---
Diffs of the changes:  (+2 -2)

 2008-05-CoVaC.html       |    2 +-
 2008-08-SPIN-Pancam.html |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)


Index: llvm-www/pubs/2008-05-CoVaC.html
diff -u llvm-www/pubs/2008-05-CoVaC.html:1.1 llvm-www/pubs/2008-05-CoVaC.html:1.2
--- llvm-www/pubs/2008-05-CoVaC.html:1.1	Sun Jul 20 16:05:38 2008
+++ llvm-www/pubs/2008-05-CoVaC.html	Sun Jul 20 16:16:16 2008
@@ -18,7 +18,7 @@
 <h2>Abstract:</h2>
 <blockquote>
 The paper presents a deductive framework for proving program equivalence 
-and its application to automatic verification of transformations performed
+and its application to automatic verification of transformations performed
 by optimizing compilers. To leverage existing program analysis techniques,
  we reduce the equivalence checking problem to 
 analysis of one system - a cross-product of the two input programs. We 


Index: llvm-www/pubs/2008-08-SPIN-Pancam.html
diff -u llvm-www/pubs/2008-08-SPIN-Pancam.html:1.1 llvm-www/pubs/2008-08-SPIN-Pancam.html:1.2
--- llvm-www/pubs/2008-08-SPIN-Pancam.html:1.1	Sun Jul 20 16:09:57 2008
+++ llvm-www/pubs/2008-08-SPIN-Pancam.html	Sun Jul 20 16:16:17 2008
@@ -30,7 +30,7 @@
 used by multi-threaded C programs. A feature of our approach is that it 
 can check code after compiler optimizations, which can sometimes introduce 
 race conditions. We describe how our tool addresses the state space 
-explosion problem by allowing users to define data abstraction functions 
+explosion problem by allowing users to define data abstraction functions 
 and to constrain the number of allowed context switches. We also describe 
 a reduction method that reduces context switches using dynamic 
 knowledge computed on-the-fly, while being sound for both safety and