diff options
| author | Enea Zaffanella <zaffanella@cs.unipr.it> | 2012-04-12 23:02:50 +0200 |
|---|---|---|
| committer | Enea Zaffanella <zaffanella@cs.unipr.it> | 2012-04-12 23:02:50 +0200 |
| commit | a082744fb5cdd09647455b0052de1f3b7862a3e0 (patch) | |
| tree | 849ed0fd6188181ada37e7cbce96355ee1100790 /NEWS | |
| parent | 7038a1b8de24d7ff4a44c49278e9192f948fabf7 (diff) | |
| download | ppl-a082744fb5cdd09647455b0052de1f3b7862a3e0.tar.gz ppl-a082744fb5cdd09647455b0052de1f3b7862a3e0.tar.bz2 ppl-a082744fb5cdd09647455b0052de1f3b7862a3e0.zip | |
Updated.
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. |