August 2014 - PPL-devel - BUGSENG Mailman

PPL and SWI-Prolog >= 7.1.x?
by Fred Mesnard 11 Oct '14

11 Oct '14

Hi there, does PPL work with SWI-Prolog >= 7.1.x? Thanks in advance, Fred

2 4

Re: [PPL-devel] FW: seg fault on override of a weak symbol in g++
by Roberto Bagnara 01 Oct '14

01 Oct '14

On 08/05/14 01:07, Keith Clifford wrote: > This is just an update about the Seg Fault that I had building PPL last > week. The issue is in the mingw compiler under certain circumstances which > are described below if you're interested and in the attached files. The > compiler and your test in the configure script indicate that the compiler > supports weak symbols but it really doesn't under specific circumstances > which the PPL build found. Anyway its in Cygwin's hands now. Hello Keith. thanks for the update. Please keep me posted. I am thinking that, even if Cygwin people fixes the issue, this will not happen until some time. Perhaps we should change the configure script so as to perform a more precise detection. What do you think? Thanks again, Roberto > -----Original Message----- > From: Keith Clifford [mailto:kclifford@tranaptic.ca] > Sent: August 4, 2014 2:10 PM > To: 'cygwin(a)cygwin.com' > Subject: seg fault on override of a weak symbol in g++ > > Hi, > I was trying to build the ppl 1.1 library and got a seg fault when running > one of the tests. I've narrowed it down to the attached test case. > > System: CYGWIN_NT-6.1 Keith-PC 1.7.31(0.272/5/3) 2014-07-25 11:26 x86_64 > Cygwin > > Both the following GCC's exhibit the problem Cygwin: > Using built-in specs. > COLLECT_GCC=i686-pc-mingw32-g++ > COLLECT_LTO_WRAPPER=/usr/lib/gcc/i686-pc-mingw32/4.7.3/lto-wrapper.exe > Target: i686-pc-mingw32 > Configured with: > /usr/src/packages/mingw-gcc/64/mingw-gcc-4.7.3-1/src/gcc-4.7.3/configure > --srcdir=/usr/src/packages/mingw-gcc/64/mingw-gcc-4.7.3-1/src/gcc-4.7.3 > --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin > --libexecdir=/usr/lib --datadir=/usr/share --localstatedir=/var > --sysconfdir=/etc --datarootdir=/usr/share --docdir=/usr/share/doc/mingw-gcc > -C --build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=i686-pc-mingw32 > --without-libiconv-prefix --without-libintl-prefix > --with-sysroot=/usr/i686-pc-mingw32/sys-root > --with-build-sysroot=/usr/i686-pc-mingw32/sys-root > --enable-languages=c,c++,fortran,objc,obj-c++ --disable-sjlj-exceptions > --with-dwarf2 --enable-shared --enable-libgomp --disable-win32-registry > --enable-libstdcxx-debug --disable-build-poststage1-with-cxx > --enable-version-specific-runtime-libs --disable-multilib > --enable-decimal-float=bid --disable-werror --enable-lto Thread model: win32 > gcc version 4.7.3 (GCC) > > Using built-in specs. > COLLECT_GCC=i686-w64-mingw32-g++ > COLLECT_LTO_WRAPPER=/usr/lib/gcc/i686-w64-mingw32/4.8.3/lto-wrapper.exe > Target: i686-w64-mingw32 > Configured with: > /cygdrive/i/szsz/tmpp/cygwin64/mingw64-i686/mingw64-i686-gcc-4.8.3-1/src/gcc > -4.8.3/configure > --srcdir=/cygdrive/i/szsz/tmpp/cygwin64/mingw64-i686/mingw64-i686-gcc-4.8.3- > 1/src/gcc-4.8.3 --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin > --sbindir=/usr/sbin --libexecdir=/usr/libexec --datadir=/usr/share > --localstatedir=/var --sysconfdir=/etc --libdir=/usr/lib > --datarootdir=/usr/share --docdir=/usr/share/doc/mingw64-i686-gcc > --htmldir=/usr/share/doc/mingw64-i686-gcc/html -C --build=x86_64-pc-cygwin > --host=x86_64-pc-cygwin --target=i686-w64-mingw32 --without-libiconv-prefix > --without-libintl-prefix --with-sysroot=/usr/i686-w64-mingw32/sys-root > --with-build-sysroot=/usr/i686-w64-mingw32/sys-root --disable-multilib > --disable-win32-registry > --enable-languages=c,ada,c++,fortran,lto,objc,obj-c++ > --enable-fully-dynamic-strings --enable-graphite --enable-libgomp > --enable-libquadmath --enable-libquadmath-support --enable-libssp > --enable-version-specific-runtime-libs --with-dwarf2 --with-gnu-ld > --with-gnu-as --with-tune=generic > --with-cloog-include=/usr/include/cloog-isl --with-system-zlib > --libexecdir=/usr/lib Thread model: win32 gcc version 4.8.3 (GCC) > > > When built with the default Cygwin compiler the problem doesn't occur. > Using built-in specs. > COLLECT_GCC=g++ > COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-pc-cygwin/4.8.3/lto-wrapper.exe > Target: x86_64-pc-cygwin > Configured with: > /cygdrive/i/szsz/tmpp/cygwin64/gcc/gcc-4.8.3-2/src/gcc-4.8.3/configure > --srcdir=/cygdrive/i/szsz/tmpp/cygwin64/gcc/gcc-4.8.3-2/src/gcc-4.8.3 > --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin > --libexecdir=/usr/libexec --datadir=/usr/share --localstatedir=/var > --sysconfdir=/etc --libdir=/usr/lib --datarootdir=/usr/share > --docdir=/usr/share/doc/gcc --htmldir=/usr/share/doc/gcc/html -C > --build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=x86_64-pc-cygwin > --without-libiconv-prefix --without-libintl-prefix --enable-shared > --enable-shared-libgcc --enable-static > --enable-version-specific-runtime-libs --enable-bootstrap > --disable-__cxa_atexit --with-dwarf2 --with-tune=generic > --enable-languages=ada,c,c++,fortran,lto,objc,obj-c++ --enable-graphite > --enable-threads=posix --enable-libatomic --enable-libgomp --disable-libitm > --enable-libquadmath --enable-libquadmath-support --enable-libssp > --enable-libada --enable-libgcj-sublibs --disable-java-awt --disable-symvers > --with-ecj-jar=/usr/share/java/ecj.jar --with-gnu-ld --with-gnu-as > --with-cloog-include=/usr/include/cloog-isl --without-libiconv-prefix > --without-libintl-prefix --with-system-zlib --libexecdir=/usr/lib Thread > model: posix gcc version 4.8.3 (GCC) > > In the attached files in weak.cpp if the line > static ios_base::Init __ioinit; > is commented out the seg fault doesn't occur. Doing a disassembly of weak.o > (objdump -d weak.o) shows that the call includes a nonzero offset that gets > applied when the weak symbol is overridden by the function in strong.o. The > offset is zero if the above mentioned line is commented out. > > Regards, > Keith > > -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com

