diff options
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -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. |