From a082744fb5cdd09647455b0052de1f3b7862a3e0 Mon Sep 17 00:00:00 2001 From: Enea Zaffanella Date: Thu, 12 Apr 2012 23:02:50 +0200 Subject: Updated. --- NEWS | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'NEWS') diff --git a/NEWS b/NEWS index 8efb8a6e3..ffe9aabab 100644 --- a/NEWS +++ b/NEWS @@ -16,6 +16,12 @@ NEWS for version 0.12.1 (to be released on April 1?, 2012) New and Changed Features ======================== +o In the C, Java, OCaml and Prolog interfaces, modified the signature + of the function/method/predicate for setting the deterministic timeout + threshold. The new interfaces take two input values, named `unscaled' + and `scale', that are used to compute the threshold value as + `unscaled * 2^scale'. + o Added new Box methods bool has_upper_bound(Variable var, @@ -34,10 +40,6 @@ o Two BibTeX databases of papers related to the Parma Polyhedra Library Bugfixes ======== -o Fixed a bug in the Prolog interface whereby predicate - ppl_set_deterministic_timeout/1 was flagging arguments bigger than - 4294967295 as erroneous. - o Minor documentation fixes. o Portability improved. -- cgit v1.2.3