URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef984d10243cd... Merge: 8ca4f6890910a146f573d7a45d135aa6a07b6ece 513d2127e55faa6f5e7d29938b7315203a712df2 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Sep 24 20:49:48 2009 +0200
Merge branch 'master' into pip
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=513d2127e55fa... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Sep 24 16:34:32 2009 +0200
Fixed operator>>(std::istream&, Interval<Boundary, Info>&).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccd16569a7d2c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Sep 24 16:32:31 2009 +0200
Spurious print statement removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e61defee29d06... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Sep 24 16:23:44 2009 +0200
New constructor explicit Interval::Interval(const char* s).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e677160d1606... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Sep 18 20:24:35 2009 +0200
Make sure the latest changes to NDEBUG effective.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba44339f4373e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Sep 17 16:12:17 2009 +0200
Fixed several rounding modes in Octagonal_Shape methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=255dd5501e74f... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Sep 17 15:49:53 2009 +0200
Fixed and simplified DIRTY_TEMP for use with -fno-elide-constructors.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb4d41cada4e9... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Sep 14 21:21:25 2009 +0200
Added missing comment.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04affbe1f914d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Sep 11 22:28:09 2009 +0200
Do not include <stdint.h>. The header files <stdint.h> and/or <inttypes.h> are included by ppl-config.h.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e103e539bb6f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Sep 11 22:27:40 2009 +0200
Make sure uintptr_t is defined, if at all possible.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a1b3b278146e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Sep 10 15:24:16 2009 +0200
Suggest using -fno-elide-constructors when configuring for coverage.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3dc3a4686aaf... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Sep 4 17:00:16 2009 +0200
Corrected a couple of typos in documentation of Variables_Set.