September 2008 - PPL-devel - BUGSENG Mailman

ppl ./configure.ac ./configure.repo interfaces ...
by Roberto Bagnara 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-22 14:50:42 Modified files: . : configure.ac configure.repo interfaces/Prolog: Makefile.am Log message: Avoid wildcard characters in *CLEANFILES variables. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl/interfaces/Java parma_polyhedra_library/pp ...
by Andrea Cimino 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-09-22 14:41:31 Modified files: interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 Log message: Use DISJUNCT instead of CPP_DISJUNCT where appropriate. Now the Java interface compiles with --enable-instantiations=all Patches: 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…

1 0

ppl/interfaces/Prolog Makefile.am
by Patricia Hill 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-22 14:26:04 Modified files: interfaces/Prolog: Makefile.am Log message: Revised the organisation of the Makefile so that Prolog_interfaces.dox is built outside the #if BUILD_* conditional. Removed Prolog_interfaces.dox from the BUILT_SOURCES and included them with dist_noinst_DATA. Use CLEANFILES instead of DISTCLEANFILES for all files built with make all. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-22 13:13:34 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli.m4 ppl_interface_generator_ocaml_mli_code.m4 ppl_ocaml_common.cc ppl_ocaml_common.defs.hh ppl_ocaml_types.ml interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 Log message: Added functions: ppl_new_@TOPOLOGY@@CLASS@_from_@FRIEND@_with_complexity, ppl_@CLASS@_widening_assign, ppl_@CLASS@_widening_assign_with_tokens. Added the Complexity_Class type. Added tests to test these. Also added tests to test the unconstrain(s) methods. 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/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_co… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_co… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_ty… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_in…

1 0

ppl/interfaces/Java jni/ppl_interface_generato ...
by Patricia Hill 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-22 12:03:00 Modified files: 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/Java/tests: ppl_interface_generator_java_test_java_code.m4 Log message: Added/enabled methods: unconstrain_space_dimension_code, unconstrain_space_dimensions_code, BGP99_@DISJUNCT_WIDEN@_extrapolation_assign, BHZ03_@ALT_DISJUNCT_WIDEN@_@DISJUNCT_WIDEN@_widening_assign, approximate_partition. and the relevant tests. Patches: 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/tests/ppl_int…

1 0

ppl/doc 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 11:37:41 Modified files: doc : Makefile.am Log message: ALso distribute interfaces-html.sed and interfaces-latex.sed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/Prolog Makefile.am
by Patricia Hill 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-22 09:45:53 Modified files: interfaces/Prolog: Makefile.am Log message: Restore Prolog_interface.dox as a built source to ensure the file is generated before building the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Roberto Bagnara 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-22 08:28:53 Modified files: interfaces/Java/jni: ppl_interface_generator_java_classes_cc_files.m4 ppl_java_globals.cc Log message: Include "ppl_java_common.defs.hh" Patches: 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_java_…

1 0

ppl/interfaces/Java/jni Makefile.am ppl_interf ...
by Roberto Bagnara 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-22 08:17:07 Modified files: interfaces/Java/jni: Makefile.am ppl_interface_generator_java_classes_cc_code.m4 ppl_java_common.cc Added files: interfaces/Java/jni: ppl_java_common.defs.hh ppl_java_common.inlines.hh Removed files: interfaces/Java/jni: ppl_java_common.hh Log message: Splitted ppl_java_common.hh. Made several improvements (but many FIXMEs remain). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.… 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_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/interfaces/Prolog Makefile.am
by Patricia Hill 21 Sep '08

21 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-21 23:07:57 Modified files: interfaces/Prolog: Makefile.am Log message: Missing separator added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0