[PPL-devel] [GIT] ppl/ppl(master): Updated.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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.