September 2008 - PPL-devel - BUGSENG Mailman

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

27 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-27 09:54:44 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Changes that should have been included in previous commit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Enea Zaffanella 27 Sep '08

27 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-27 09:39:23 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 Log message: Disabled the generation of [linear,approximated]_partition code, as it was breaking the build. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/interfaces/C Makefile.am
by Enea Zaffanella 27 Sep '08

27 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-27 08:58:12 Modified files: interfaces/C : Makefile.am Log message: Reverted previous change, as it breaks the build. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff…

1 0

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

27 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-27 00:17:09 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: ppl_interface_generator_java_dox_code.m4 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 interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 ppl_interface_generator_prolog_dox_code.m4 ppl_interface_generator_prolog_hh_code.m4 interfaces/Prolog/tests: ppl_interface_generator_prolog_generated_test_pl_code.m4 Log message: Fixed a problem in the code generation for linear_partition and approximate_partition. This problem occurred in the Prolog interfaces when the list of instantiations did not include Pointset_Powerset<NNC_Polyhedron> and/or Pointset_Powerset<Grid>. Note that each of the Prolog systems generates headers/declarations for every instance of every active schema in the procedure list. Therefore if the code is not required because the set of instantiations does not include Pointset_Powerset<NNC_Polyhedron> (resp., Pointset_Powerset<Grid>) we have also to ensure that the header/declaration is not generated. 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/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/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/tests/ppl_in… 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/tests/ppl_i…

1 0

ppl/interfaces/C Makefile.am
by Patricia Hill 26 Sep '08

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-26 23:54:15 Modified files: interfaces/C : Makefile.am Log message: Corrected a file name and removed unnecessary repetitions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff…

1 0

ppl/interfaces/C ppl_interface_generator_c_h_c ...
by Enea Zaffanella 26 Sep '08

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-26 18:12:52 Modified files: interfaces/C : ppl_interface_generator_c_h_code.m4 Log message: Added \relates Doxygen commands to the function declaration templates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

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

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-26 18:10:12 Modified files: interfaces/C : ppl_interface_generator_c_h.m4 Log message: Use m4 macro m4_pre_extra_class_code to introduce the name of the interface in the Doxygen configuration-dependent manuals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces/C C_interface.dox
by Enea Zaffanella 26 Sep '08

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-26 15:52:43 Modified files: interfaces/C : C_interface.dox Log message: Documented conversion constructors taking a complexity class as argument. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox.…

1 0

ppl/interfaces OCaml/ppl_ocaml_common.cc Prolo ...
by Enea Zaffanella 26 Sep '08

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-26 15:21:56 Modified files: interfaces/OCaml: ppl_ocaml_common.cc interfaces/Prolog: ppl_prolog_common.cc ppl_prolog_common.defs.hh Log message: Added minimal explanation for functions and variables that are commented out via (trivial) preprocessing conditionals. Similar stuff grouped together, so as to also minimize the number of conditionals. Patches: 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/Prolog/ppl_prolog_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

ppl/src Box.templates.hh MIP_Problem.cc OR_Mat ...
by Enea Zaffanella 26 Sep '08

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-26 13:50:48 Modified files: src : Box.templates.hh MIP_Problem.cc OR_Matrix.inlines.hh Octagonal_Shape.templates.hh Polyhedron_public.cc Log message: Added a few missing comments to preprocessing conditionals. Removed a few lines of (old, ad-hoc, debugging related, no longer working) code that was already filtered away by a preprocessing conditional. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0