[PPL-devel] [GIT] ppl/w3ppl(master): Updated for the release of PPL 0.11.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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/">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.
+    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/">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>