March 2011 - PPL-devel - BUGSENG Mailman

ppl-0.10.2 check thorough test fail
by David Fang 02 Apr '11

02 Apr '11

Hello, With ppl-0.10.2, several Mac OS X fink users (including myself) have observed the following single test failure on 10.5 and 10.6, using Apple's gcc-4.2, arch i686-apple-darwin{9,10}, with thorough tests enabled: /usr/bin/grep -E "^Optimum value: " ../../../demos/ppl_lpsol/expected_mpz >expected_optima && /usr/bin/grep -E "^Optimum value: " obtained >obtained_optima && diff -u expected_optima obtained_optima --- expected_optima 2011-03-22 21:05:58.000000000 -0400 +++ obtained_optima 2011-03-22 21:05:58.000000000 -0400 @@ -1,9 +1,10 @@ -Optimum value: -3 -Optimum value: 2 +Optimum value: -2 +Optimum value: 1 Optimum value: 24.33333333 Optimum value: 43 Optimum value: 3089 Optimum value: 5201 +Optimum value: -2 Optimum value: 0 Optimum value: 225494.9632 Optimum value: -464.7531429 @@ -15,8 +16,8 @@ Optimum value: -73.36896911 Optimum value: 149.5887662 Optimum value: 964.30053 -Optimum value: -3.75 -Optimum value: 2.5 +Optimum value: -2 +Optimum value: 1 Optimum value: -1749.90013 Optimum value: 0 Optimum value: 834.6823529 @@ -44,9 +45,10 @@ Optimum value: 0 Optimum value: -70 Optimum value: 0 +Optimum value: -2 Optimum value: 0 Optimum value: 3438.2921 -Optimum value: 2.5 +Optimum value: 1 Optimum value: 46.42857143 Optimum value: 0 Optimum value: 0 make[4]: *** [check-local] Error 1 Most fink users that reported this have built ppl against gmp-4.3.2. I tested a build against gmp-5.0.1 and got the exact same result on i686-apple-darwin10. However, the same set of tests (check thorough) pass *cleanly* on powerpc-apple-darwin8 apple-gcc-4.0.1 (ppl-0.10.2 using gmp-4.3.2), which took over 4 days to run. Has anyone else observed this failure on this version/configuration? How severe is this test failure? (Unrelated note: ppl-0.11's tests run cleanly on i686-darwin10.) Fang David Fang http://www.csl.cornell.edu/~fang/ http://www.achronix.com/

4 11

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 29 Mar '11

29 Mar '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ea01c9bba1e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 19:01:11 2011 +0200 Grid_Generator: contain a Linear_Expression object instead of deriving from Linear_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13918c9948b3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 19:00:58 2011 +0200 Congruence: add the expression() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa9ca981b057… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 16:52:27 2011 +0200 Generator: contain a Linear_Expression object instead of deriving from Linear_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb3a7d277aca… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 16:33:53 2011 +0200 Constraint: contain a Linear_Expression object instead of deriving from Linear_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f735489673b1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 16:23:05 2011 +0200 Generator: add an expression() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ed26259f059… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 13:42:08 2011 +0200 Remove the Linear_Row class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b003e65bf86… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 13:39:11 2011 +0200 Grid_Generator: inherit directly from Linear_Expression instead of Linear_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e88dcdf52e68… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 13:38:56 2011 +0200 Generator: inherit directly from Linear_Expression instead of Linear_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71ad73f5e70b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 13:38:47 2011 +0200 Constraint: inherit directly from Linear_Expression instead of Linear_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9569181f9b68… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 13:01:16 2011 +0200 Congruence: remove an unnecessary include. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b23565484659… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 13:00:58 2011 +0200 Polyhedron: fix a comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b6c0fde526b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 13:00:31 2011 +0200 Polyhedron: add an include. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3803c60c5f7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 13:00:05 2011 +0200 MIP_Problem: add an include. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0df4eea117e3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 12:18:12 2011 +0200 Linear_Row: remove all methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ea65ac019d5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 11:50:17 2011 +0200 Grid_Generator: remove the Topology field, as Grid_Generator objects are always closed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0eaad935e823… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 11:42:36 2011 +0200 Grid_Generator: contain a Kind field and a Topology field instead of a Flags field. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=743be7ba65a4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 11:25:36 2011 +0200 Generator: contain a Kind field and a Topology field instead of a Flags field. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79065d5228d2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 10:57:55 2011 +0200 Constraint: contain a Kind field and a Topology field instead of a Flags field. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72266fa541cb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 10:56:42 2011 +0200 Generator: add a constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66f094f07375… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 27 10:43:53 2011 +0200 Linear_System: remove the add_pending_row() method that takes a Row::Flags argument. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a4af546896e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Mar 26 17:56:05 2011 +0100 Linear_Row: move the flags and all the methods involving flags to derived classes (Constraint, Generator and Grid_Generator). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e0e59630972… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Mar 26 13:59:13 2011 +0100 Revert "Generator: use neg_assign(Linear_Expression&) in the point() method." This reverts commit d89a15285d09313240874daf86f430b78a60502e. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2955cbf8add… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Mar 26 13:57:50 2011 +0100 Revert "Grid_Generator: use neg_assign(Linear_Expression&) in the parameter() and grid_poin() methods." This reverts commit 1544a3e194059ac1d51c460f71c81679f55bd158.

