September 2008 - PPL-devel - BUGSENG Mailman

GCC bug affecting the PPL on sparc64
by Roberto Bagnara 28 Sep '08

28 Sep '08

Hi there, we are going through the list of architectures supported by Debian, looking for problems affecting the Parma Polyhedra Library. We need advice concerning this bug (we have just added it to GCC Bugzilla): http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37661 Apparently something is wrong with the default -msoft-quad-float. Should we: 1) do nothing, because (say) Debian will always ship binaries compiled with optimizations turned on; 2) compile with -mhard-quad-float on the sparc64 (would make sense only if SPARC implementations that don't have hardware support for the quad-word floating point instructions are not targeted by Debian); 3) apply a (yet to be identified) workaround; 4) disable support for long doubles on sparc64; 5) do something else. Thanks for any suggestion. 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

2 1

ppl src/Checked_Number.defs.hh src/Checked_Num ...
by Abramo Bagnara 28 Sep '08

28 Sep '08

1 0

ppl instchk.hh
by Roberto Bagnara 27 Sep '08

27 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-27 21:26:34 Modified files: . : instchk.hh Log message: Reject instantiations using unsupported floating point types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/instchk.hh.diff?cvsroot=ppl&r…

1 0

ppl/interfaces/C ppl_interface_generator_c_pro ...
by Enea Zaffanella 27 Sep '08

27 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-27 20:10:14 Modified files: interfaces/C : ppl_interface_generator_c_procedure_generators.m4 Log message: In the C interface, also enabled the @BINMINOP@ methods (deprecated, but still here for backward compatibility with 0.9). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces Java/ppl_interface_generator_ja ...
by Enea Zaffanella 27 Sep '08

27 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-27 19:41:44 Modified files: interfaces/Java: ppl_interface_generator_java_dox_code.m4 interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java_code.m4 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: For the Java and OCaml interfaces, get rid of useless templates for the add_@REPRESENT@(s)_and_minimize and the @BINMINOP@ operators (these are deprecated and only kept for the C interface). 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/parma_polyhed… 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/interfaces/C ppl_interface_generator_c_pro ...
by Patricia Hill 27 Sep '08

27 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-27 19:36:46 Modified files: interfaces/C : ppl_interface_generator_c_procedure_generators.m4 Log message: Re-enable the add_..._and_minimize methods for the C interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 27 Sep '08

27 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-27 13:01:44 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 Log message: Bug whereby the code for the BHZ03 widening for the powerset domains was not being generated for the C interface fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 27 Sep '08

27 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-27 12:25:17 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 Log message: Reenable the partition methods for the interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 27 Sep '08

27 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-27 12:24:15 Modified files: doc : Makefile.am Log message: More corrections for the clean targets. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 27 Sep '08

27 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-27 10:40:25 Modified files: doc : Makefile.am Log message: Corrected typo whereby the core user and devref html docs were not cleaned up. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0