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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jul 12 11:47:36 2009 +0200

Synchronized with the current reality.

---

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

diff --git a/TODO b/TODO index bae17fa..8f298f8 100644 --- a/TODO +++ b/TODO @@ -2,12 +2,10 @@ Enhancements for PPL 0.11 =========================

+- Consider adding the --with-gmp configure option, removing + --with-libgmp-prefix and --with-libgmpxx-prefix. - Add the domain of circular linear progressions. - Finish the domain of intervals. -- Supplement the "preemption" methods of the library allowing for - deterministic mechanisms (e.g., decrementing a counter and throwing - when it reaches zero). This will probably require changing the - current interface based on `abandon_expensive_computations'. - Make all the *affine*image() methods uniform as far as the specification is concerned. - Check the use or the NOT_EQUAL Relation_Symbol everywhere. @@ -16,10 +14,6 @@ Enhancements for PPL 0.11 - Intervals are best instantiated with checked numbers with particular policies: review all the interfaced boxes, augment the testsuite, and update the documentation. -- Reduce the number of FIXMEs to no more than 20. -- Switch to the latest versions of Autoconf and Automake (in beta test - at the time of writing): they provide features we have been looking - for for years.

Commits to consider should we release PPL 0.10.3 @@ -42,9 +36,11 @@ b94dc7951129d065d858b6dbd932eac59a643f96 This allows to use a non-installed build of GMP in DIR.)

-Enhancements for PPL 0.11 or later versions +Enhancements for PPL 0.12 or later versions ===========================================

+- Modify the Makefile.am's to extend silent mode to our own rules. +- Reduce the number of FIXMEs to no more than 20. - Consider switching to MLGMPIDL for the OCaml interface (see https://bugzilla.redhat.com/show_bug.cgi?id=491712). - Improve the OCaml interface by supporting dynamic loading.