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

Author: Enea Zaffanella zaffanella@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)