January 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 31 Jan '08

31 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-31 15:22:10 Modified files: 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_procedure_generators.m4 interfaces/Java: ppl_interface_generator_java_procedure_generators.m4 interfaces/OCaml: ppl_interface_generator_ocaml_procedure_generators.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Now allow the list of procedure names for generation to have an optional "\" before a group name "g" which is meant to be used only in conjunction with the powerset domain, and to mean -don't generate code if the powerset's disjunct is in "g"-. This is needed to avoid generating linear_partition code when the disjunct is Grid and similarly approximate_partition code when the disjunct is C_ or NNC_Polyhedron. The Powerset of Grids in all the interfaces now compiles and the compiled code passes all the tests in Java and Prolog interfaces. Added to the todo lists in the procedure_generator m4 files for C, Java and Ocaml, the approximate_partition procedure for powersets of grids. 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/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/Java/ppl_interface… 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/tests/ppl_i…

1 0

ppl interfaces/ppl_interface_generator_common_ ...
by Patricia Hill 31 Jan '08

31 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-31 09:49:24 Modified files: interfaces : 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_h_code.m4 interfaces/Java: ppl_interface_generator_java_procedure_generators.m4 interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/Java/ppl_java: 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_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Pointset_Powerset.inlines.hh Log message: Added hash_code() to the pointset_powerset and partially_reduced_product domains. Enable this in the Java interface for all the domains. Also enable in the Java interface the string() method for all the domains, so as to include the product domains. Added methods for external/total_memory_in_bytes for all the domains and to all the interfaces. Existing tests for size() for prolog and java now use the MEMBYTES pattern instead so as to test all the replacements for MEMBYTES. These with the size() method (for the pointset_powerset domains) are all generated from a single "pattern" "MEMBYTES", defined in interfaces/ppl_interface_generator_common_dat.m4. Added methods for external/total_memory_in_bytes for all the domains and to all the interfaces. Existing tests for size() for prolog and java now use the MEMBYTES pattern instead so as to test all its replacements. These with the size() method (for the pointset_powerset domains) are all generated from a single "pattern" "MEMBYTES", defined in interfaces/ppl_interface_generator_common_dat.m4. 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/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/ppl_java/ppl_… 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/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.inlines…

1 0

ppl ./NEWS interfaces/ppl_interface_generator_ ...
by Patricia Hill 30 Jan '08

30 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-30 18:31:18 Modified files: . : NEWS 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_ppl_java_classes_cc_code.m4 interfaces/Java/ppl_java: 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 ppl_interface_generator_ocaml_procedure_generators.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 src : Partially_Reduced_Product.inlines.hh Log message: Corrected a missing "+" in interfaces/ppl_interface_generator_common_procedure_generators.m4 which caused some interface predicates not to be generated. Added add_constraint_and_minimize() and add_constraint_and_minimize() to the Partially_Reduced_Product domain. In the interfaces, the interface procedures for ppl_Grid_generalized_image_lhs_rhs/5 and ppl_Grid_generalized_preimage_lhs_rhs/5 ppl_Grid_generalized_image/6 and ppl_Grid_generalized_preimage/6 have been renamed as ppl_Grid_generalized_image_lhs_rhs_with_congruence/5 ppl_Grid_generalized_preimage_lhs_rhs_with_congruence/5 ppl_Grid_generalized_image_with_congruence/6 ppl_Grid_generalized_preimage_with_congruence/6 so as to allow for /4 and /5, resp., versions (This change also reported in "News"). Tidied and commented the procedure list in interfaces/ppl_interface_generator_common_procedure_generators.m4 so that where not "+all" domains are implemented in the interfaces, comments explain further. A few remaining procedures that can be enabled for products and/or powersets in the interfaces have been enabled. Added two "todo" procedures to the OCaml list of procedure generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.22… 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/ppl_java/ppl_… 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/Prolog/ppl_interfa… 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/src/Partially_Reduced_Product…

1 0

ppl interfaces/ppl_interface_generator_common_ ...
by Patricia Hill 30 Jan '08

30 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-30 12:36:32 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 src : Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh Pointset_Powerset.templates.hh tests/Polyhedron: pointsetpowerset5.cc Log message: Added methods for expand_space_dimension() and fold_space_dimensions() and constructor from a box, for the pointset_powerset domain. Added tests for add and remove (higher) space dimensions for the powerset domain as well as tests for the new methods. Enabled the corresponding procedures in all the interfaces. 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/src/Pointset_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowe…

1 0

ppl interfaces/ppl_interface_generator_common_ ...
by Patricia Hill 30 Jan '08

30 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-30 09:17:06 Modified files: interfaces : ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh tests/Grid : directproduct3.cc Log message: Enabled a few more procedures in the interfaces for the product domain. Added to all the interfaces (including C++) the intersection_assign_and_minimize() procedure for the partially_reduced_product domains for uniformity with the other domains. 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/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 30 Jan '08

30 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-30 08:14:29 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Bug in generated test file for the product domain fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 29 Jan '08

29 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-29 22:58:08 Modified files: 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.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Improved the definitions of the product domains so that the list of different product domains occurs just once in the m4 code. Almost all the methods/procedures appropriate for the product domains are now enabled in all the interfaces. Bug in the generated tests in ppl_predicate_check_test.pl for the product domain still to be checked and fixed. 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/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/Prolog/tests/ppl_i…

1 0

ppl ./instchk.hh interfaces/ppl_interface_gene ...
by Patricia Hill 29 Jan '08

29 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-29 11:43:06 Modified files: . : instchk.hh interfaces : ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 interfaces/C : ppl_interface_generator_c_cc.m4 interfaces/Java: ppl_interface_generator_java_procedure_generators.m4 Log message: Enabled the product domains; building from space dimensions, other products, constraints and congruences. Enable the OK check and the free() method for Java. Allow the configuration to include instantiations for the Direct_Product, Smash_Product and Constraints_Product domains with simple arguments. Every interface tested for just the instantiation Direct_Product<C_Polyhedron,Grid> Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/instchk.hh.diff?cvsroot=ppl&r… 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/Java/ppl_interface…

1 0

ppl/interfaces/C ppl_c.h.in
by Patricia Hill 29 Jan '08

29 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-29 08:03:21 Modified files: interfaces/C : ppl_c.h.in Log message: Previous change unintended - revert to previous version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 28 Jan '08

28 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-28 15:05:33 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 ppl_interface_generator_c_procedure_generators.m4 Log message: In the C interface, added (m4) implementation code for add_disjunct. Remove done items from "todo" list. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0