[PPL-devel] [GIT] ppl/w3ppl(master): Elena graduated!

29 Apr 2009

Module: ppl/w3ppl
Branch: master
Commit: a5c387377f97026f13296197d7d824d54aa2f3b2
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=a5c387377f9...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Apr 29 15:35:55 2009 +0200
Elena graduated!
---
htdocs/news.raw |   16 ++++++++++++++++
 htdocs/ppl.raw  |   18 +++++++++++++++++-
 2 files changed, 33 insertions(+), 1 deletions(-)

diff --git a/htdocs/news.raw b/htdocs/news.raw
index f126193..0ff0ead 100644
--- a/htdocs/news.raw
+++ b/htdocs/news.raw
@@ -10,6 +10,22 @@ of the Parma Polyhedra Library.
 <TABLE>
<TR>
+  <TD VALIGN=TOP><TT>Apr&nbsp;27,&nbsp;2009</TT></TD>
+  <TD>
+    <STRONG>Elena graduated!</STRONG>
+    <BR>
+    Elena Mazzi got her Laurea degree in Mathematics with a
+    dissertation on correct widening operators for weakly-relational
+    numerical abstractions.  The widening operators and algorithms
+    described and proved correct in her thesis are the ones used in
+    the <CODE>BD_Shape</CODE> and <CODE>Octagonal_Shape</CODE> classes
+    of the PPL.
+    <BR>
+    <EM>Congratulations, Dottoressa Mazzi!</EM>
+  </TD>
+</TR>
+
+<TR>
   <TD VALIGN=TOP><TT>Apr&nbsp;18,&nbsp;2009</TT></TD>
   <TD>
     <STRONG>PPL 0.10.2 has been released</STRONG>
diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw
index 112bb12..60fa6dd 100644
--- a/htdocs/ppl.raw
+++ b/htdocs/ppl.raw
@@ -48,6 +48,22 @@ version 3</A> or any later version).
 <TABLE>
<TR>
+  <TD VALIGN=TOP><TT>Apr&nbsp;27,&nbsp;2009</TT></TD>
+  <TD>
+    <STRONG><FONT COLOR=red>Elena graduated!</FONT></STRONG>
+    <BR>
+    Elena Mazzi got her Laurea degree in Mathematics with a
+    dissertation on correct widening operators for weakly-relational
+    numerical abstractions.  The widening operators and algorithms
+    described and proved correct in her thesis are the ones used in
+    the <CODE>BD_Shape</CODE> and <CODE>Octagonal_Shape</CODE> classes
+    of the PPL.
+    <BR>
+    <EM>Congratulations, Dottoressa Mazzi!</EM>
+  </TD>
+</TR>
+
+<TR>
   <TD VALIGN=TOP><TT>Apr&nbsp;18,&nbsp;2009</TT></TD>
   <TD>
     <STRONG><FONT COLOR=red>PPL 0.10.2 has been released</FONT></STRONG>
@@ -61,7 +77,7 @@ version 3</A> or any later version).
 <TR>
   <TD VALIGN=TOP><TT>Apr&nbsp;14,&nbsp;2009</TT></TD>
   <TD>
-    <STRONG><FONT COLOR=red>PPL 0.10.1 has been released</FONT></STRONG>
+    <STRONG>PPL 0.10.1 has been released</STRONG>
     <BR>
     This release includes several important improvements to PPL 0.10,
     among which is better portability (including the support for

    