[PPL-devel] [GIT] ppl/ppl(master): Pushed one item to PPL 0.12. We will not have 0.10. 3 release.

[Roberto Bagnara]

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

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