URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ffa56a7f08ad... Merge: d865b7a741bdb503fdac52edbd5b2a700593a850 e61defee29d0688a72fbe707157351a85c9a35a1 Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu Sep 24 16:25:29 2009 +0200 Merge branch 'master' into floating_point 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. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a96e86127251... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Sat Aug 15 10:05:48 2009 +0200 Mention correction of bug in Pointset_Powerset maximize/minimize methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba692c7b20024... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Sat Aug 15 08:18:50 2009 +0200 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b52a2d273f4f9... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Sat Aug 15 08:15:14 2009 +0200 Corrected a bug in Pointset_Powerset methods minimize() and maximize(). We now return false if the powerset is found to be empty. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfff7e13e8817... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Sat Aug 15 08:10:19 2009 +0200 Corrected a few expected results in Powerset/maxmin1.cc. This uncovered a bug in Pointset_Powerset methods maximize() and minimize(), whereby we are returning true even for empty powersets.