[PPL-devel] ppl/interfaces ppl_interface_generator_common_ ...
Patricia Hill
hill at cs.unipr.it
Thu Sep 25 00:08:21 CEST 2008
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill at cs.unipr.it 2008-09-25 00:08:20
Modified files:
interfaces : ppl_interface_generator_common_dat.m4
ppl_interface_generator_common_procedure_generators.m4
interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4
ppl_interface_generator_ocaml_ml_code.m4
ppl_interface_generator_ocaml_mli_code.m4
Log message:
Disable all the "and_minimize" methods in all the interfaces.
Ensure that linear_partition method is only used
if the Pointset_Powerset<NNC_Polyhedron> is one of the instantiations.
Add the OCaml code for "approximate_partition" in the Grid domain.
Note that tests for both linear_partition and approximate_partition
still to be added.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_dat.m4.diff?cvsroot=ppl&r1=1.87&r2=1.88
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_procedure_generators.m4.diff?cvsroot=ppl&r1=1.27&r2=1.28
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4.diff?cvsroot=ppl&r1=1.48&r2=1.49
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_ml_code.m4.diff?cvsroot=ppl&r1=1.43&r2=1.44
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_mli_code.m4.diff?cvsroot=ppl&r1=1.34&r2=1.35
More information about the PPL-devel
mailing list