
Module: ppl/ppl Branch: master Commit: 42110bebc56a874568f209c163e082eab144d4ea URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42110bebc56a8...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 11 19:06:17 2009 +0200
Another item dealt with.
---
TODO | 2 -- 1 files changed, 0 insertions(+), 2 deletions(-)
diff --git a/TODO b/TODO index 145be12..1b617f5 100644 --- a/TODO +++ b/TODO @@ -13,8 +13,6 @@ Enhancements for PPL 0.11 - Check the use or the NOT_EQUAL Relation_Symbol everywhere. - Reconsider the datatype for the units parameter in the Watchdog constructors: should we prefer an unsigned? -- Rename set_rational_sqrt_precision_parameter to - set_irrational_precision and make it available on all interfaces. - Intervals are best instantiated with checked numbers with particular policies: review all the interfaced boxes, augment the testsuite, and update the documentation.