[PPL-devel] [GIT] ppl/w3ppl(master): Announced the graduation of Fabio Bossi and Marco Poletti.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: b0e57d5cf684f01b0201fa0d6c8cecca6b502668
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=b0e57d5cf684f01b0201fa0d6c8cecca6b502668

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Nov 17 19:59:39 2010 +0100

Announced the graduation of Fabio Bossi and Marco Poletti.

---

 htdocs/news.raw |   18 ++++++++++++++++++
 htdocs/ppl.raw  |   30 ++++++++++++++++--------------
 2 files changed, 34 insertions(+), 14 deletions(-)

diff --git a/htdocs/news.raw b/htdocs/news.raw
index 5a0b644..cc78ff6 100644
--- a/htdocs/news.raw
+++ b/htdocs/news.raw
@@ -10,6 +10,24 @@ of the Parma Polyhedra Library.
 <TABLE>
 
 <TR>
+  <TD VALIGN=TOP><TT>Nov 17, 2010</TT></TD>
+  <TD>
+    <STRONG>Two in one shot!</STRONG>
+    <BR>
+    Fabio Bossi got a Master's degree in Computer Science, with full marks
+    and honours and a thesis about the extensions he made to the PPL and
+    to the ECLAIR analyzer in order to support the correct approximation of
+    floating-point computations.
+    <BR>
+    Marco Poletti got a Laurea degree in Computer Science, with full marks
+    and honours and a thesis about his work on the sparse matrices that
+    are used in the MIP and PIP solvers of the PPL.
+    <BR>
+    <EM>Congratulations, Dottor<sup>2</sup> Bossi and Dottor Poletti!</EM>
+  </TD>
+</TR>
+
+<TR>
   <TD VALIGN=TOP><TT>Aug 02, 2010</TT></TD>
   <TD>
     <STRONG>PPL 0.11 has been released</STRONG>
diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw
index 2436a7d..6847965 100644
--- a/htdocs/ppl.raw
+++ b/htdocs/ppl.raw
@@ -50,10 +50,25 @@ version 3</A> or any later version).
 
 <TABLE>
 
+    <STRONG><FONT COLOR=red>Two in one shot!</FONT></STRONG>
+    <BR>
+    Fabio Bossi got a Master's degree in Computer Science, with full marks
+    and honours and a thesis about the extensions he made to the PPL and
+    to the ECLAIR analyzer in order to support the correct approximation of
+    floating-point computations.
+    <BR>
+    Marco Poletti got a Laurea degree in Computer Science, with full marks
+    and honours and a thesis about his work on the sparse matrices that
+    are used in the MIP and PIP solvers of the PPL.
+    <BR>
+    <EM>Congratulations, Dottor<sup>2</sup> Bossi and Dottor Poletti!</EM>
+  </TD>
+</TR>
+
 <TR>
   <TD VALIGN=TOP><TT>Aug 02, 2010</TT></TD>
   <TD>
-    <STRONG><FONT COLOR=red>PPL 0.11 has been released</FONT></STRONG>
+    <STRONG>PPL 0.11 has been released</STRONG>
     <BR>
     This release features a brand new Parametric Integer Programming
     (PIP) problem solver, "deterministic" timeout computation
@@ -65,19 +80,6 @@ version 3</A> or any later version).
   </TD>
 </TR>
 
-<TR>
-  <TD VALIGN=TOP><TT>Jun 12, 2009</TT></TD>
-  <TD>
-    <STRONG>The PPL has now a bug tracking system</STRONG>
-    <BR>
-    We have finally got round to setting up a
-    <A
-    HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>.
-    Users and developers are now strongly encouraged to use it
-    for communicating, commenting and keeping track of all PPL issues.
-  </TD>
-</TR>
-
 </TABLE>
 
 For older news items, see the <A HREF="news">complete news archive</A>.