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

Author: Roberto Bagnara bagnara@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&nbsp;17,&nbsp;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² Bossi and Dottor Poletti!</EM> + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Aug&nbsp;02,&nbsp;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² Bossi and Dottor Poletti!</EM> + </TD> +</TR> + <TR> <TD VALIGN=TOP><TT>Aug&nbsp;02,&nbsp;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&nbsp;12,&nbsp;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/%22%3Ebug 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>.