Module: ppl/w3ppl Branch: master Commit: c6d91184f245d060ecb3fc4e726686c0221f69ef URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=c6d91184f24...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 17:16:37 2010 +0200
Updated for the release of PPL 0.11.
---
htdocs/news.raw | 15 +++++++++++++++ htdocs/ppl.raw | 51 +++++++++++++++++++++------------------------------ 2 files changed, 36 insertions(+), 30 deletions(-)
diff --git a/htdocs/news.raw b/htdocs/news.raw index a23308a..5a0b644 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -10,6 +10,21 @@ of the Parma Polyhedra Library. <TABLE>
<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> + +<TR> <TD VALIGN=TOP><TT>Jun 12, 2009</TT></TD> <TD> <STRONG>The PPL has now a bug tracking system</STRONG> diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index e6379d3..2436a7d 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -17,8 +17,11 @@ complexity/precision tradeoffs; and grids which represent regularly spaced points that satisfy a set of linear congruence relations. The library also supports finite powersets and products of (any kind of) -polyhedra and grids and a mixed integer linear programming problem -solver using an exact-arithmetic version of the simplex algorithm. +polyhedra and grids, a mixed integer linear programming problem +solver using an exact-arithmetic version of the simplex algorithm, +a parametric integer programming solver, and primitives for +the termination analysis via the automatic synthesis of +linear ranking functions. (<A HREF="details">More details</A> are available on the PPL's internal mechanisms.)
@@ -48,42 +51,30 @@ version 3</A> or any later version). <TABLE>
<TR> - <TD VALIGN=TOP><TT>Jun 12, 2009</TT></TD> + <TD VALIGN=TOP><TT>Aug 02, 2010</TT></TD> <TD> - <STRONG><FONT COLOR=red>The PPL has now a bug tracking system</FONT></STRONG> + <STRONG><FONT COLOR=red>PPL 0.11 has been released</FONT></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. + 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>
<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 VALIGN=TOP><TT>Jun 12, 2009</TT></TD> <TD> - <STRONG><FONT COLOR=red>PPL 0.10.2 has been released</FONT></STRONG> + <STRONG>The PPL has now a bug tracking system</STRONG> <BR> - This is a bugfix release. See the - <A HREF="Download/ftp/releases/0.10.2/NEWS">release notes</A> - for more information. + 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>