diff options
| author | Roberto Bagnara <bagnara@cs.unipr.it> | 2009-05-16 06:54:56 +0200 |
|---|---|---|
| committer | Roberto Bagnara <bagnara@cs.unipr.it> | 2009-05-16 06:54:56 +0200 |
| commit | c6576478c6adb1d96bc9ce3d79d05f0e5cf4f988 (patch) | |
| tree | 1fb6ca8c04494dbfd2b09358c739af8f2a3d144b /TODO | |
| parent | 2fd53aaf53c5c90259a5acce36f68c0036f5651a (diff) | |
| download | ppl-c6576478c6adb1d96bc9ce3d79d05f0e5cf4f988.tar.gz ppl-c6576478c6adb1d96bc9ce3d79d05f0e5cf4f988.tar.bz2 ppl-c6576478c6adb1d96bc9ce3d79d05f0e5cf4f988.zip | |
Item removed: no big deal.
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -11,8 +11,6 @@ Enhancements for PPL 0.11 - 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 constructors: should we prefer an unsigned? - Intervals are best instantiated with checked numbers with @@ -23,6 +21,7 @@ Enhancements for PPL 0.11 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 ================================================ |