Module: ppl/ppl Branch: master Commit: c6576478c6adb1d96bc9ce3d79d05f0e5cf4f988 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6576478c6adb... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat May 16 06:54:56 2009 +0200 Item removed: no big deal. --- TODO | 3 +-- 1 files changed, 1 insertions(+), 2 deletions(-) diff --git a/TODO b/TODO index 114ce6f..bae17fa 100644 --- a/TODO +++ b/TODO @@ -11,8 +11,6 @@ Enhancements for PPL 0.11 - Make all the *affine*image() methods uniform as far as the specification is concerned. - Check the use or the NOT_EQUAL Relation_Symbol everywhere. -- Get rid of ugly assign functions defined in anonymous namespace of - MIP_Problem.cc replacing it with a more general-purpose approach. - Reconsider the datatype for the units parameter in the Watchdog constructors: should we prefer an unsigned? - Intervals are best instantiated with checked numbers with @@ -23,6 +21,7 @@ Enhancements for PPL 0.11 at the time of writing): they provide features we have been looking for for years. + Commits to consider should we release PPL 0.10.3 ================================================