November 2008 - PPL-devel - BUGSENG Mailman

ppl/src globals.defs.hh globals.inlines.hh sim ...
by Roberto Bagnara 08 Nov '08

08 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-08 21:57:10 Modified files: src : globals.defs.hh globals.inlines.hh simplify.cc Log message: No longer use compute_capacity(dimension_type requested_size), now removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/tests/Box ascii_dump_load1.cc empty1.cc re ...
by Roberto Bagnara 08 Nov '08

08 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-08 20:54:48 Modified files: tests/Box : ascii_dump_load1.cc empty1.cc refinewithconstraint1.cc Log message: More FIXMEs tagged with "(0.10.1)". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/ascii_dump_load1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/empty1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refinewithconstrain…

1 0

ppl ./TODO interfaces/ppl_interface_generator_ ...
by Patricia Hill 07 Nov '08

07 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-07 16:04:54 Modified files: . : TODO interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_cc_files.m4 ppl_interface_generator_c_h_code.m4 ppl_interface_generator_c_hh_files.m4 ppl_interface_generator_c_procedure_generators.m4 interfaces/Java: ppl_interface_generator_java_procedure_generators.m4 interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java.m4 ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java.m4 ppl_interface_generator_java_test_java_code.m4 interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_cc_files.m4 ppl_interface_generator_ocaml_hh_files.m4 ppl_interface_generator_ocaml_ml.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli.m4 ppl_interface_generator_ocaml_mli_code.m4 interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 interfaces/Prolog: Prolog_interface.dox ppl_interface_generator_prolog_cc_code.m4 ppl_interface_generator_prolog_cc_files.m4 ppl_interface_generator_prolog_dox.m4 ppl_interface_generator_prolog_dox_code.m4 ppl_interface_generator_prolog_hh_code.m4 ppl_interface_generator_prolog_hh_files.m4 ppl_interface_generator_prolog_procedure_generators.m4 interfaces/Prolog/Ciao: ppl_interface_generator_ciao_pl.m4 ppl_interface_generator_ciao_prolog_generated_test_pl.m4 interfaces/Prolog/GNU: ppl_interface_generator_gprolog_pl.m4 interfaces/Prolog/SICStus: ppl_interface_generator_sicstus_sd_cc.m4 interfaces/Prolog/SWI: ppl_interface_generator_swiprolog_cc.m4 interfaces/Prolog/XSB: ppl_interface_generator_xsb_H.m4 ppl_interface_generator_xsb_cc.m4 ppl_interface_generator_xsb_hh.m4 ppl_interface_generator_xsb_prolog_generated_test_P.m4 interfaces/Prolog/YAP: ppl_interface_generator_yap_cc.m4 interfaces/Prolog/tests: ppl_interface_generator_prolog_generated_test_pl.m4 ppl_interface_generator_prolog_generated_test_pl_code.m4 Log message: The core ppl_interface_generator_common.m4 file has been completely reorganised, macros improved and comments revised and added. Note that alternative patterns and replacements now have a simple _a_ or _b_ extension instead of _alt_ or _cppx_. To change the case of a word, use "!" instead of "L" or "U" before the pattern. The macros in the core file are organised into groups and a comment summarises the call structure between the groups. Each macro is labelled to indicate if it is used locally, just in this file but by a macro in another group, or if it is public and may be used by other code generating m4 files. Suggestions for further improving the macro descriptions are welcome. The complementary file ppl_interface_generator_common.m4_dat file that contains the common data and some macros for generating the basic class names, the patterns and their replacements is improved and some redundant things removed. Commenting is not improved but much of the structure here is simpler and existing comments provide a lot of information already. The changes to these files has meant that changes to all the m4 files in the interfaces directory was required. These changes seem to make the m4 generation slightly more efficient - but the improvement appears to be less that 10% and disappointing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.29… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… 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… 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… 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/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/Java/parma_polyhed… 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… 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/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/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_in… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… 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/ppl_in… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_int… 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/ppl_int… 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/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/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…

1 0

w3ppl/htdocs/Download Download.raw
by Enea Zaffanella 06 Nov '08

06 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-06 09:00:08 Modified files: htdocs/Download: Download.raw Log message: We directly distribute Fedora rpm packages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

ppl ./TODO src/BD_Shape.templates.hh src/Box.i ...
by Roberto Bagnara 06 Nov '08

06 Nov '08

1 0

ppl ./TODO doc/libppl.3 tests/Polyhedron/memor ...
by Roberto Bagnara 06 Nov '08

06 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-06 08:21:16 Modified files: . : TODO doc : libppl.3 tests/Polyhedron: memory2.cc Log message: Use malloc(), realloc() and free() instead of operator new() and operator delete() to implement the replacement GMP allocation functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.29… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory2.cc.d…

1 0

ppl/tests/Polyhedron memory1.cc
by Roberto Bagnara 05 Nov '08

05 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-05 22:14:03 Modified files: tests/Polyhedron: memory1.cc Log message: Use malloc(), realloc() and free() instead of operator new() and operator delete() to implement the replacement GMP allocation functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory1.cc.d…

1 0

ppl ./TODO demos/ppl_lcdd/ppl_lcdd.1 demos/ppl ...
by Roberto Bagnara 05 Nov '08

05 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-05 21:26:36 Modified files: . : TODO demos/ppl_lcdd : ppl_lcdd.1 demos/ppl_lpsol: ppl_lpsol.1 ppl_lpsol.c doc : libppl.3 libppl_c.3 ppl-config.1 Log message: Made `ppl_lpsol --help' and `ppl_lcdd --help' consistent. Man pages updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.28… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.1.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.1.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl_c.3.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl-config.1.diff?cvsroot…

1 0

make ; make distclean is not idempotent
by Michael Tautschnig 05 Nov '08

05 Nov '08

Hi all, It seems that make distclean still removes stuff (or fails to do so) that is part of your .tar.gz distribution. This is the output after a cancelled build, running make distclean afterwards, and then restarting: This one (and possibly other non-empty ones) did not get removed by make distclean: dpkg-source: warning: newly created empty file 'tests/Box/dirty_marker' will not be represented in diff These are part of the .tar.gz, but have been removed by make distclean: dpkg-source: warning: ignoring deletion of file Watchdog/doc/devref.doxyconf-html dpkg-source: warning: ignoring deletion of file Watchdog/doc/user.doxyconf-latex dpkg-source: warning: ignoring deletion of file Watchdog/doc/devref.doxyconf-latex dpkg-source: warning: ignoring deletion of file Watchdog/doc/user.doxyconf-html dpkg-source: warning: ignoring deletion of file doc/devref.doxyconf-html dpkg-source: warning: ignoring deletion of file doc/devref-language-interface.doxyconf dpkg-source: warning: ignoring deletion of file doc/user.doxyconf-latex dpkg-source: warning: ignoring deletion of file doc/devref.doxyconf-latex dpkg-source: warning: ignoring deletion of file doc/user.doxyconf-html dpkg-source: warning: ignoring deletion of file doc/user-language-interface.doxyconf dpkg-source: warning: ignoring deletion of file src/ppl-config.cc I don't consider this really critical, but I would be nice if future versions of ppl could handle this properly. Best, Michael

2 1

ppl NEWS
by Roberto Bagnara 05 Nov '08

05 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-05 19:53:57 Modified files: . : NEWS Log message: Added a section for 0.10.1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.27…

1 0