June 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(floating_point): Revert " Put aside changes related to Floating_Point and Linear_Form classes."
by Abramo Bagnara 15 Jun '10

15 Jun '10

Module: ppl/ppl Branch: floating_point Commit: dc4a6a3651215889f2324fa073a85605ebe870b0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc4a6a365121… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jun 15 23:25:49 2010 +0200 Revert "Put aside changes related to Floating_Point and Linear_Form classes." This reverts commit 7e35772519cb39fdc042fbb6f68966280b5a1cf5. --- configure.ac | 1 + doc/definitions.dox | 167 ++++ doc/devref.doxyconf-html.in | 38 + doc/devref.doxyconf-latex.in | 38 + src/BD_Shape.defs.hh | 129 +++ src/BD_Shape.inlines.hh | 16 + src/BD_Shape.templates.hh | 724 ++++++++++++++ src/Box.defs.hh | 31 + src/Box.templates.hh | 52 + src/Cast_Floating_Point_Expression.defs.hh | 186 ++++ src/Cast_Floating_Point_Expression.inlines.hh | 69 ++ src/Cast_Floating_Point_Expression.templates.hh | 45 + src/Cast_Floating_Point_Expression.types.hh | 22 + src/Constant_Floating_Point_Expression.defs.hh | 178 ++++ src/Constant_Floating_Point_Expression.inlines.hh | 84 ++ src/Constant_Floating_Point_Expression.types.hh | 22 + src/Difference_Floating_Point_Expression.defs.hh | 227 +++++ ...Difference_Floating_Point_Expression.inlines.hh | 74 ++ ...fference_Floating_Point_Expression.templates.hh | 52 + src/Difference_Floating_Point_Expression.types.hh | 22 + src/Division_Floating_Point_Expression.defs.hh | 243 +++++ src/Division_Floating_Point_Expression.inlines.hh | 74 ++ ...Division_Floating_Point_Expression.templates.hh | 60 ++ src/Division_Floating_Point_Expression.types.hh | 22 + src/Floating_Point_Expression.defs.hh | 212 +++++ src/Floating_Point_Expression.inlines.hh | 54 ++ src/Floating_Point_Expression.templates.hh | 113 +++ src/Floating_Point_Expression.types.hh | 22 + src/Linear_Form.cc | 26 + src/Linear_Form.defs.hh | 423 +++++++++ src/Linear_Form.inlines.hh | 222 +++++ src/Linear_Form.templates.hh | 429 +++++++++ src/Linear_Form.types.hh | 22 + src/Makefile.am | 40 +- ...ultiplication_Floating_Point_Expression.defs.hh | 257 +++++ ...iplication_Floating_Point_Expression.inlines.hh | 77 ++ ...lication_Floating_Point_Expression.templates.hh | 107 +++ ...ltiplication_Floating_Point_Expression.types.hh | 22 + src/Octagonal_Shape.defs.hh | 113 +++ src/Octagonal_Shape.inlines.hh | 45 + src/Octagonal_Shape.templates.hh | 774 +++++++++++++++ src/Opposite_Floating_Point_Expression.defs.hh | 198 ++++ src/Opposite_Floating_Point_Expression.inlines.hh | 83 ++ src/Opposite_Floating_Point_Expression.types.hh | 22 + src/Polyhedron.defs.hh | 189 ++++ src/Polyhedron.inlines.hh | 47 + src/Polyhedron.templates.hh | 284 ++++++ src/Polyhedron_nonpublic.cc | 1 + src/Sum_Floating_Point_Expression.defs.hh | 218 +++++ src/Sum_Floating_Point_Expression.inlines.hh | 75 ++ src/Sum_Floating_Point_Expression.templates.hh | 52 + src/Sum_Floating_Point_Expression.types.hh | 22 + src/Variable_Floating_Point_Expression.defs.hh | 192 ++++ src/Variable_Floating_Point_Expression.inlines.hh | 101 ++ src/Variable_Floating_Point_Expression.types.hh | 22 + tests/Floating_Point_Expression/.gitignore | 1 + tests/Floating_Point_Expression/Makefile.am | 184 ++++ tests/Floating_Point_Expression/bdshape1.cc | 334 +++++++ tests/Floating_Point_Expression/bdshape2.cc | 570 +++++++++++ tests/Floating_Point_Expression/digitalfilters1.cc | 1002 ++++++++++++++++++++ .../floatingpointexpr1.cc | 350 +++++++ tests/Floating_Point_Expression/linearform1.cc | 305 ++++++ tests/Floating_Point_Expression/octagonalshape1.cc | 344 +++++++ tests/Floating_Point_Expression/octagonalshape2.cc | 463 +++++++++ tests/Floating_Point_Expression/polyhedron1.cc | 277 ++++++ tests/Floating_Point_Expression/polyhedron2.cc | 241 +++++ tests/Floating_Point_Expression/run_tests | 55 ++ tests/Makefile.am | 1 + tests/ppl_test.hh | 93 ++ 69 files changed, 11259 insertions(+), 1 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=dc4a6a36…

