September 2008 - PPL-devel - BUGSENG Mailman

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

25 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-25 23:21:01 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 interfaces/Java/tests: ppl_java_tests_common Log message: Allow for changes to linear_partition in Java. Simplified the coefficients in the tests so as to avoid an unintended overflow exception. 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/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_jav…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Enea Zaffanella 25 Sep '08

25 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-25 23:08:00 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 Log message: Implemented ppl_@CLASS@_linear_partition/4, distinguishing the polyhedron and the non-polyhedron cases. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Enea Zaffanella 25 Sep '08

25 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-25 23:06:07 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_hh_code.m4 Log message: Added declaration for ppl_@CLASS@_linear_partition/4. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

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

25 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-25 19:43:36 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 Log message: The method schema just added for linear_partiton, commented out as this broke the build of the prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

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

25 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-25 18:51:18 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.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_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_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/Prolog: ppl_interface_generator_prolog_cc_code.m4 ppl_interface_generator_prolog_hh_code.m4 Log message: Started changes for linear_partition in the interfaces so that its class is that of its arguments and the 1st argument of the returned pair. The schema for this is called ppl_@CLASS@_linear_partition to avoid confusion with the old schema ppl_@CLASS@_@PARTITION@. 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/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/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/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/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/C ppl_c_header.h
by Enea Zaffanella 25 Sep '08

25 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-25 18:29:08 Modified files: interfaces/C : ppl_c_header.h Log message: Use alias \extref instead of \ref when referring to external documentation (i.e., the core manuals) so that tag files will work for HTML and no error is obtained in LaTeX. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_header.h.d…

1 0

ppl/interfaces/C ppl_interface_generator_c_h.m4
by Enea Zaffanella 25 Sep '08

25 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-25 18:27:42 Modified files: interfaces/C : ppl_interface_generator_c_h.m4 Log message: Disabled Doxygen grouping in the generated code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

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

25 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-25 18:09:25 Modified files: doc : Makefile.am Log message: Added a few missing dependencies. Restored a few calls to ocamldoc, so as to produce ocamldoc.sty (to be re-checked). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

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

25 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-25 12:21:35 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 Log message: Added more methods to the C interface code. 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/interfaces/C C_interface.dox ppl_c_header. ...
by Enea Zaffanella 25 Sep '08

25 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-25 12:04:19 Modified files: interfaces/C : C_interface.dox ppl_c_header.h ppl_c_version.h.in Log message: Exploit the \interface Doxygen command in combination with \relates so as to group related types and functions in the C interface documentation. Striclty speaking, an (opaque) C structure tag is not an interface ... but for our purposes it behaves as if it was. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_header.h.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_version.h.…

1 0