[PPL-devel] [GIT] ppl/w3ppl(master): Elena graduated!
Roberto Bagnara
bagnara at cs.unipr.it
Wed Apr 29 15:36:06 CEST 2009
Module: ppl/w3ppl
Branch: master
Commit: a5c387377f97026f13296197d7d824d54aa2f3b2
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=a5c387377f97026f13296197d7d824d54aa2f3b2
Author: Roberto Bagnara <bagnara at 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 27, 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 18, 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 27, 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 18, 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 14, 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
More information about the PPL-devel
mailing list