[PPL-devel] [GIT] ppl/ppl(master): Synchronized with the current reality.

[Roberto Bagnara]

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

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