September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Ciao/Makefile.am GNU/Mak ...
by Patricia Hill 23 Sep '08

23 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-23 18:26:34 Modified files: interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am ppl_interface_generator_xsb_prolog_generated_test_P.m4 interfaces/Prolog/YAP: Makefile.am interfaces/Prolog/tests: Makefile.am Log message: Try to follow the standards for the makefiles. Fixed a bug in XSB/ppl_interface_generator_xsb_prolog_generated_test_P.m4 Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef…

1 0

ppl/interfaces/Prolog Ciao/Makefile.am SICStus ...
by Patricia Hill 23 Sep '08

23 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-23 17:06:59 Modified files: interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/tests: Makefile.am Added files: interfaces/Prolog/Ciao: ppl_interface_generator_ciao_prolog_generated_test_pl.m4 interfaces/Prolog/SICStus: sp_prolog_generated_test.pl interfaces/Prolog/SWI: swi_prolog_generated_test.pl interfaces/Prolog/XSB: ppl_interface_generator_xsb_prolog_generated_test_P.m4 interfaces/Prolog/tests: ppl_interface_generator_prolog_generated_test_pl.m4 ppl_interface_generator_prolog_generated_test_pl_code.m4 ppl_prolog_generated_test_common.pl Removed files: interfaces/Prolog/Ciao: ppl_interface_generator_ciao_predicate_check_pl.m4 interfaces/Prolog/SICStus: sp_predicate_check.pl interfaces/Prolog/SWI: swi_predicate_check.pl interfaces/Prolog/XSB: ppl_interface_generator_xsb_predicate_check_P.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 ppl_predicate_check_common.pl Log message: Renamed the predicate_check generated test files to have the form ppl_prolog_generated_test_<...>.xx The generating files and common files renamed similarly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_in… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_in… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pre… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_p…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Andrea Cimino 23 Sep '08

23 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-09-23 16:45:31 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 Log message: 'ascii_dump' added to OCaml interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_in…

1 0

ppl/tests/Partially_Reduced_Product directprod ...
by Patricia Hill 23 Sep '08

23 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-23 12:08:40 Modified files: tests/Partially_Reduced_Product: directproduct1.cc directproduct2.cc directproduct3.cc Log message: Cleaned several tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ…

1 0

ppl/tests/Box difference1.cc
by Patricia Hill 23 Sep '08

23 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-23 12:02:53 Modified files: tests/Box : difference1.cc Log message: New test14 shows a bug in difference_assign() Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/difference1.cc.diff…

1 0

ppl/src Octagonal_Shape.templates.hh
by Enea Zaffanella 23 Sep '08

23 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-23 10:07:00 Modified files: src : Octagonal_Shape.templates.hh Log message: Corrected bug in minimized_congruences, spotted by test09 in congruences1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Octagonal_Shape congruences1.cc
by Enea Zaffanella 23 Sep '08

23 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-23 10:04:49 Modified files: tests/Octagonal_Shape: congruences1.cc Log message: New test shows a bug in minimized_congruences (spotted by Pat). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/congrue…

1 0

ppl/doc devref-foreign-language-interface.doxy ...
by Enea Zaffanella 23 Sep '08

23 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-23 08:23:37 Modified files: doc : devref-foreign-language-interface.doxyconf.in interfaces-html.sed interfaces-latex.sed user-foreign-language-interface.doxyconf.in Log message: Avoid a Doxygen error for inexistent tagfile when building the LaTeX docs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-foreign-language-i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/interfaces-html.sed.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/interfaces-latex.sed.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-foreign-language-int…

1 0

More floating point problems on the Alpha
by Roberto Bagnara 23 Sep '08

23 Sep '08

[Thanks to all those who responded to my previous problem-report wrt to the IEEE inexact-flag on the Alpha. We have filed a bug report for that one.] Hi there, we keep finding problems on the Alpha, and we are unsure about what is going on. I anticipate that the present problem does not seem to be a compiler issue (except that the -mieee-with-inexact option promises full compliance with the IEEE floating point standard). However, I hope some Alpha expert can advise about how to investigate the issue further. Here are the details: $ cat bug.c #include <stdio.h> float f = 1.4e-45; double d = 1e-300; int main() { if (1.4e-45f > 1e-300) printf("compile-time test says 1.4e-45f > 1e-300\n"); if (f < d) printf(" run-time test says 1.4e-45f < 1e-300\n"); return 0; } $ gcc -mieee-with-inexact bug.c $ ./a.out compile-time test says 1.4e-45f > 1e-300 run-time test says 1.4e-45f < 1e-300 $ gcc -v Using built-in specs. Target: alpha-linux-gnu Configured with: ../src/configure -v --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.2 --program-suffix=-4.2 --enable-clocale=gnu --enable-libstdcxx-debug --enable-objc-gc --enable-mpfr --disable-libssp --with-long-double-128 --enable-checking=release --build=alpha-linux-gnu --host=alpha-linux-gnu --target=alpha-linux-gnu Thread model: posix gcc version 4.2.4 (Debian 4.2.4-3) $ cat /proc/cpuinfo cpu : Alpha cpu model : EV56 cpu variation : 7 cpu revision : 0 cpu serial number : system type : Rawhide system variation : Tincup system revision : 0 system serial number : AY74642662 cycle frequency [Hz] : 399642346 est. timer frequency [Hz] : 1200.00 page size [bytes] : 8192 phys. address bits : 40 max. addr. space # : 127 BogoMIPS : 705.16 kernel unaligned acc : 0 (pc=0,va=0) user unaligned acc : 35 (pc=20000074c18,va=87) platform string : AlphaServer 1200 5/400 4MB cpus detected : 1 cpus active : 1 cpu active mask : 0000000000000001 L1 Icache : 8K, 1-way, 32b line L1 Dcache : 8K, 1-way, 32b line L2 cache : 96K, 3-way, 64b line L3 cache : 4096K, 1-way, 64b line 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

4 4

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

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-22 21:13:31 Modified files: interfaces/Prolog: Makefile.am Log message: Distribute all files needed for the generation of Prolog_interface.dox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0