September 2008 - PPL-devel - BUGSENG Mailman

[Fwd: [Bug 463742] New: Update version of ppl to 0.10pre27]
by Roberto Bagnara 24 Sep '08

24 Sep '08

-------- Original Message -------- Subject: [Bug 463742] New: Update version of ppl to 0.10pre27 Date: Wed, 24 Sep 2008 09:47:44 -0400 From: bugzilla(a)redhat.com To: bagnara(a)cs.unipr.it Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Update version of ppl to 0.10pre27 https://bugzilla.redhat.com/show_bug.cgi?id=463742 Summary: Update version of ppl to 0.10pre27 Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: high Component: ppl AssignedTo: bagnara(a)cs.unipr.it ReportedBy: dodji(a)redhat.com QAContact: extras-qa(a)fedoraproject.org CC: bagnara(a)cs.unipr.it Estimated Hours: 0.0 Classification: Fedora The ppl library has got a new snapshot tarball release. It's indirectly by current gcc development tree and thus is very important to have. The tarball is at http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ppl-0.10pre27.tar.bz2 -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. You are the assignee for the bug. -- 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/src Octagonal_Shape.templates.hh
by Roberto Bagnara 24 Sep '08

24 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-24 18:45:13 Modified files: src : Octagonal_Shape.templates.hh Log message: Spacing fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/doc README.doc
by Roberto Bagnara 24 Sep '08

24 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-24 18:41:48 Modified files: doc : README.doc Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=p…

1 0

ppl/interfaces/Java ppl_interface_generator_ja ...
by Patricia Hill 24 Sep '08

24 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-24 17:31:09 Modified files: interfaces/Java: ppl_interface_generator_java_procedure_generators.m4 interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 ppl_java_tests_common Log message: Schematic tests in m4 will generate tests for all Java interface methods. A couple of bugs in the code generator file jni/ppl_interface_generator_java_classes_cc_code.m4 fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_jav…

1 0

[Fwd: Updating ppl to 0.10preXX in Fedora?]
by Roberto Bagnara 24 Sep '08

24 Sep '08

-------- Original Message -------- Subject: Updating ppl to 0.10preXX in Fedora? Date: Thu, 04 Sep 2008 14:17:54 +0200 From: Denys Vlasenko <dvlasenk(a)redhat.com> To: Roberto Bagnara <bagnara(a)cs.unipr.it> CC: Patricia M. Hill <hill(a)comp.leeds.ac.uk>, Enea Zaffanella <zaffanella(a)cs.unipr.it> Hi, Can you update the Fedora ppl package to version 0.10preXX? gcc guys seem to require it, currently available 0.9.x seems to be a bit old. They say: "currently, gcc configure will just disable the new optimizations if sufficiently new ppl isn't found, but that might change soon into just refusing to configure." It seems that SUSE already did some packaging work on this, see http://download.opensuse.org/repositories/home:/rguenther/openSUSE_10.3/src/ I see that Roberto has done the packaging for Fedora. If he doesn't have a time to do the update, I can do it myself, if he doesn't mind me poking into his spec. Just drop me a note. Best regards, Denys. -- vda -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 2

[Fwd: [Bug math/6869] sin() and cos() return grossly wrong results when rounding is set to upward]
by Roberto Bagnara 24 Sep '08

24 Sep '08

