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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Jul 13 14:32:04 2009 +0200

Announced availability of the deterministic timeout facilities.

---

NEWS | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-)

diff --git a/NEWS b/NEWS index adb43c5..6543155 100644 --- a/NEWS +++ b/NEWS @@ -20,6 +20,12 @@ o When the PPL has been configured with o New configure option --with-gmp-prefix supersedes the (now removed) options --with-libgmp-prefix and --with-libgmpxx-prefix.

+o New "deterministic" timeout computation facilities: it is now possible + to set computational bounds (on the library calls taking exponential time) + that do not depend on the actual elapsed time and hence are independent + from the actual computation environment (CPU, operating system, etc.). + Still under alpha testing. + o The Java interface has to be explicitly initialized before use by calling static method Parma_Polyhedra_Library.initialize_library(). Initialization makes more explicit the exact point where PPL