[PPL-devel] [GIT] ppl/ppl(master): Selected the items that should be done for 0.10.1: postponed the others.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Mar 21 15:28:10 2009 +0100

Selected the items that should be done for 0.10.1: postponed the others.

---

 TODO |   20 ++++++++++----------
 1 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/TODO b/TODO
index 9e5d8f8..49aff25 100644
--- a/TODO
+++ b/TODO
@@ -8,24 +8,24 @@ Enhancements for PPL 0.10.1 or later versions
   or not, with failure or not), the latter `make check' can succeed
   without testing anything.
 - Do not enable the Prolog interfaces by default in the release tarballs.
-- Improve the OCaml interface by supporting dynamic loading.
-- Enhance the support for systems not providing support for the IEEE
-  inexact flag.
-- `make check' in ppl_lpsol must run also the incremental version
-  of the simplex solver.
-- Complete the implementation of the --enable-check configure option.
-  Explain it in README.configure.
 - Explain the `--enable-ppl_lcdd' and `--enable-ppl_lpsol' in
   README.configure.
-- Intervals are best instantiated with checked numbers with
-  particular policies: review all the interfaced boxes,
-  augment the testsuite, and update the documentation.
 - Check the configuration dependent documentation for Prolog,
 
 
 Enhancements for PPL 0.11 or later versions
 ===========================================
 
+- Intervals are best instantiated with checked numbers with
+  particular policies: review all the interfaced boxes,
+  augment the testsuite, and update the documentation.
+- Improve the OCaml interface by supporting dynamic loading.
+- Enhance the support for systems not providing support for the IEEE
+  inexact flag.
+- `make check' in ppl_lpsol must run also the incremental version
+  of the simplex solver.
+- Complete the implementation of the --enable-check configure option.
+  Explain it in README.configure.
 - Make the library thread-safe.
 - Find a way to let the GMP and checked-int versions of the PPL coexist
   so as to allow using them in the same application.