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

Author: Roberto Bagnara bagnara@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