1 0

Re: [PPL-devel] why ppl configure fails
by Dennis Clarke 28 Mar '11

28 Mar '11

> I strongly suspect that the test program you used for this experiment > has nothing to do with PPL 0.11.2: > > $ wget ftp.cs.unipr.it:/pub/ppl/releases/0.11.2/ppl-0.11.2.tar.bz2 That *is* what I am using now. > ... > $ find ppl-0.11.2 -type f | xargs grep GMP_BITS_PER_MP_LIMB > $ Sorry .. I'll have to dig into this later .. like next week. Thus far however I have put too much time into it this weekend and still have never seen ppl compile and work once, ever, in the last few years it has never worked even once on a standard Solaris server. That is a very poor track record given that I can generally make most things work well on Solaris. Very very frustrating to work with ppl but I'll take another crack at it .. next week. -- Dennis Clarke dclarke(a)opensolaris.ca <- Email related to the open source Solaris dclarke(a)blastwave.org <- Email related to open source for Solaris

2 1

Re: [PPL-devel] ppl configure broken
by Dennis Clarke 28 Mar '11

28 Mar '11

> On 03/28/11 06:22, Dennis Clarke wrote: >> Until it is fixed in a release I can not use ppl in good faith. >> I'll drop it from our new software stack. > > Dennis, > > now please explain to me how this is the right tone to use on this > mailing list. Especially given the fact that (as per your numerous > requests) you were given a snapshot of PPL 0.11.2 to test with > on February 4, 2011 (23 days before the release), and you did not > provide any feedback. And today 3 messages in 1 hour using adjectives > like "broken" and sentences like the ones above. > Please show more respect for the PPL developers (and for yourself). > Thanks, > > Roberto > And Roberto I have tried numerous times to work with you to resolve issues. Have some respect for people that pour out hours and years and endless streams of money into open source projects and release software to a world of users. In fact .. I don't sign my emails with degrees and titles and endless baloney that means nothing .. I am just not as proud and superior as you I guess. In fact .. do whatever you want .. you have never been of much use to me. conduct yourself as you please .. Dennis

1 0

ppl configure broken
by Dennis Clarke 28 Mar '11

28 Mar '11

Even with gmp 4.3.2 ppl configure is broken : [titan] $ ./configure ABI=32 --host=i386-pc-solaris2.8 --build=i386-pc-solaris2.8 --prefix=/opt/bw --libdir=/opt/bw/lib/i386 --with-gmp-include=/opt/bw/include --with-gmp-lib=/opt/bw/lib/i386 --enable-dependency-tracking --enable-shared --enable-static checking build system type... i386-pc-solaris2.8 checking host system type... i386-pc-solaris2.8 checking for a BSD-compatible install... /opt/bw/bin/install -c . . . checking for uintptr_t... yes checking for ld used by GCC... /usr/ccs/bin/ld checking if the linker (/usr/ccs/bin/ld) is GNU ld... no checking for shared library run path origin... done checking for 64-bit host... no checking how to link with libgmp... /opt/bw/lib/i386/libgmp.so -R/opt/bw/lib/i386 checking how to link with libgmpxx... /opt/bw/lib/i386/libgmpxx.so /opt/bw/lib/i386/libgmp.so -R/opt/bw/lib/i386 -R/opt/bw/lib/i386 checking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options. [titan] $ Until it is fixed in a release I can not use ppl in good faith. I'll drop it from our new software stack. -- Dennis Clarke dclarke(a)opensolaris.ca <- Email related to the open source Solaris dclarke(a)blastwave.org <- Email related to open source for Solaris

