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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jun 27 09:01:15 2012 +0200

Updated.

---

TODO | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/TODO b/TODO index 75b2e0d..4c74e74 100644 --- a/TODO +++ b/TODO @@ -1,6 +1,6 @@

-Enhancements for PPL 0.13 or later versions -=========================================== +Enhancements for PPL 1.1 or later versions +==========================================

- Make all the *affine*image() methods uniform as far as the specification is concerned. @@ -65,8 +65,8 @@ Enhancements for PPL 0.13 or later versions - Any_Pointset domain: check the interface for lacking or useless methods.

-Enhancements for PPL 0.14 or later versions -=========================================== +Enhancements for PPL 1.2 or later versions +==========================================

- Find a way to let the GMP and checked-int versions of the PPL coexist so as to allow using them in the same application.