November 2008 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs news.raw ppl.raw
by Patricia Hill 13 Nov '08

13 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2008-11-13 15:20:05 Modified files: htdocs : news.raw ppl.raw Log message: Added news item on Katy getting her PhD. To be updated as soon as corrections have been completed ok. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl/interfaces/Java/jni Makefile.am
by Roberto Bagnara 12 Nov '08

12 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-12 20:39:01 Modified files: interfaces/Java/jni: Makefile.am Log message: On Darwin, avoid the `-module' Libtool flag for building the `libppl_java' library. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.…

1 0

ppl/tests/Powerset Makefile.am
by Roberto Bagnara 12 Nov '08

12 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-12 17:57:22 Modified files: tests/Powerset : Makefile.am Log message: Wrong file names fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am.di…

1 0

ppl/tests BD_Shape/Makefile.am Box/Makefile.am ...
by Patricia Hill 12 Nov '08

12 Nov '08

1 0

ppl/m4 ac_check_swi_prolog.m4
by Roberto Bagnara 11 Nov '08

11 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-11 18:04:02 Modified files: m4 : ac_check_swi_prolog.m4 Log message: Added a reference to a bug report against Fedora's `pl' package. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_swi_prolog.m4.dif…

1 0

ppl/src Grid.defs.hh Grid.templates.hh Grid_co ...
by Patricia Hill 11 Nov '08

11 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-11 09:40:51 Modified files: src : Grid.defs.hh Grid.templates.hh Grid_conversion.cc Grid_simplify.cc Log message: Removed the STRONG_REDUCTION macro and added comments where the code implements the extra reduction needed for the strong minimal form. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 11 Nov '08

11 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-11 07:47:49 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/Java: ppl_interface_generator_java_procedure_generators.m4 interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 ppl_interface_generator_java_classes_cc_files.m4 interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java.m4 interfaces/OCaml: ppl_interface_generator_ocaml_hh_files.m4 interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml.m4 interfaces/Prolog/XSB: ppl_interface_generator_xsb_prolog_generated_test_P.m4 interfaces/Prolog/tests: ppl_interface_generator_prolog_generated_test_pl.m4 Log message: Improved handling of the patterns with a consequential improvement to the speed of the m4 processing of the interface files. Patches: 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/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/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/tests/ppl_in… 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…

1 0

ppl interfaces/Prolog/SWI/swi_efli.cc src/BD_S ...
by Roberto Bagnara 10 Nov '08

10 Nov '08

1 0

ppl/src Partially_Reduced_Product.templates.hh
by Roberto Bagnara 10 Nov '08

10 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-10 19:56:45 Modified files: src : Partially_Reduced_Product.templates.hh Log message: Use PPL_DIRTY_TEMP_COEFFICIENT whenever possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product…

1 0

ppl/src Pointset_Powerset.templates.hh
by Roberto Bagnara 10 Nov '08

10 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-10 19:53:42 Modified files: src : Pointset_Powerset.templates.hh Log message: Use PPL_DIRTY_TEMP_COEFFICIENT whenever possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat…

1 0