[PPL-devel] [GIT] ppl/ppl(master): Two new items added.
Roberto Bagnara
bagnara at cs.unipr.it
Mon May 4 15:34:48 CEST 2009
Module: ppl/ppl
Branch: master
Commit: 1e712a9a26f8751191e73bedbb1e0d77f4c33b53
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e712a9a26f8751191e73bedbb1e0d77f4c33b53
Author: Roberto Bagnara <bagnara at 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
More information about the PPL-devel
mailing list