2 4

new paper on polymake in Linear and Integer Programming
by Benjamin Lorenz 29 Sep '14

29 Sep '14

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Dear Colleagues, we have just finished our new paper on polymake, more precisely polymake in Linear and Integer Programming: Our focus are convex hull computations and counting/enumeration of integer points. We have evaluated several algorithms which are available from polymake and summarized our observations in a set of rule of thumbs. Apart from the algorithms implemented in polymake we used: - - for convex hull cdd, lrs, normaliz and ppl; - - for integer points 4ti2, latte and normaliz. It is available in the arXiv: http://arxiv.org/abs/1408.4653 We are happy to hear your comments and feedback. Best regards, the polymake team. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCAAGBQJT9c2UAAoJEA/+fctT4N1Qa8IQAJM8nbjn3S7/eRAyT17p72IQ qrjOvv2qQC/sa57XH0HvJUewvwr9wYm1CtMqzvEgwsY3FJ4IDp0xl3cM+sc2rImu ErjPB+kmuKWscmqHVxRmKdAAZELeAuvYNLTk1mSwhS6PuZ/52UzAJkfMzoOl0uFl yNOvLnPp3c2Cc3414LwqwHziSJAEuiNNmxblcG8sT/mB3NhzgRYpMnqhDtte2M94 11r9930/7GDNFKTgsU0Em3FlopKzLT4C6/O8ZH+x2kbqFxcwcQ2kZ/vK2GqUGJou sgc+LyvEELndJOUuEaJVltSVrITC+0i7IssmuZzeSeuPzirNzoa8DaUr1MpAkFpB VewcabK8pRB6h4b9jpeOeajYtye/L8t2GHqEkQECUyfbf9KAnrzlDmF7HD3PZtVC 7jT6kGQWx4p83k0FbC5G7FHHODgFk1/4Pifckg0bounkZX/K+Mzxk37MJtBDWPjb 2kt6w4NT00Txbtc7jeoldXDE1gAv6uKwED5RnNSv1QbE9xp1WYg0BgvCR1bQLV2x rQb/KxYRu38UpdB+KVrozQ5TWx8ffCjE+SanoM3xtwGc6MUtmuJB4f/nhKyEOl9S cpbS6xmLUJNM05lLbVlURMTX/U5ow4tIPTKSjanpNBauyzcQ3WmMSrsSHA4OK5N6 +K/B6h306YldwehSMz7k =XKQ0 -----END PGP SIGNATURE-----

3 2

[GIT] ppl/ppl(master): New commits
by Roberto Bagnara 21 Aug '14

