[PPL-devel] [GIT] ppl/ppl(master): Important item added.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Feb 16 21:43:32 2010 +0100

Important item added.

---

 TODO |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/TODO b/TODO
index 835ea2c..8c3cf6d 100644
--- a/TODO
+++ b/TODO
@@ -2,6 +2,10 @@
 Enhancements for PPL 0.11
 =========================
 
+- Deterministic timeouts are disabled whenever the PWL is disabled.
+  However, the PWL is disabled when OS support for dealing with
+  real and CPU time are unavailable, which is not relevant for
+  people that want to use deterministic timeouts.
 - Make all the *affine*image() methods uniform as far as the
   specification is concerned.
 - Look carefully at http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42115