[PPL-devel] [GIT] ppl/w3ppl(master): Announced the transfer of copyright.
Roberto Bagnara
bagnara at cs.unipr.it
Tue Jan 25 12:57:02 CET 2011
Module: ppl/w3ppl
Branch: master
Commit: 84f5000b8a0710259364ca00726602213dc5e25a
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=84f5000b8a0710259364ca00726602213dc5e25a
Author: Roberto Bagnara <bagnara at 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>.
More information about the PPL-devel
mailing list