[PPL-devel] [GIT] ppl/ppl(master): We no longer have FIXME's for 0.10.1.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Apr  2 13:36:06 2009 +0200

We no longer have FIXME's for 0.10.1.

---

 TODO |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)

diff --git a/TODO b/TODO
index d35ffb1..a8c932c 100644
--- a/TODO
+++ b/TODO
@@ -2,7 +2,7 @@
 Enhancements for PPL 0.10.1 or later versions
 =============================================
 
-- Fix all the FIXME(0.10.1).
+- Update the NEWS file.
 
 
 Enhancements for PPL 0.11
@@ -36,6 +36,9 @@ Enhancements for PPL 0.11
 - Use the OCaml-Autoconf macros: https://forge.ocamlcore.org/frs/?group_id=69
   (see also
   http://rwmj.wordpress.com/2009/03/31/using-autoconf-for-ocaml-projects/).
+- Fix the methods Box<ITV>::refine_with_constraint/s so that they perform
+  a safe (i.e., always terminating) propagation instead of ignoring the
+  non-interval constraints.
 
 
 Enhancements for PPL 0.11 or later versions