Module: ppl/ppl Branch: master Commit: a082744fb5cdd09647455b0052de1f3b7862a3e0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a082744fb5cdd...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Apr 12 23:02:50 2012 +0200
Updated.
---
NEWS | 10 ++++++---- 1 files changed, 6 insertions(+), 4 deletions(-)
diff --git a/NEWS b/NEWS index 8efb8a6..ffe9aab 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<ITV> 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.