Module: ppl/ppl Branch: master Commit: 10dc3fd3600d9f6f978dde677c8a3da31a7decbf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10dc3fd3600d9... Author: Patricia Hill <p.m.hill@leeds.ac.uk> Date: Thu Mar 26 12:31:24 2009 +0000 Report on two bugs fixed in the OCaml interface. --- NEWS | 13 +++++++++++++ 1 files changed, 13 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index 1833ebd..469c04b 100644 --- a/NEWS +++ b/NEWS @@ -85,6 +85,19 @@ o Fixed a bug in the Java/OCaml/Prolog interfaces, whereby o Fixed a bug in method Octagonal_Shape<T>::affine_image(var, expr) whereby a wrong result was computed under specific conditions. +o Fixed a bug in the OCaml interface, whereby functions of form + + ppl_..._widening_assign_with_tokens + + and + + ppl_..._extrapolation_assign_with_tokens + + could return a wrong number of tokens. + +o Fixed a bug in the OCaml interface, whereby functions that returned + an OCaml 'unit' type were returning the wrong value. + -------------------------------------------------------------------------- NEWS for version 0.10 (released on November 4, 2008)