Module: ppl/w3ppl Branch: master Commit: 84f5000b8a0710259364ca00726602213dc5e25a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=84f5000b8a0... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Tue Jan 25 12:50:56 2011 +0100 Announced the transfer of copyright. --- htdocs/news.raw | 14 ++++++++++++++ htdocs/ppl.raw | 31 +++++++++++++++---------------- 2 files changed, 29 insertions(+), 16 deletions(-) diff --git a/htdocs/news.raw b/htdocs/news.raw index cc78ff6..ffb1678 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -10,6 +10,20 @@ of the Parma Polyhedra Library. <TABLE> <TR> + <TD VALIGN=TOP><TT>Jan 24, 2011</TT></TD> + <TD> + <STRONG>BUGSENG is the new copyright holder</STRONG> + <BR> + The copyright of the Parma Polyhedra Library has been transferred to + <A HREF=http://bugseng.com/">BUGSENG</A> a newly established spin-off + company of the <A HREF="http://www.unipr.it/">University of Parma</A>. + The PPL will of course continue to be free software, but commercial + licensing, support and maintenance is now available from + <A HREF=http://bugseng.com/">BUGSENG</A>. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Nov 17, 2010</TT></TD> <TD> <STRONG>Two in one shot!</STRONG> diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index eb566d3..23e0369 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -51,9 +51,23 @@ version 3</A> or any later version). <TABLE> <TR> + <TD VALIGN=TOP><TT>Jan 24, 2011</TT></TD> + <TD> + <STRONG><FONT COLOR=red>BUGSENG is the new copyright holder</FONT></STRONG> + <BR> + The copyright of the Parma Polyhedra Library has been transferred to + <A HREF=http://bugseng.com/">BUGSENG</A> a newly established spin-off + company of the <A HREF="http://www.unipr.it/">University of Parma</A>. + The PPL will of course continue to be free software, but commercial + licensing, support and maintenance is now available from + <A HREF=http://bugseng.com/">BUGSENG</A>. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Nov 17, 2010</TT></TD> <TD> - <STRONG><FONT COLOR=red>Two in one shot!</FONT></STRONG> + <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 @@ -68,21 +82,6 @@ version 3</A> or any later version). </TD> </TR> -<TR> - <TD VALIGN=TOP><TT>Aug 02, 2010</TT></TD> - <TD> - <STRONG>PPL 0.11 has been released</STRONG> - <BR> - This release features a brand new Parametric Integer Programming - (PIP) problem solver, "deterministic" timeout computation - facilities, support for termination analysis via the automatic - synthesis of linear ranking functions, support for the - approximation of computations involving (bounded) machine - integers, plus a number of other new minor features and - enhancements, including some speed improvements. - </TD> -</TR> - </TABLE> For older news items, see the <A HREF="news">complete news archive</A>.