1 0

[GIT] ppl/ppl(floating_point): Put aside changes related to Floating_Point and Linear_Form classes.
by Enea Zaffanella 15 Jun '10

15 Jun '10

Module: ppl/ppl Branch: floating_point Commit: 7e35772519cb39fdc042fbb6f68966280b5a1cf5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e35772519cb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jun 15 20:56:50 2010 +0200 Put aside changes related to Floating_Point and Linear_Form classes. These will not enter release 0.11. --- configure.ac | 1 - doc/definitions.dox | 167 ---- doc/devref.doxyconf-html.in | 38 - doc/devref.doxyconf-latex.in | 38 - src/BD_Shape.defs.hh | 129 --- src/BD_Shape.inlines.hh | 16 - src/BD_Shape.templates.hh | 724 -------------- src/Box.defs.hh | 31 - src/Box.templates.hh | 52 - src/Cast_Floating_Point_Expression.defs.hh | 186 ---- src/Cast_Floating_Point_Expression.inlines.hh | 69 -- src/Cast_Floating_Point_Expression.templates.hh | 45 - src/Cast_Floating_Point_Expression.types.hh | 22 - src/Constant_Floating_Point_Expression.defs.hh | 178 ---- src/Constant_Floating_Point_Expression.inlines.hh | 84 -- src/Constant_Floating_Point_Expression.types.hh | 22 - src/Difference_Floating_Point_Expression.defs.hh | 227 ----- ...Difference_Floating_Point_Expression.inlines.hh | 74 -- ...fference_Floating_Point_Expression.templates.hh | 52 - src/Difference_Floating_Point_Expression.types.hh | 22 - src/Division_Floating_Point_Expression.defs.hh | 243 ----- src/Division_Floating_Point_Expression.inlines.hh | 74 -- ...Division_Floating_Point_Expression.templates.hh | 60 -- src/Division_Floating_Point_Expression.types.hh | 22 - src/Floating_Point_Expression.defs.hh | 212 ----- src/Floating_Point_Expression.inlines.hh | 54 -- src/Floating_Point_Expression.templates.hh | 113 --- src/Floating_Point_Expression.types.hh | 22 - src/Linear_Form.cc | 26 - src/Linear_Form.defs.hh | 423 --------- src/Linear_Form.inlines.hh | 222 ----- src/Linear_Form.templates.hh | 429 --------- src/Linear_Form.types.hh | 22 - src/Makefile.am | 40 +- ...ultiplication_Floating_Point_Expression.defs.hh | 257 ----- ...iplication_Floating_Point_Expression.inlines.hh | 77 -- ...lication_Floating_Point_Expression.templates.hh | 107 --- ...ltiplication_Floating_Point_Expression.types.hh | 22 - src/Octagonal_Shape.defs.hh | 113 --- src/Octagonal_Shape.inlines.hh | 45 - src/Octagonal_Shape.templates.hh | 774 --------------- src/Opposite_Floating_Point_Expression.defs.hh | 198 ---- src/Opposite_Floating_Point_Expression.inlines.hh | 83 -- src/Opposite_Floating_Point_Expression.types.hh | 22 - src/Polyhedron.defs.hh | 189 ---- src/Polyhedron.inlines.hh | 47 - src/Polyhedron.templates.hh | 284 ------ src/Polyhedron_nonpublic.cc | 1 - src/Sum_Floating_Point_Expression.defs.hh | 218 ----- src/Sum_Floating_Point_Expression.inlines.hh | 75 -- src/Sum_Floating_Point_Expression.templates.hh | 52 - src/Sum_Floating_Point_Expression.types.hh | 22 - src/Variable_Floating_Point_Expression.defs.hh | 192 ---- src/Variable_Floating_Point_Expression.inlines.hh | 101 -- src/Variable_Floating_Point_Expression.types.hh | 22 - tests/Floating_Point_Expression/.gitignore | 1 - tests/Floating_Point_Expression/Makefile.am | 184 ---- tests/Floating_Point_Expression/bdshape1.cc | 334 ------- tests/Floating_Point_Expression/bdshape2.cc | 570 ----------- tests/Floating_Point_Expression/digitalfilters1.cc | 1002 -------------------- .../floatingpointexpr1.cc | 350 ------- tests/Floating_Point_Expression/linearform1.cc | 305 ------ tests/Floating_Point_Expression/octagonalshape1.cc | 344 ------- tests/Floating_Point_Expression/octagonalshape2.cc | 463 --------- tests/Floating_Point_Expression/polyhedron1.cc | 277 ------ tests/Floating_Point_Expression/polyhedron2.cc | 241 ----- tests/Floating_Point_Expression/run_tests | 55 -- tests/Makefile.am | 1 - tests/ppl_test.hh | 93 -- 69 files changed, 1 insertions(+), 11259 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7e357725…