21 Aug '14

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbc2d08da5e9… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Jul 28 21:45:24 2014 +0200 Use a monotonic indentation style. Fixes violations detected by ECLAIR checker B.MONOINDENT. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=270d1d0c5e09… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jul 27 09:29:04 2014 +0200 Comments should never be used for "commenting out" code. Fixes violations of rule EP1.17 detected by ECLAIR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1f5eb2caa2b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 2 16:58:24 2014 +0200 Keep source lines to a length of 120 characters or less. Fixes violations of rule LP1.41 detected by ECLAIR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10368f7e6fda… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Jun 30 18:00:31 2014 +0200 Avoid tabs. Fixes violations of rule UCRP1.RS1 detected by ECLAIR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a2ba6b6089a… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Jun 30 14:33:02 2014 +0200 Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe5b8f435d43… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Mon Jun 30 12:00:03 2014 +0200 Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR. Signed-off-by: Roberto Bagnara <roberto.bagnara(a)bugseng.com> URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36d6c9817821… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Mon Jun 30 02:32:03 2014 +0200 Added missing braces. Fixes violations of rule MP1.6-3-1 detected by ECLAIR. Signed-off-by: Roberto Bagnara <roberto.bagnara(a)bugseng.com> URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4125de9f40f… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jun 25 09:15:41 2014 +0200 Fixed permissions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf56af994e36… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Sat Jun 21 18:44:47 2014 +0200 Fixed brace position. Signed-off-by: Roberto Bagnara <roberto.bagnara(a)bugseng.com> URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d652b0b9d20… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jun 24 12:53:52 2014 +0200 Deleted trailing whitespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2c305abdf9b… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Tue Jun 24 08:48:41 2014 +0200 Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR. Signed-off-by: Roberto Bagnara <bagnara(a)cs.unipr.it> URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd70cc6e44ca… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Sat Jun 21 12:17:47 2014 +0200 Brace position fixed. Signed-off-by: Roberto Bagnara <roberto.bagnara(a)bugseng.com> URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c040ae00435… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 20 11:27:20 2014 +0200 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=178fed3200d9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 20 11:18:25 2014 +0200 Permissions fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8be0e6326fe… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 20 11:15:47 2014 +0200 Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15c8505625e4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 20 11:10:24 2014 +0200 Deleted trailing whitespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a62a3aa3cec4… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Thu Jun 19 18:33:33 2014 +0200 Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR. Signed-off-by: Roberto Bagnara <bagnara(a)cs.unipr.it> URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b66d45423488… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jun 18 21:56:56 2014 +0200 Deleted trailing whitespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00014551b6ab… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Mon Jun 16 09:02:53 2014 +0200 Readded newlines erased by mistake. Signed-off-by: Roberto Bagnara <roberto.bagnara(a)bugseng.com> URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d637a0f6e96… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 14 06:02:43 2014 +0200 Removed trailing whitespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d0fb6173407… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Sat Jun 14 02:24:01 2014 +0200 Added missing braces. Fixes violations of rule MP1.6-3-1 detected by ECLAIR. Signed-off-by: Roberto Bagnara <bagnara(a)cs.unipr.it> URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e46c22014f2… Merge: a483b63739b1dd78bda63892043873e0205c2ab3 fe759bb940ffa3083ec6eca0c8221d388bd2bb64 Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Jun 14 05:57:00 2014 +0200 Merge branch 'master' into compliance. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a483b63739b1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 12 13:49:18 2014 +0200 Missing brace added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ea46ae16ed0… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Thu Jun 12 12:57:37 2014 +0200 Added missing braces. Fixes violations of rules MP1.6-3-1 and MP1.6-4-1 detected by ECLAIR. Signed-off-by: Roberto Bagnara <bagnara(a)cs.unipr.it> URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5992421fdd82… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Mon Jun 9 15:44:24 2014 +0200 Do not declare more than one variable per declaration. Fixes violations of rule CP1.DCL04 detected by ECLAIR. Signed-off-by: Roberto Bagnara <bagnara(a)cs.unipr.it> URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=333a57b84a18… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Mon Jun 9 12:00:23 2014 +0200 Previous commit fixed. Signed-off-by: Roberto Bagnara <roberto.bagnara(a)bugseng.com> URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3dc0ba64a44… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Mon Jun 9 10:25:27 2014 +0200 Added missing braces. Fixes violations of rules MP1.6-3-1 and MP1.6-4-1 detected by ECLAIR Signed-off-by: Roberto Bagnara <roberto.bagnara(a)bugseng.com>

1 0

Failure building ppl under Cygwin 64 with a mingw target.
by Keith Clifford 01 Aug '14

01 Aug '14

Hi, I'm building a set of cross compilers to run under mingw and I got the error below. The set of packages and their versions to do the build are: Build machine: CYGWIN_NT-6.1 1.7.31(0.272/5/3) 2014-07-21 18:40 x86_64 Cygwin Components: gmp-6.0.0a mpfr-3.1.2 mpc-1.0.2 isl-0.12.2 cloog-0.18.1 ppl-1.1 binutils-2.24 gcc-4.9.1 newlib-2.1.0 gdb-7.7 I've attached the script, mkx, that I use for building the cross compilers, the test-suit log, and the make and check logs. The individual test logs are empty. I'm set up to run so if you'd like me to try anything, let me know and I can give it a go. When the build failed it said let you know and I'm going to continue investigating. I'll let you know if I find anything. Regards, Keith Keith Clifford Cell: 250 888-4558 Tranaptic Signature

2 6