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

Author: Enea Zaffanella zaffanella@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