1 0

floating point behaviour
by piotrm 15 Jun '10

15 Jun '10

Apologies if this is not the right place to inquire about this, cannot seem to find any other outlet: Is it correct behavior for floating point calculations to be done differently once ppl.hh is included in a c++ program as well as the printing of floats? Here is an example of what I'm referring to: #include <cstdio> int main() { double a = 0.50000000000000011102230246251565404236316680908203125; double b = 0.5f / a; printf("%0.60f %f %0.60f %f\n", a, a, b, b); return 0; } This prints (for me) 0.500000000000000111022302462515654042363166809082031250000000 0.500000 0.999999999999999777955395074968691915273666381835937500000000 1.000000 If I include ppl, as in below: #include <cstdio> #include "ppl.hh" int main() { double a = 0.50000000000000011102230246251565404236316680908203125; double b = 0.5f / a; printf("%0.60f %f %0.60f %f\n", a, a, b, b); return 0; } I get the following 0.500000000000000111022302462515654042363166809082031250000000 0.500000 0.999999999999999888977697537484345957636833190917968750000000 0.:00000 Notice the strange way the b is printed the second time. I also found instances where numbers that are close to 0.01 get printed as 0.00:000 Is this perhaps an installation issue on my part? I noticed this using the OCaml interface, that is, use of ppl changed the behavior of the float types in OCaml in the same way the behavior is changed in C++ above.

2 1

[GIT] ppl/ppl(master): Put aside changes related to Floating_Point and Linear_Form classes.
by Enea Zaffanella 15 Jun '10

15 Jun '10

