[PPL-devel] [GIT] ppl/ppl(master): Added a section on commits to consider should we release PPL 0.10.3.
Roberto Bagnara
bagnara at cs.unipr.it
Tue May 12 19:09:56 CEST 2009
Module: ppl/ppl
Branch: master
Commit: 093849653148ff077f79585e68cd36e055d51163
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=093849653148ff077f79585e68cd36e055d51163
Author: Roberto Bagnara <bagnara at 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
===========================================
More information about the PPL-devel
mailing list