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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 10 11:33:41 2010 +0200

Tentative release date is May 8, 2010. Reorganized and improved some news items.

---

NEWS | 78 +++++++++++++++++++++++++++++++++-------------------------------- 1 files changed, 40 insertions(+), 38 deletions(-)

diff --git a/NEWS b/NEWS index 74781bc..88347c0 100644 --- a/NEWS +++ b/NEWS @@ -4,45 +4,24 @@ Parma Polyhedra Library NEWS -- history of user-visible changes

-------------------------------------------------------------------------- -NEWS for version 0.11 (released date to be decided) +NEWS for version 0.11 (to be released on May 8, 2010) --------------------------------------------------------------------------

New and Changed Features ========================

-o Implementation of general (C and NNC) polyhedra speeded up. - -o When the PPL has been configured with - CPPFLAGS="-DPPL_ARM_CAN_CONTROL_FPU=1", the library initialization - procedure checks that the FPU can indeed be controlled and fails if - that is not the case. - -o New configure option --with-gmp-prefix supersedes the (now removed) - options --with-libgmp-prefix and --with-libgmpxx-prefix. +o New class PIP_Problem provides a Parametric Integer Programming + (PIP) problem solver (mainly based on P. Feautrier's + specification). The implementation combines a parametric dual + simplex algorithm using exact arithmetic with Gomory's cut + generation. + Still under beta testing.

o New "deterministic" timeout computation facilities: it is now possible to set computational bounds (on the library calls taking exponential time) that do not depend on the actual elapsed time and hence are independent from the actual computation environment (CPU, operating system, etc.). - Still under alpha testing. - -o The Java interface has to be explicitly initialized before use by - calling static method Parma_Polyhedra_Library.initialize_library(). - Initialization makes more explicit the exact point where PPL - floating point rounding mode is set; it also allows for the caching - of Java classes and field/method IDs, thereby reducing the overhead - of native method callbacks. - -o The C and Java interfaces now support timeout computation facilities. - -o New configuration option `--with-gmp-build=DIR' allows to use a - non-installed build of GMP in DIR. - -o New class PIP_Problem provides a Parametric Integer Programming (PIP) - problem solver mainly based on P. Feautrier's specification. - The implementation combines a parametric dual simplex algorithm using - exact arithmetic with Gomory's cut generation. - Still under beta testing. + Still under beta testing.

o New Linear_Expression methods

@@ -71,14 +50,37 @@ o For the PPL semantic objects, other than the Pointset_Powerset and and a value (v = val_n/val_d) closest to zero so that every point in the object satisfies the congruence (expr %= v) / f.

-o New reduction operator "Shape_Preserving_Reduction" has been added to - the Partially_Reduced_Product abstraction. - This operator is aimed at the product of a grid and a shape domain; - allowing the bounds of the shape to shrink to the touch the points - of the grid, such that the new bounds are parallel to the old bounds. +o New reduction operator "Shape_Preserving_Reduction" has been added + to the Partially_Reduced_Product abstraction. This operator is + aimed at the product of a grid and a shape domain, allowing the + bounds of the shape to shrink to touch the points of the grid, + such that the new bounds are parallel to the old bounds. + +o The Java interface has to be explicitly initialized before use by + calling static method Parma_Polyhedra_Library.initialize_library(). + Initialization makes more explicit the exact point where PPL + floating point rounding mode is set; it also allows for the caching + of Java classes and field/method IDs, thereby reducing the overhead + of native method callbacks. + +o The C and Java interfaces now support timeout computation facilities. + +o Implementation of general (C and NNC) polyhedra speeded up. + +o When the PPL has been configured with + CPPFLAGS="-DPPL_ARM_CAN_CONTROL_FPU=1", the library initialization + procedure checks that the FPU can indeed be controlled and fails if + that is not the case. + +o New configure option --with-gmp-prefix supersedes the (now removed) + options --with-libgmp-prefix and --with-libgmpxx-prefix. + +o New configuration option `--with-gmp-build=DIR' allows to use a + non-installed build of GMP in DIR. +

-Deprecated and removed methods ------------------------------- +Deprecated and Removed Methods +==============================

o All methods having a name ending in `_and_minimize' (e.g., add_constraints_and_minimize, poly_hull_assign_and_minimize, ...) @@ -441,8 +443,8 @@ o The methods (i.e., it has no constraints, generators, congruences or grid-generators, respectively).

-Deprecated and removed methods ------------------------------- +Deprecated and Removed Methods +==============================

o As all PPL semantic objects can now be constructed from boxes, the constructors