Module: ppl/ppl Branch: master Commit: 7e35772519cb39fdc042fbb6f68966280b5a1cf5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e35772519cb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jun 15 20:56:50 2010 +0200 Put aside changes related to Floating_Point and Linear_Form classes. These will not enter release 0.11. --- configure.ac | 1 - doc/definitions.dox | 167 ---- doc/devref.doxyconf-html.in | 38 - doc/devref.doxyconf-latex.in | 38 - src/BD_Shape.defs.hh | 129 --- src/BD_Shape.inlines.hh | 16 - src/BD_Shape.templates.hh | 724 -------------- src/Box.defs.hh | 31 - src/Box.templates.hh | 52 - src/Cast_Floating_Point_Expression.defs.hh | 186 ---- src/Cast_Floating_Point_Expression.inlines.hh | 69 -- src/Cast_Floating_Point_Expression.templates.hh | 45 - src/Cast_Floating_Point_Expression.types.hh | 22 - src/Constant_Floating_Point_Expression.defs.hh | 178 ---- src/Constant_Floating_Point_Expression.inlines.hh | 84 -- src/Constant_Floating_Point_Expression.types.hh | 22 - src/Difference_Floating_Point_Expression.defs.hh | 227 ----- ...Difference_Floating_Point_Expression.inlines.hh | 74 -- ...fference_Floating_Point_Expression.templates.hh | 52 - src/Difference_Floating_Point_Expression.types.hh | 22 - src/Division_Floating_Point_Expression.defs.hh | 243 ----- src/Division_Floating_Point_Expression.inlines.hh | 74 -- ...Division_Floating_Point_Expression.templates.hh | 60 -- src/Division_Floating_Point_Expression.types.hh | 22 - src/Floating_Point_Expression.defs.hh | 212 ----- src/Floating_Point_Expression.inlines.hh | 54 -- src/Floating_Point_Expression.templates.hh | 113 --- src/Floating_Point_Expression.types.hh | 22 - src/Linear_Form.cc | 26 - src/Linear_Form.defs.hh | 423 --------- src/Linear_Form.inlines.hh | 222 ----- src/Linear_Form.templates.hh | 429 --------- src/Linear_Form.types.hh | 22 - src/Makefile.am | 40 +- ...ultiplication_Floating_Point_Expression.defs.hh | 257 ----- ...iplication_Floating_Point_Expression.inlines.hh | 77 -- ...lication_Floating_Point_Expression.templates.hh | 107 --- ...ltiplication_Floating_Point_Expression.types.hh | 22 - src/Octagonal_Shape.defs.hh | 113 --- src/Octagonal_Shape.inlines.hh | 45 - src/Octagonal_Shape.templates.hh | 774 --------------- src/Opposite_Floating_Point_Expression.defs.hh | 198 ---- src/Opposite_Floating_Point_Expression.inlines.hh | 83 -- src/Opposite_Floating_Point_Expression.types.hh | 22 - src/Polyhedron.defs.hh | 189 ---- src/Polyhedron.inlines.hh | 47 - src/Polyhedron.templates.hh | 284 ------ src/Polyhedron_nonpublic.cc | 1 - src/Sum_Floating_Point_Expression.defs.hh | 218 ----- src/Sum_Floating_Point_Expression.inlines.hh | 75 -- src/Sum_Floating_Point_Expression.templates.hh | 52 - src/Sum_Floating_Point_Expression.types.hh | 22 - src/Variable_Floating_Point_Expression.defs.hh | 192 ---- src/Variable_Floating_Point_Expression.inlines.hh | 101 -- src/Variable_Floating_Point_Expression.types.hh | 22 - tests/Floating_Point_Expression/.gitignore | 1 - tests/Floating_Point_Expression/Makefile.am | 184 ---- tests/Floating_Point_Expression/bdshape1.cc | 334 ------- tests/Floating_Point_Expression/bdshape2.cc | 570 ----------- tests/Floating_Point_Expression/digitalfilters1.cc | 1002 -------------------- .../floatingpointexpr1.cc | 350 ------- tests/Floating_Point_Expression/linearform1.cc | 305 ------ tests/Floating_Point_Expression/octagonalshape1.cc | 344 ------- tests/Floating_Point_Expression/octagonalshape2.cc | 463 --------- tests/Floating_Point_Expression/polyhedron1.cc | 277 ------ tests/Floating_Point_Expression/polyhedron2.cc | 241 ----- tests/Floating_Point_Expression/run_tests | 55 -- tests/Makefile.am | 1 - tests/ppl_test.hh | 93 -- 69 files changed, 1 insertions(+), 11259 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7e357725…

1 0

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 15 Jun '10

