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)