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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon May 4 15:30:42 2009 +0200

Two new items added.

---

TODO | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/TODO b/TODO index c57a6cb..c0a11a1 100644 --- a/TODO +++ b/TODO @@ -8,6 +8,9 @@ Enhancements for PPL 0.11 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. - Get rid of ugly assign functions defined in anonymous namespace of MIP_Problem.cc replacing it with a more general-purpose approach. - Reconsider the datatype for the units parameter in the Watchdog