October 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C/tests print_to_buffer.h
by Roberto Bagnara 03 Oct '08

03 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-03 11:25:49 Modified files: interfaces/C/tests: print_to_buffer.h Log message: Spurious semicolons removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/print_to_b…

1 0

ppl/demos/ppl_lpsol Makefile.am
by Roberto Bagnara 03 Oct '08

03 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-03 10:56:17 Modified files: demos/ppl_lpsol: Makefile.am Log message: If we use GCC, compile with -pedantic -std=gnu89 -Werror. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 03 Oct '08

03 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-03 10:55:52 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Conform to ISO C90 plus GNU extensions (because of the declaration of sigaction in <signal.h>). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl configure.ac configure.repo
by Roberto Bagnara 03 Oct '08

03 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-03 10:53:43 Modified files: . : configure.ac configure.repo Log message: New AM_CONDITIONAL GCC allows to write conditionals in Makefile.am that depend on whether we are using GCC or another compiler. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.repo.diff?cvsroot=p…

1 0

ppl configure.ac configure.repo
by Enea Zaffanella 03 Oct '08

03 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-03 09:57:00 Modified files: . : configure.ac configure.repo Log message: Temporarily remove java from the list of default interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.repo.diff?cvsroot=p…

1 0

ppl/m4 ac_cxx_double_exact_output.m4 ac_cxx_fl ...
by Roberto Bagnara 03 Oct '08

03 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-03 09:20:17 Modified files: m4 : ac_cxx_double_exact_output.m4 ac_cxx_float_exact_output.m4 ac_cxx_long_double_exact_output.m4 Log message: Use AC_DEFINE_UNQUOTED instead of AC_DEFINE. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_exact_output… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float_exact_output.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_exact_o…

1 0

New, almost final PPL 0.10 snapshot and patch for CLooG
by Roberto Bagnara 03 Oct '08

03 Oct '08

Dear All, we have uploaded an almost final PPL 0.10 snapshot to the usual location ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ "Almost final" means that, unless new features are requested by the Graphite/CLooG/MELT people, unless bugs are discovered, no semantic changes are planned for the library core and its C++ and C interfaces. This snapshot passes `make check' on almost all the architectures we have access to (i.e., ia32, x86_64, hppa, ppc, sparc, alpha, ia64). The only known problems are on Cygwin, but they seem problems of the toolchain (try-catch does not work): we are currently installing Cygwin 1.7 to check whether these problems have been solved. Work continues on the Java, OCaml and Prolog interfaces of the library, on documentation, testing and packaging. We expect to officially release PPL 0.10 in 2 or 3 weeks from now. I also attach a patch for CLooG-PPL that: 1) avoids using features of the PPL that are deprecated in PPL 0.10 (they will be removed in PPL 0.11); 2) uses PPL features to replace some of the existing code, but only for cases where the replacement is easy and clearly advantageous (a generalized use of PPL powersets could lead to a considerable simplification of the CLooG code in domain.c). Please report any problem you may encounter to ppl-devel(a)cs.unipr.it 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 2

ppl/interfaces/C ppl_interface_generator_c_h.m ...
by Roberto Bagnara 03 Oct '08

03 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-03 09:03:00 Modified files: interfaces/C : ppl_interface_generator_c_h.m4 ppl_interface_generator_c_h_code.m4 Log message: Avoid generating spurious semicolons. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/utils build_header.in
by Roberto Bagnara 03 Oct '08

03 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-03 08:59:43 Modified files: utils : build_header.in Log message: Generate C-style comments instead of C++-style ones. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/build_header.in.diff?cv…

1 0

ppl/m4 ac_cxx_double_exact_output.m4 ac_cxx_fl ...
by Roberto Bagnara 03 Oct '08

03 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-03 08:41:40 Modified files: m4 : ac_cxx_double_exact_output.m4 ac_cxx_float_exact_output.m4 ac_cxx_long_double_exact_output.m4 Log message: Typos fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_exact_output… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float_exact_output.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_exact_o…

1 0