[PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Thu Sep 24 16:25:47 CEST 2009
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ffa56a7f08adc848fadcc4cf5207f6a0c260538
Merge: d865b7a741bdb503fdac52edbd5b2a700593a850 e61defee29d0688a72fbe707157351a85c9a35a1
Author: Roberto Bagnara <bagnara at 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=e61defee29d0688a72fbe707157351a85c9a35a1
Author: Roberto Bagnara <bagnara at 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=0e677160d160688227ea68c318b0872d629f6b8a
Author: Roberto Bagnara <bagnara at 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=ba44339f4373e21010bc42e609c16cbba87bdceb
Author: Enea Zaffanella <zaffanella at 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=255dd5501e74f492c8270e62f052846254dac6cb
Author: Abramo Bagnara <abramo.bagnara at 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=cb4d41cada4e9a0cc4146ac0edc234d834fd3584
Author: Roberto Bagnara <bagnara at 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=04affbe1f914df631a682bf661b86232023c6d4e
Author: Roberto Bagnara <bagnara at 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=2e103e539bb6f64b214ee11c40dfcb6fe1b81d30
Author: Roberto Bagnara <bagnara at 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=6a1b3b278146ed990e74b338c1608471d3314be8
Author: Enea Zaffanella <zaffanella at 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=d3dc3a4686aaf3319695a946e8dd9890da9827d0
Author: Enea Zaffanella <zaffanella at 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=6a96e861272517118cfef7806f7b696dccd4d7e6
Author: Enea Zaffanella <zaffanella at 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=ba692c7b20024a266852f51e98fe709a4e02eb3b
Author: Enea Zaffanella <zaffanella at 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=b52a2d273f4f96eec4a2ac5bb453756906e52a88
Author: Enea Zaffanella <zaffanella at 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=dfff7e13e8817970647c38289b1f4e8d94999ea2
Author: Enea Zaffanella <zaffanella at 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.
More information about the PPL-devel
mailing list