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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 8 22:41:02 2010 +0200

Pushed one item to PPL 0.12. We will not have 0.10.3 release.

---

TODO | 24 ++---------------------- 1 files changed, 2 insertions(+), 22 deletions(-)

diff --git a/TODO b/TODO index 3ade302..a617803 100644 --- a/TODO +++ b/TODO @@ -2,34 +2,14 @@ Enhancements for PPL 0.11 =========================

-- Make all the *affine*image() methods uniform as far as the - specification is concerned. - Complete the ppl_pips man page.

-Commits to consider should we release PPL 0.10.3 -================================================ - -b4dcb2959e3cc7b74aaa9f20c865b848e206818b -(Fixed PPL_SPECIALIZE_LIMITS_INT.) - -9a08d1d3a98ca1af8ff0cb94017888528c6875a7 -(No longer use CS and PS as template parameter names.) - -e3460918400e04cf24fda33ff0cf9d18a95840b8 -(Updated from Gnulib.) - -b94dc7951129d065d858b6dbd932eac59a643f96 -(We cannot test the Java interface unless ENABLE_SHARED.) - -1c8a74aea14bce95dc1916df66995dd5a163eb2b -(New configuration option `--with-gmp-build=DIR'. -This allows to use a non-installed build of GMP in DIR.) - - Enhancements for PPL 0.12 or later versions ===========================================

+- Make all the *affine*image() methods uniform as far as the + specification is concerned. - Add the domain of circular linear progressions. - Finish the domain of intervals. - Intervals are best instantiated with checked numbers with