2 1

why ppl configure fails
by Dennis Clarke 28 Mar '11

28 Mar '11

Just a guess but I'll bet your configure test code is looking for an old var that simply is not defined anymore. Thus : [titan] $ cat -n simple_test.cpp 1 #include <gmpxx.h> 2 #include <climits> 3 #include <string> 4 #include <sstream> 5 #include <iostream> 6 7 #if __GNU_MP_VERSION < 4 || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR < 1) || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR == 1 && __GNU_MP_VERSION_PATCHLEVEL < 3) 8 #GMP version 4.1.3 or higher is required 9 #endif 10 11 int 12 main() { 13 std::string header_version; 14 { 15 std::ostringstream s(header_version); 16 s << __GNU_MP_VERSION << "." << __GNU_MP_VERSION_MINOR; 17 // Starting from GMP version 4.3.0, the gmp_version variable 18 // always contains three parts. In previous versions the 19 // patchlevel was omitted if it was 0. 20 if (__GNU_MP_VERSION_PATCHLEVEL != 0 21 || __GNU_MP_VERSION > 4 22 || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR >= 3)) 23 s << "." << __GNU_MP_VERSION_PATCHLEVEL; 24 header_version = s.str(); 25 } 26 27 std::string library_version = gmp_version; 28 29 if (header_version != library_version) { 30 std::cerr 31 << "GMP header (gmp.h) and library (ligmp.*) version mismatch:\n" 32 << "header gives " << header_version << ";\n" 33 << "library gives " << library_version << "." << std::endl; 34 return 1; 35 } 36 37 if (sizeof(mp_limb_t)*CHAR_BIT != GMP_LIMB_BITS 38 || GMP_LIMB_BITS != mp_bits_per_limb) { 39 std::cerr 40 << "GMP header (gmp.h) and library (ligmp.*) bits-per-limb mismatch:\n" 41 << "header gives " << __GMP_BITS_PER_MP_LIMB << ";\n" 42 << "library gives " << mp_bits_per_limb << ".\n" 43 << "This probably means you are on a bi-arch system and\n" 44 << "you are compiling with the wrong header or linking with\n" 45 << "the wrong library." << std::endl; 46 return 1; 47 } 48 49 mpz_class n("3141592653589793238462643383279502884"); 50 return 0; 51 } 52 [titan] $ [titan] $ [titan] $ $CXX $CPPFLAGS -I/opt/bw/include -v -c -o simple_test.o simple_test.cpp Using built-in specs. COLLECT_GCC=/opt/csw/gcc4/bin/g++ COLLECT_LTO_WRAPPER=/opt/csw/gcc4/libexec/gcc/i386-pc-solaris2.8/4.5.1/lto-wrapper Target: i386-pc-solaris2.8 Configured with: ../gcc-4.5.1/configure --host=i386-pc-solaris2.8 --build=i386-pc-solaris2.8 --with-gnu-as --with-as=/opt/csw/bin/gas --without-gnu-ld --with-ld=/usr/ccs/bin/ld --with-cpu=i386 --enable-stage1-languages=c --enable-nls --enable-threads=posix --prefix=/opt/csw/gcc4 --with-local-prefix=/opt/csw --enable-shared --enable-multilib --with-pkgversion='Blastwave.org Inc. Mon Aug 9 07:10:45 GMT 2010' --with-bugurl=http://www.blastwave.org/support --enable-languages=c,c++,objc,fortran,ada --enable-bootstrap Thread model: posix gcc version 4.5.1 (Blastwave.org Inc. Mon Aug 9 07:10:45 GMT 2010) COLLECT_GCC_OPTIONS='-march=pentiumpro' '-malign-double' '-mpreferred-stack-boundary=8' '-m32' '-O3' '-fexceptions' '-D_TS_ERRNO' '-Dsun=1' '-Dunix=1' '-Di386=1' '-D__sun' '-D__unix' '-D__SunOS_5_8' '-D__i386' '-D__SVR4' '-DSOLARIS2=8' '-D_POSIX_PTHREAD_SEMANTICS' '-D_LARGEFILE64_SOURCE' '-I/opt/bw/include' '-v' '-c' '-o' 'simple_test.o' '-shared-libgcc' /opt/csw/gcc4/libexec/gcc/i386-pc-solaris2.8/4.5.1/cc1plus -quiet -v -I/opt/bw/include -D_TS_ERRNO -Dsun=1 -Dunix=1 -Di386=1 -D__sun -D__unix -D__SunOS_5_8 -D__i386 -D__SVR4 -DSOLARIS2=8 -D_POSIX_PTHREAD_SEMANTICS -D_LARGEFILE64_SOURCE simple_test.cpp -quiet -dumpbase simple_test.cpp -march=pentiumpro -malign-double -mpreferred-stack-boundary=8 -m32 -auxbase-strip simple_test.o -O3 -version -fexceptions -o /var/tmp//cca6qaec.s GNU C++ (Blastwave.org Inc. Mon Aug 9 07:10:45 GMT 2010) version 4.5.1 (i386-pc-solaris2.8) compiled by GNU C version 4.5.1, GMP version 4.3.1, MPFR version 2.4.2, MPC version 0.8.1 GGC heuristics: --param ggc-min-expand=82 --param ggc-min-heapsize=98255 ignoring nonexistent directory "/opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/../../../../i386-pc-solaris2.8/include" #include "..." search starts here: #include <...> search starts here: /opt/bw/include /opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/../../../../include/c++/4.5.1 /opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/../../../../include/c++/4.5.1/i386-pc-solaris2.8 /opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/../../../../include/c++/4.5.1/backward /opt/csw/include /opt/csw/gcc4/include /opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/include /opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/include-fixed /usr/include End of search list. GNU C++ (Blastwave.org Inc. Mon Aug 9 07:10:45 GMT 2010) version 4.5.1 (i386-pc-solaris2.8) compiled by GNU C version 4.5.1, GMP version 4.3.1, MPFR version 2.4.2, MPC version 0.8.1 GGC heuristics: --param ggc-min-expand=82 --param ggc-min-heapsize=98255 Compiler executable checksum: 9bd5ae1469b8af3369ce6260a5d1ccdd simple_test.cpp: In function 'int main()': simple_test.cpp:41:30: error: '__GMP_BITS_PER_MP_LIMB' was not declared in this scope [titan] $ [titan] $ grep "GMP_BITS_PER_MP_LIMB" /opt/bw/include/gmpxx.h [titan] $ grep "GMP_BITS_PER_MP_LIMB" /opt/bw/include/gmp.h [titan] $ however, if we "revert" back down to gmp 4.3.2 we see this : [titan] $ grep "GMP_BITS_PER_MP_LIMB" /opt/bw/include/gmp.h #define __GMP_BITS_PER_MP_LIMB 32 [titan] $ $CXX $CPPFLAGS -I/opt/bw/include -v -c -o simple_test.o simple_test.cpp Using built-in specs. COLLECT_GCC=/opt/csw/gcc4/bin/g++ COLLECT_LTO_WRAPPER=/opt/csw/gcc4/libexec/gcc/i386-pc-solaris2.8/4.5.1/lto-wrapper Target: i386-pc-solaris2.8 Configured with: ../gcc-4.5.1/configure --host=i386-pc-solaris2.8 --build=i386-pc-solaris2.8 --with-gnu-as --with-as=/opt/csw/bin/gas --without-gnu-ld --with-ld=/usr/ccs/bin/ld --with-cpu=i386 --enable-stage1-languages=c --enable-nls --enable-threads=posix --prefix=/opt/csw/gcc4 --with-local-prefix=/opt/csw --enable-shared --enable-multilib --with-pkgversion='Blastwave.org Inc. Mon Aug 9 07:10:45 GMT 2010' --with-bugurl=http://www.blastwave.org/support --enable-languages=c,c++,objc,fortran,ada --enable-bootstrap Thread model: posix gcc version 4.5.1 (Blastwave.org Inc. Mon Aug 9 07:10:45 GMT 2010) COLLECT_GCC_OPTIONS='-march=pentiumpro' '-malign-double' '-mpreferred-stack-boundary=8' '-m32' '-O3' '-fexceptions' '-D_TS_ERRNO' '-Dsun=1' '-Dunix=1' '-Di386=1' '-D__sun' '-D__unix' '-D__SunOS_5_8' '-D__i386' '-D__SVR4' '-DSOLARIS2=8' '-D_POSIX_PTHREAD_SEMANTICS' '-D_LARGEFILE64_SOURCE' '-I/opt/bw/include' '-v' '-c' '-o' 'simple_test.o' '-shared-libgcc' /opt/csw/gcc4/libexec/gcc/i386-pc-solaris2.8/4.5.1/cc1plus -quiet -v -I/opt/bw/include -D_TS_ERRNO -Dsun=1 -Dunix=1 -Di386=1 -D__sun -D__unix -D__SunOS_5_8 -D__i386 -D__SVR4 -DSOLARIS2=8 -D_POSIX_PTHREAD_SEMANTICS -D_LARGEFILE64_SOURCE simple_test.cpp -quiet -dumpbase simple_test.cpp -march=pentiumpro -malign-double -mpreferred-stack-boundary=8 -m32 -auxbase-strip simple_test.o -O3 -version -fexceptions -o /var/tmp//ccNDRaDm.s GNU C++ (Blastwave.org Inc. Mon Aug 9 07:10:45 GMT 2010) version 4.5.1 (i386-pc-solaris2.8) compiled by GNU C version 4.5.1, GMP version 4.3.1, MPFR version 2.4.2, MPC version 0.8.1 GGC heuristics: --param ggc-min-expand=82 --param ggc-min-heapsize=98255 ignoring nonexistent directory "/opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/../../../../i386-pc-solaris2.8/include" #include "..." search starts here: #include <...> search starts here: /opt/bw/include /opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/../../../../include/c++/4.5.1 /opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/../../../../include/c++/4.5.1/i386-pc-solaris2.8 /opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/../../../../include/c++/4.5.1/backward /opt/csw/include /opt/csw/gcc4/include /opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/include /opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/include-fixed /usr/include End of search list. GNU C++ (Blastwave.org Inc. Mon Aug 9 07:10:45 GMT 2010) version 4.5.1 (i386-pc-solaris2.8) compiled by GNU C version 4.5.1, GMP version 4.3.1, MPFR version 2.4.2, MPC version 0.8.1 GGC heuristics: --param ggc-min-expand=82 --param ggc-min-heapsize=98255 Compiler executable checksum: 9bd5ae1469b8af3369ce6260a5d1ccdd COLLECT_GCC_OPTIONS='-march=pentiumpro' '-malign-double' '-mpreferred-stack-boundary=8' '-m32' '-O3' '-fexceptions' '-D_TS_ERRNO' '-Dsun=1' '-Dunix=1' '-Di386=1' '-D__sun' '-D__unix' '-D__SunOS_5_8' '-D__i386' '-D__SVR4' '-DSOLARIS2=8' '-D_POSIX_PTHREAD_SEMANTICS' '-D_LARGEFILE64_SOURCE' '-I/opt/bw/include' '-v' '-c' '-o' 'simple_test.o' '-shared-libgcc' /opt/csw/bin/gas -v -I/opt/bw/include -V -Qy -s -o simple_test.o /var/tmp//ccNDRaDm.s GNU assembler version 2.20.1 (i386-pc-solaris2.8) using BFD version (GNU Binutils) 2.20.1.20100303 COMPILER_PATH=/opt/csw/gcc4/libexec/gcc/i386-pc-solaris2.8/4.5.1/:/opt/csw/gcc4/libexec/gcc/i386-pc-solaris2.8/4.5.1/:/opt/csw/gcc4/libexec/gcc/i386-pc-solaris2.8/:/opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/:/opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/:/usr/ccs/bin/ LIBRARY_PATH=/opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/:/usr/ccs/lib/:/opt/csw/gcc4/lib/gcc/i386-pc-solaris2.8/4.5.1/../../../:/lib/:/usr/lib/ COLLECT_GCC_OPTIONS='-march=pentiumpro' '-malign-double' '-mpreferred-stack-boundary=8' '-m32' '-O3' '-fexceptions' '-D_TS_ERRNO' '-Dsun=1' '-Dunix=1' '-Di386=1' '-D__sun' '-D__unix' '-D__SunOS_5_8' '-D__i386' '-D__SVR4' '-DSOLARIS2=8' '-D_POSIX_PTHREAD_SEMANTICS' '-D_LARGEFILE64_SOURCE' '-I/opt/bw/include' '-v' '-c' '-o' 'simple_test.o' '-shared-libgcc' [titan] $ works as expected. I *strongly* suspect your tests in the configure script are broken for newer gmp revs like 5.0.1 -- Dennis Clarke dclarke(a)opensolaris.ca <- Email related to the open source Solaris dclarke(a)blastwave.org <- Email related to open source for Solaris

