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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 12 19:09:00 2009 +0200

Added a section on commits to consider should we release PPL 0.10.3.

---

TODO | 15 +++++++++++++++ 1 files changed, 15 insertions(+), 0 deletions(-)

diff --git a/TODO b/TODO index 1b617f5..b348a22 100644 --- a/TODO +++ b/TODO @@ -24,6 +24,21 @@ Enhancements for PPL 0.11 a safe (i.e., always terminating) propagation instead of ignoring the non-interval constraints.

+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.) +

Enhancements for PPL 0.11 or later versions ===========================================