[llvm-commits] CVS: llvm-www/pubs/2008-08-SPIN-Pancam.html
Chris Lattner
sabre at nondot.org
Thu Aug 14 10:48:26 PDT 2008
Changes in directory llvm-www/pubs:
2008-08-SPIN-Pancam.html updated: 1.2 -> 1.3
---
Log message:
Fix attribution
---
Diffs of the changes: (+1 -1)
2008-08-SPIN-Pancam.html | 2 +-
1 files changed, 1 insertion(+), 1 deletion(-)
Index: llvm-www/pubs/2008-08-SPIN-Pancam.html
diff -u llvm-www/pubs/2008-08-SPIN-Pancam.html:1.2 llvm-www/pubs/2008-08-SPIN-Pancam.html:1.3
--- llvm-www/pubs/2008-08-SPIN-Pancam.html:1.2 Sun Jul 20 16:16:17 2008
+++ llvm-www/pubs/2008-08-SPIN-Pancam.html Thu Aug 14 12:46:53 2008
@@ -11,7 +11,7 @@
Verifying Multi-threaded C Programs with SPIN
</div>
<div class="pub_author">
- Anna Zaks and Amir Pnueli
+ Anna Zaks and Rajeev Joshi
</div>
<h2>Abstract:</h2>
More information about the llvm-commits
mailing list