2 1

configure: error: Cannot find GMP version 4.1.3 or higher.
by Dennis Clarke 28 Mar '11

28 Mar '11

After building and testing gmp-5.0.1 I find that the configure process in ppl 0.11.2 fails to recognize that it is available. What I see is this : checking how to link with libgmp... /opt/bw/lib/i386/libgmp.so -R/opt/bw/lib/i386 checking how to link with libgmpxx... /opt/bw/lib/i386/libgmpxx.so /opt/bw/lib/i386/libgmp.so -R/opt/bw/lib/i386 -R/opt/bw/lib/i386 checking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options. This is blatantly wrong. Is there a simple fix ? -- Dennis Clarke dclarke(a)opensolaris.ca <- Email related to the open source Solaris dclarke(a)blastwave.org <- Email related to open source for Solaris

2 1

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 26 Mar '11

26 Mar '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1544a3e19405… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 25 22:37:05 2011 +0100 Grid_Generator: use neg_assign(Linear_Expression&) in the parameter() and grid_poin() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d89a15285d09… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 25 22:29:32 2011 +0100 Generator: use neg_assign(Linear_Expression&) in the point() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d11cf78bcf6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 25 22:28:42 2011 +0100 Add a neg_assign() function that takes a Linear_Expression&. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5a783a6b866… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 25 22:20:37 2011 +0100 Linear_Expression: improve the constructors from Constraint, Generator and Grid_Generator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9f37c8865ec… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 25 22:06:05 2011 +0100 Scalar_Products: improve the internal implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aae7eee1bb48… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 25 21:19:51 2011 +0100 Scalar_Products: work on Linear_Expression objects instead of Dense_Row ones. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67f7b03b34d9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 25 19:40:38 2011 +0100 Linear_Row: contain a Linear_Expression instead of a Dense_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c4d11c8011c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 25 19:39:54 2011 +0100 Congruence: add the get_row() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d80a8e42a18… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Mar 24 09:59:29 2011 +0100 Constraint: remove the OK() method with an argument.

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 24 Mar '11

