[PPL-devel] [GIT] ppl/ppl(master): Announced availability of the deterministic timeout facilities.

[Enea Zaffanella]

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

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