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

Author: Roberto Bagnara bagnara@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.