September 2008 - PPL-devel - BUGSENG Mailman

ppl ./TODO src/Polyhedron_public.cc
by Enea Zaffanella 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-05 10:28:46 Modified files: . : TODO src : Polyhedron_public.cc Log message: (Temporarily) Reverted previous change, as it was causing too many troubles in the tests for the Partially_Reduced_Product. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.25… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Constraint.inlines.hh
by Roberto Bagnara 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-05 10:04:28 Modified files: src : Constraint.inlines.hh Log message: Fixed Constraint operator==(Variable, Variable). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif…

1 0

Testing ppl-0.10pre24 on i686-apple-darwin9
by dominiq＠lps.ens.fr 05 Sep '08

05 Sep '08

Hi, I have tried to test ppl-0.10pre24 built on i686-apple-darwin9 with gcc 4.4.0 from some yesterday trunk. So far I got 399 "PASS" for 24 "FAIL": 15 of them are missing symbols: ...21Grid_Generator_SystemENS_14Grid_GeneratorEEEvRT... (14 times) ...17Congruence_SystemENS_10CongruenceEEEvRT... (once) 2 bus errors and 7 "failed tests". Also the test 'memory1' has been running for more than four hours without completing. Is this normal? How long is it supposed to run on a 2.1Ghz Core2? Note that the present gcc 4.4.0 trunk is rather buggy due to several large merges which can explain some of the failures. If this is the case I can try a build with the 4.3.2 release. Dominique ================================================================================ Failures summary (... (1) refers to the first "Symbol not found:"). -------------------------------------------------------------------------------- dyld: lazy symbol binding failed: Symbol not found: __ZN23Pd14reduce_reducedINS_21Grid_Generator_SystemENS_14Grid_GeneratorEEEvRT_mmmmRKSt6vectorINS0_14Dimension_KindESaIS7_EEb Referenced from: /opt/ppl/ppl-0.10pre24/src/.libs/libppl.7.dylib Expected in: dynamic lookup dyld: Symbol not found: __ZN23Parma_Polyhedra_Library4Grid14reduce_reducedINS_21Grid_Generator_SystemENS_14Grid_GeneratorEEEvRT_mmmmRKSt6vectorINS0_14Dimension_KindESaIS7_EEb Referenced from: /opt/ppl/ppl-0.10pre24/src/.libs/libppl.7.dylib Expected in: dynamic lookup /bin/sh: line 1: 20748 Trace/BPT trap ${dir}$tst FAIL: pointsetpowerset3 ... (1) FAIL: product1 ====================================== 2 of 9 tests failed ... (1) FAIL: directproduct1 ... (1) FAIL: directproduct2 ... (1) FAIL: directproduct3 ... (1) FAIL: directproduct4 ... (1) FAIL: directproduct5 ... (1) FAIL: directproduct6 ... (1) FAIL: partiallyreducedproduct3 ... (1) FAIL: partiallyreducedproduct4 ====================================== 10 of 10 tests failed ... dyld: lazy symbol binding failed: Symbol not found: __ZN23Parma_Polyhedra_Library4Grid14reduce_reducedINS_17Congruence_SystemENS_10CongruenceEEEvRT_mmmmRKSt6vectorINS0_14Dimension_KindESaIS7_EEb Referenced from: /opt/ppl/ppl-0.10pre24/src/.libs/libppl.7.dylib Expected in: dynamic lookup dyld: Symbol not found: __ZN23Parma_Polyhedra_Library4Grid14reduce_reducedINS_17Congruence_SystemENS_10CongruenceEEEvRT_mmmmRKSt6vectorINS0_14Dimension_KindESaIS7_EEb Referenced from: /opt/ppl/ppl-0.10pre24/src/.libs/libppl.7.dylib Expected in: dynamic lookup /bin/sh: line 1: 37239 Trace/BPT trap ${dir}$tst FAIL: fromgrid1 ... (1) FAIL: frompartiallyreducedproduct1 ... (1) FAIL: pointsetpowerset2 ... failed tests: test04 FAIL: topclosed1 ... failed tests: test02 FAIL: refinewithconstraints2 ====================================== 5 of 62 tests failed ... ================== All 5 tests passed ================== ... /bin/sh: line 1: 53706 Bus error ${dir}$tst FAIL: bhmz05widening1 ... failts: test03 test06 test08 FAIL: congruences1 ... /bin/sh: line 1: 54359 Bus error ${dir}$tst FAIL: limitedbhmz05extrapolation1 ... ====================================== 3 of 64 tests failed ... =================== All 65 tests passed =================== ... =================== All 65 tests passed =================== ... failed tests: test12 FAIL: relations2 ... ====================================== 1 of 65 tests failed ... failed tests: test01 FAIL: ascii_dump_load1 failed tests: test05 FAIL: ascii_dump_load2 failed tests: test01 FAIL: ascii_dump_load3 ... PASS: mc91 PASS: membytes1 =====> stuck at 'memory1' for more than four hours on a 2.1Ghz Core2! <====

