[PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Mentioned the AIDA 2007 project.

[Roberto Bagnara]

Module: ppl/ppl
Branch: ppl-0_10-branch
Commit: a786a3fa3e3f0d6b0522dd9dbe16c4a2066faac6
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a786a3fa3e3f0d6b0522dd9dbe16c4a2066faac6

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Apr  9 21:41:10 2009 +0200

Mentioned the AIDA 2007 project.

---

 CREDITS |   16 ++++++++++------
 1 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/CREDITS b/CREDITS
index 5004e43..7316d9b 100644
--- a/CREDITS
+++ b/CREDITS
@@ -293,7 +293,7 @@ We are grateful for the following contributions:
   Linux community [51] for their kind assistance.
 
 - HiPEAC [52] sponsored the participation of Roberto Bagnara to the
-  Graphite Workshop [53.  This was very helpful to discuss the needs
+  Graphite Workshop [53].  This was very helpful to discuss the needs
   of Graphite [54] (a framework for high-level loop optimizations on
   the polyhedral model) and, more generally, of GCC [55] in terms of
   numerical abstractions and how the PPL can help.  Special thanks go
@@ -325,17 +325,20 @@ projects and organizations:
 - MURST project ``AIDA - Abstract Interpretation: Design and
   Applications'' [61];
 
+- PRIN project ``AIDA 2007 - Abstract Interpretation: Design and
+  Applications'' [62];
+
 - Royal Society Joint project 2004/R1-EU (UK-Italy)
   ``Automatic Detection of Unstable Numerical Computations'';
 
 - EPSRC (UK) project EP/C520726/1
-  ``Numerical Domains for Software Analysis'' [62];
+  ``Numerical Domains for Software Analysis'' [63];
 
 - Royal Society International Outgoing Short Visit 2007/R4
-  ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [63];
+  ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [64];
 
 - EPSRC (UK) project EP/G025177/1
-  ``Geometric Abstractions for Scalable Program Analyzers'' [63].
+  ``Geometric Abstractions for Scalable Program Analyzers'' [64].
 
 --------
 
@@ -400,5 +403,6 @@ projects and organizations:
 [59] http://www.cs.unipr.it/Projects/COFIN01
 [60] http://www.disi.unige.it/person/DelzannoG/cover/
 [61] http://www.cs.unipr.it/Projects/AIDA/
-[62] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html
-[63] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html
+[62] http://www.cs.unipr.it/Projects/AIDA2007/
+[63] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html
+[64] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html