15 Jun '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24d6f3e03340… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 10 14:04:20 2010 +0200 Moved Katy Dobson to the list of past contributors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e452159271ab… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri May 7 08:44:28 2010 +0200 Fixed comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7c20fa14445… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri May 7 07:49:16 2010 +0200 Removed current implementation of PPL_{LT,GT}_SILENT: the cure was worse than the disease. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9182bb6ab09… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri May 7 07:20:52 2010 +0200 Avoid temporary in smod_2exp. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df9bcf9e4ed2… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri May 7 06:11:49 2010 +0200 Better/canonical way to avoid gcc warning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=258de934add2… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue May 4 13:11:29 2010 +0200 Revert "Optimized smod_2exp_signed_int." This reverts commit 21d120a07448821720acd415213f9b08a9a14338. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21d120a07448… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue May 4 13:07:37 2010 +0200 Optimized smod_2exp_signed_int. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b07586183751… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Apr 17 12:00:38 2010 +0200 Refuse to compile on (very obsolete) architectures that are not using two's complement. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=140b42a24737… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 23 08:33:56 2010 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b75b69c4ea3e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 23 00:51:39 2010 +0200 Put under git control. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d882d4ea5dbe… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 22 23:59:57 2010 +0200 Added class Partial_Function to the PPL library. Java, Prolog and OCaml interfaces now use an object of this Partial_Function class when mapping the space dimensions of teh vector space. Some of the consistency checks that were performed by other variants of Partial_Function are now only done when in debugging mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b80536886e3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 22 15:20:33 2010 +0200 Fixed expected results for tests/Octagonal_Shape/writeoctagon1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c976419bcc8f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 22 14:42:20 2010 +0200 Use a C++ object to encode a Partial_Function in the Java interface. Current implementation is based on a copy of the Partial_Function type used in C++ tests: we should consider whether or not it would be appropriate to have this Partial_Function type as a first class PPL object. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64faa9223236… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 22 10:17:09 2010 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c30a06c1bbee… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 22 10:05:12 2010 +0200 Modified signature of method maps() in Java Partial_Function interface. Modified test implementation in tests/Test_Partial_Function.java accordingly (note though that TreeMap still uses Long objects). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=212a7409b929… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 21 18:55:53 2010 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a04daee5e4dc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 21 18:54:32 2010 +0200 Fixed the printing of equality constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9088b000d17c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 19 19:33:08 2010 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4fd40ebc37d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 19 19:19:42 2010 +0200 Added $(noinst_HEADERS) to BUILT_SOURCES so as to build ppl.hh early when !BUILD_CXX_INTERFACE. (Thanks to Ralf Wildenhues who identified the problem and to Sebastian Pop who reported a parallel build failure due to it.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7619e0ea164c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 15:16:17 2010 +0200 Properly document ppl_Coefficient_bits/1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41926a747ca7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 14:46:46 2010 +0200 Corrected a few typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fd68769135… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 14:06:50 2010 +0200 Corrected typo causing a bug in the XSB Prolog interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7db9d078f153… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 11:14:23 2010 +0200 Add method wrap_assign() to Pointset_Powerset. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89dc0e98630f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 11:13:48 2010 +0200 A minor stylistic improvement and a typo corrected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c2dac122ee1… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Apr 16 09:02:05 2010 +0200 Silenced warnings. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9cd3bb78c41… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 15 20:17:59 2010 +0100 A Prolog PIP_Problem test overflows positively for checked_int8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88c6e6e5b5a5… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 15 20:17:12 2010 +0100 Added tests in the Prolog interface for ppl_all_affine_quasi_ranking_functions_MS_* URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da7b38910703… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 15 20:15:00 2010 +0100 Added PIP_Problem predicates to list of predicates tested in pl_check.pl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c015df929272… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 15 18:04:34 2010 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf0c0ac2661a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 15 17:48:51 2010 +0200 Version number bumped.

1 0

math_utilities.inlines.hh:71: error:
by Z 15 Jun '10

15 Jun '10

Hello I suppose here is the most right place to report my problem for the installation. I am under MacBook Pro. Everything should be correctly configured especially --gmp is installed with enable-cxx option --configure of ppl is done with --with-libgmpxx-prefix=\sw (my gmp by fink) I verified and verified, tried and tried and still got such error (attached), can anyone tell me how to fix it? Many thanks. Z bash-3.2$ make make all-recursive Making all in . make[2]: Nothing to be done for `all-am'. Making all in utils make[2]: Nothing to be done for `all'. Making all in src make all-am /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/sw/include -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c -o Box.lo Box.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/sw/include -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.cc -fno-common -DPIC -o .libs/Box.o math_utilities.inlines.hh: In function 'void Parma_Polyhedra_Library::div_round_up(Parma_Polyhedra_Library::Checked_Number<T, P>&, const Parma_Polyhedra_Library::GMP_Integer&, const Parma_Polyhedra_Library::GMP_Integer&)': math_utilities.inlines.hh:71: error: 'Parma_Polyhedra_Library::Bool<true>::<anonymous enum>' is/uses anonymous type math_utilities.inlines.hh:71: error: trying to instantiate 'template<class T> struct Parma_Polyhedra_Library::Is_Checked' math_utilities.inlines.hh:71: error: 'Parma_Polyhedra_Library::Bool<true>::<anonymous enum>' is/uses anonymous type ... ... ... Box.templates.hh:894: error: trying to instantiate 'template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked' Box.templates.hh:894: error: 'Parma_Polyhedra_Library::Bool<true>::<anonymous enum>' is/uses anonymous type Box.templates.hh:894: error: trying to instantiate 'template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked' make[3]: *** [Box.lo] Error 1 make[2]: *** [all] Error 2 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2 bash-3.2$

2 1