2 2

ppl/tests/Polyhedron congruences1.cc
by Enea Zaffanella 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-05 08:48:19 Modified files: tests/Polyhedron: congruences1.cc Log message: Update test according to new specification for addition of congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/congruences1…

1 0

ppl/tests/Powerset pointsetpowerset4.cc
by Enea Zaffanella 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-04 22:53:46 Modified files: tests/Powerset : pointsetpowerset4.cc Log message: Fixed tests 13 and 15, which were still assuming the old specification of add_congruence(s). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowers…

1 0

ppl/src Float.inlines.hh
by Roberto Bagnara 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-04 22:38:59 Modified files: src : Float.inlines.hh Log message: Include <climits>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs…

1 0

Re: [PPL-devel] ppl 1.0pre24 make check
by Roberto Bagnara 04 Sep '08

04 Sep '08

Jack Howarth wrote: > You might consider creating alternative 'make check' > for ppl 1.0 which doesn't take as long to run. Compared > to ppl 0.9, the 1.0 make check takes forever. On a 3 GB, > MacBook Pro Core2Duo 2.33GHz machine running Leopard, > the make check takes at least 3 hours Hi Jack, we have been thinking about that. There are two things to be considered: 1) The PPL is a rather complex library that provides several numerical abstractions, several of which in the form of C++ templates. While it is true that our testsuite is huge, no part of it is useless. Indeed, it happens all the time that a bug affects only one or two tests of the thousands that are run by `make check'. 2) It is true that our `make check' may be perceived as too heavy by some users. So we have come up with the following compromise: a) we have added a configure option --enable-check=X where X can be `thorough' or `quick'; b) the default for the CVS version is `thorough', so that developers and our build machines play safely; c) the default for the tarballs created with `make dist' is `quick' so that the users not particularly concerned with safety are not annoyed; d) in README.configure we will encourage all users to configure with --enable-check=thorough. What is missing is a decision of what to put in the `quick' checks. We need more time to thing about that (we will certainly cover all what is used by CLooG though). Anyway, do you think the above is an acceptable compromise? > at which time > it hits the memory1 test which seems to go into VM > and execute extremely slowly. All of the make check > passes up to that point. This is not normal. On my machine (which is less powerful than yours, both in terms of CPU power and of physical memory) I get: $ time memory1 real 0m0.059s user 0m0.040s sys 0m0.022s Can you please investigate your observation further? Alternatively, would it be possible to have access to the machine you mention for just an hour or so? All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

PPL v0.10 & GPLv2+
by Basile STARYNKEVITCH 04 Sep '08

04 Sep '08

Hello All, I am using PPL in the MELT branch of GCC. I am interested by knowing approximately: 1. When will the next version of PPL (0.10) be released? Hopefully soon... PPL is really in good shape 2. Is there any possibility to have the next version of PPL be GPLv3 compatible (ie legally usable inside GCC) http://gcc.gnu.org/ml/gcc-patches/2008-09/msg00375.html at least by switching to GPLv2+ (which is really not a big license change) Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***

2 2

ppl TODO
by Roberto Bagnara 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-04 21:24:36 Modified files: . : TODO Log message: Moved one item to the section "PPL 0.11 or later". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.25…

1 0

ppl configure.ac Makefile.am
by Roberto Bagnara 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-04 21:24:03 Modified files: . : configure.ac Makefile.am Log message: Added a new configure option `--enable-check' accepting the values `thorough', for the ordinary lengthy process, and `quick', for a quicker process yet to be defined. The default for the CVS distribution is `thorough', whereas tar and zip packages built with `make dist' default to `quick'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&…

1 0