[PPL-devel] [GIT] ppl/ppl(master): Added a couple of items.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Apr  2 14:42:01 2009 +0200

Added a couple of items.

---

 NEWS |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)

diff --git a/NEWS b/NEWS
index 469c04b..f1e18f6 100644
--- a/NEWS
+++ b/NEWS
@@ -38,6 +38,11 @@ o  The C interface now provides functions of the form
    print `x' to a malloc-allocated string, a pointer to which is returned
    via `strp'.
 
+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.
+
 
 Bugfixes
 ========
@@ -98,6 +103,8 @@ o  Fixed a bug in the OCaml interface, whereby functions of form
 o  Fixed a bug in the OCaml interface, whereby functions that returned
    an OCaml 'unit' type were returning the wrong value.
 
+o  Fixed several garbage collection related bugs in the OCaml interface.
+
 
 --------------------------------------------------------------------------
 NEWS for version 0.10  (released on November 4, 2008)