-------- Original Message -------- Subject: [Bug math/6869] sin() and cos() return grossly wrong results when rounding is set to upward Date: 24 Sep 2008 10:43:58 -0000 From: anders dot lennartsson at foi dot se <sourceware-bugzilla(a)sourceware.org> Reply-To: sourceware-bugzilla(a)sourceware.org To: bagnara(a)cs.unipr.it References: <20080905193441.6869.bagnara(a)cs.unipr.it> ------- Additional Comments From anders dot lennartsson at foi dot se 2008-09-24 10:43 ------- The problem may occur on 64-bits only. I compiled and ran the test program on three computers, all Intel machines running Debian. Two of these use Debian 4.0 Etch, one 32 and one 64-bits, and the problem was present only on 64 bits. It is still there on a 64-bits machine with Debian unstable. Etch 32-bits: theta = 5.27906 sin(theta) = -0.843695 cos(theta) = 0.536822 Repeating after setting the rounding direction to UPWARD: theta = 5.27906 sin(theta) = -0.843695 cos(theta) = 0.536822 user@computer1:~/gcc$ g++ --v Using built-in specs. Target: i486-linux-gnu Configured with: ../src/configure -v --enable-languages=c,c++,fortran,objc,obj-c++,treelang --prefix=/usr --enable-shared --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --enable-nls --program-suffix=-4.1 --enable-__cxa_atexit --enable-clocale=gnu --enable-libstdcxx-debug --enable-mpfr --with-tune=i686 --enable-checking=release i486-linux-gnu Thread model: posix gcc version 4.1.2 20061115 (prerelease) (Debian 4.1.1-21) Etch 64-bits: theta = 5.27906 sin(theta) = -0.843695 cos(theta) = 0.536822 Repeating after setting the rounding direction to UPWARD: theta = 5.27906 sin(theta) = -0.212522 cos(theta) = 8.2185 user@computer2:~/gcc$ g++ --v Using built-in specs. Target: x86_64-linux-gnu Configured with: ../src/configure -v --enable-languages=c,c++,fortran,objc,obj-c++,treelang --prefix=/usr --enable-shared --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --enable-nls --program-suffix=-4.1 --enable-__cxa_atexit --enable-clocale=gnu --enable-libstdcxx-debug --enable-mpfr --enable-checking=release x86_64-linux-gnu Thread model: posix gcc version 4.1.2 20061115 (prerelease) (Debian 4.1.1-21) Sid 64-bits: theta = 5.27906 sin(theta) = -0.843695 cos(theta) = 0.536822 Repeating after setting the rounding direction to UPWARD: theta = 5.27906 sin(theta) = -0.247529 cos(theta) = 7.26962 user@computer3:/home_2/abel/gcc$ g++ --v Using built-in specs. Target: x86_64-linux-gnu Configured with: ../src/configure -v --with-pkgversion='Debian 4.3.2-1' --with-bugurl=file:///usr/share/doc/gcc-4.3/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --enable-nls --with-gxx-include-dir=/usr/include/c++/4.3 --program-suffix=-4.3 --enable-clocale=gnu --enable-libstdcxx-debug --enable-objc-gc --enable-mpfr --enable-cld --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu Thread model: posix gcc version 4.3.2 (Debian 4.3.2-1) -- http://sourceware.org/bugzilla/show_bug.cgi?id=6869 ------- You are receiving this mail because: ------- You reported the bug, or are watching the reporter. -- 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/interfaces/Java jni/ppl_interface_generato ...
by Patricia Hill 24 Sep '08

24 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-24 13:08:36 Modified files: interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 ppl_java_tests_common Log message: Fixed a bug in the Java interface cpde for the get_minimized methods. Added tests for swap and get_minimized. Added the congruences2 variable to the common code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_jav…

1 0

ppl/interfaces/Java jni/ppl_interface_generato ...
by Patricia Hill 24 Sep '08

24 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-24 12:21:00 Modified files: interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java.m4 ppl_interface_generator_java_test_java_code.m4 Log message: Corrected a bug when building from a grid_generator_system. Each method test has its own block, allowing for local variables. Each method test outputs a message and after checking the main domain element using OK(), outputs "success" if OK() succeeds. Added a few tests for constructing a domain element. Any procedure schemas not defined at all will now cause a warning message on standard output. Hence dummy definitions have been added for the procedure schemas that have no tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl/interfaces/Prolog/tests Makefile.am
by Patricia Hill 24 Sep '08

24 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-24 11:20:17 Modified files: interfaces/Prolog/tests: Makefile.am Log message: Removed an unused definition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Enea Zaffanella 24 Sep '08

24 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-24 09:00:23 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Corrected typo in name of distributed file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0