24 Mar '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf2f437c7280… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 23:21:12 2011 +0100 Fix some comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c18dffc65bbc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 23:15:39 2011 +0100 Polyhedron: use a Constraint_System instead of a Linear_System<Constraint>, in simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81fd96afeeca… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 23:12:17 2011 +0100 Polyhedron: the helper add_to_system_and_check_independence() function now takes an arbitrary system instead of a Linear_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91167edeb81c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 23:09:47 2011 +0100 Polyhedron: don't assume that Constraint IS-A Linear_Row, in topological_closure_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7dbd165d723… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 23:09:41 2011 +0100 Polyhedron: don't assume that Generator IS-A Linear_Row, in constrains(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4ecf493f06e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 23:06:56 2011 +0100 Polyhedron: don't assume that Generator IS-A Linear_Row, in BFT00_poly_hull_assign_if_exact(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa06188655ac… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 23:00:10 2011 +0100 Linear_System: remove the remove_trailing_space_dimensions() and remove_trailing_space_dimensions_without_normalizing() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=392b3108184c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 22:41:08 2011 +0100 Linear_System: call Row::swap_space_dimensions() in swap_space_dimensions(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5bcc0f12b3f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 22:40:30 2011 +0100 Grid_Generator: add a swap_space_dimensions() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62dc90dfd45a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 22:40:21 2011 +0100 Generator: add a swap_space_dimensions() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa8a1ab34947… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 22:40:10 2011 +0100 Constraint: add a swap_space_dimensions() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3d032074f1c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 22:32:35 2011 +0100 Linear_System: use Row::permute_space_dimensions() in permute_space_dimensions(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de9a59d2707f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 22:29:46 2011 +0100 Grid_Generator: add a permute_space_dimensions() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bce9f48e0e35… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 22:29:34 2011 +0100 Generator: add a permute_space_dimensions() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f0bfb842987… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 22:29:20 2011 +0100 Constraint: add a permute_space_dimensions() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d177a74f818… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 21:44:55 2011 +0100 *_System: invariants are now guaranteed, so make the OK() methods private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c7092ccbf5e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 20:22:39 2011 +0100 Linear_System: fix some comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c201fe1d70e5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 20:22:03 2011 +0100 Linear_Expression: contain a Dense_Row instead of a Linear_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f60eda0fab0a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 19:48:59 2011 +0100 Scalar_Products: (temporarily) work on Dense_Row objects instead of Linear_Row ones. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70799b2ea2d1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 22 19:22:51 2011 +0100 Linear_Expression: rename the get_linear_row() methods into get_row().

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 22 Mar '11

22 Mar '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd93ad98361e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 23:49:39 2011 +0100 Linear_System: all rows now have the same space dimension instead of the same number of columns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03a8a0f5004b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Mar 21 22:16:42 2011 +0100 Partially_Reduced_Product: if the space dimension is greater than max_space_dimension(), throw an error directly instead of constructing objects with the wrong dimensions and expecting them to throw. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95d1cf11a33c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 23:32:47 2011 +0100 Linear_System: the remove_space_dimensions() method now removes invalid rows from the system and uses the remove_space_dimensions() methods of rows objects. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67d69d12cb52… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 23:30:55 2011 +0100 Grid_Generator: add a remove_space_dimensions() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28716a577f6c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 23:30:29 2011 +0100 Generator: add a remove_space_dimensions() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb9d5834c636… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 23:30:13 2011 +0100 Constraint: add a remove_space_dimensions() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=750f19193282… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 23:14:53 2011 +0100 Generator: use a more meaningful format in ascii representation, and use it in Generator_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7ce400ab50a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 23:06:15 2011 +0100 tests/Polyhedron/linearsystem1: test Linear_System<Constraint> instead of Linear_System<Linear_Row>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df12ea847310… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 19:09:42 2011 +0100 Linear_Row: add the mark_as_{,not_}necessarily_closed() methods and change the semantics of set_topology() and set_{,not_}necessarily_closed(). Update client code to match. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0d82a2217d2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 19:09:36 2011 +0100 Generator: construct a valid object in the default constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d90529862261… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 12:35:01 2011 +0100 Polyhedron: use a Linear_System<Constraint> instead of a Linear_System<Linear_Row>, in simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f7eb492a0e5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 11:54:33 2011 +0100 Linear_System: remove the increase_space_dimension() method, use set_space_dimension() instead. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0502008385d2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 11:24:16 2011 +0100 Generator_System: affine_image() now takes a Variable instead of a column index. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7306b5675f80… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 11:04:10 2011 +0100 Constraint_System: affine_preimage() now takes a Variable instead of a column index. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a8bca38fea4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 10:45:54 2011 +0100 Swapping_Vector: use a swap() method instead of std::swap(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c51dee5b2ad6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 10:38:39 2011 +0100 Fix typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=330efa536acc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 10:26:26 2011 +0100 *_System: remove the swap_rows() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=452671e16508… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 10:23:49 2011 +0100 Polyhedron: use *_System::remove_row(), in simplify() (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=939801064fe9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Mar 20 10:16:15 2011 +0100 Polyhedron: use *_System::remove_row(), in simplify().

1 0