[PPL-devel] [GIT] ppl/ppl(master): More NEWS items added. Tentative release date set to April 14, 2009.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Apr  4 08:05:10 2009 +0200

More NEWS items added.  Tentative release date set to April 14, 2009.

---

 NEWS |   51 ++++++++++++++++++++++++++++++---------------------
 1 files changed, 30 insertions(+), 21 deletions(-)

diff --git a/NEWS b/NEWS
index f1e18f6..d185ac2 100644
--- a/NEWS
+++ b/NEWS
@@ -4,44 +4,53 @@ Parma Polyhedra Library NEWS -- history of user-visible changes
 
 
 --------------------------------------------------------------------------
-NEWS for version 0.10.1  (released date to be decided)
+NEWS for version 0.10.1  (released on April 14, 2009)
 --------------------------------------------------------------------------
 
 New and Changed Features
 ========================
 
-o  Some packaging issues have been fixed.
-
-o  Robustness improved.
-
 o  Added support for cross compilation.
 
-o  New macro PPL_DIRTY_TEMP_COEFFICIENT allows users of the C++ interface
-   to decrease memory allocation overhead and to improve locality whenever
-   they need a temporary variable of type `Coefficient'.
-
-o  The OCaml interface can now be compiled to native code using ocamlopt.
-
-o  New configuration option `--with-mlgmp=DIR' allows to specify the
-   installation directory of the ML GMP package.
-
 o  The configuration script now explicitly checks that a recent enough
    version of GNU M4 is available if at least one non-C++ interface is
    enabled (in previous versions this check was not performed and
    building the library could fail in a mysterious way).
 
+o  Robustness improved.
+
+o  Some packaging issues have been fixed.
+
+o  New macro PPL_DIRTY_TEMP_COEFFICIENT allows users of the C++
+   interface to decrease memory allocation overhead and to improve
+   locality whenever they need a temporary variable of type
+   `Coefficient'.
+
+o  The C++, C, Java and OCaml interfaces now provide utility functions
+   to format the textual representations of constraints, congruences
+   and so on.  This makes it easy to code debugging prints with line
+   indentation and wrapping.
+
 o  The C interface now provides functions of the form
 
      int ppl_io_asprint_Polyhedron(char** strp, P x)
 
-   where `P' is any opaque pointer to a const PPL object. These functions
-   print `x' to a malloc-allocated string, a pointer to which is returned
-   via `strp'.
+   where `P' is any opaque pointer to a const PPL object. These
+   functions print `x' to a malloc-allocated string, a pointer to
+   which is returned via `strp'.
+
+o  The OCaml interface can now be compiled to native code using ocamlopt.
+
+o  New configuration option `--with-mlgmp=DIR' allows to specify the
+   installation directory of the ML GMP package.
+
+o  The OCaml interface now supports timeout computation facilities
+   through functions ppl_set_timeout and ppl_reset_timeout.  Moreover,
+   new functions ppl_Coefficient_is_bounded, ppl_Coefficient_min,
+   ppl_Coefficient_max and ppl_max_space_dimension have been added.
 
-o  The OCaml interface now supports timeout computation facilities through
-   functions ppl_set_timeout and ppl_reset_timeout. Moreover, new functions
-   ppl_Coefficient_is_bounded, ppl_Coefficient_min, ppl_Coefficient_max
-   and ppl_max_space_dimension have been added.
+o  The Prolog interfaces are no longer enabled by default in the
+   release tarballs (they are enabled by default in the Git versions).
 
 
 Bugfixes