February 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 07 Feb '08

07 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-07 10:47:12 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 Log message: Enabled the Pointset_Powerset domain to have a Rational_Box as the disjunct and the Product domains to have a Rational_Box as one of its component domains in all the interfaces. To allow for a number of missing methods in the Box domain that cannot therefore be provided in any product domain that has the Box as a component, defined two generic macros in ppl_interface_generator_common.m4 that intersect sequences of comma-separated strings: one that intersects two sequences and one that intersects three sequences. Also now support a new notation in a procedure string - e.g., "?box" means don't include this procedure for any product that has Box as one of its components. This option may be removed in the future and its use avoided by using the sequence intersection macros described above. 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…

1 0

ppl/src Box.defs.hh
by Roberto Bagnara 07 Feb '08

07 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-07 07:58:55 Modified files: src : Box.defs.hh Log message: Fixed the documentation of set_interval(Variable, const Interval&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=…

1 0

ppl instchk.hh
by Patricia Hill 05 Feb '08

05 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-05 15:34:55 Modified files: . : instchk.hh Log message: The instantiations configuration options now include Rational_Box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/instchk.hh.diff?cvsroot=ppl&r…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 05 Feb '08

05 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-05 15:33:29 Modified files: interfaces : ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 interfaces/Java: ppl_interface_generator_java_procedure_generators.m4 Log message: The interfaces now support Rational_Box as a simple class for most of the procedures. Powersets and Products with a Box as a base domain still to be checked. 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/Java/ppl_interface…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 05 Feb '08

05 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-02-05 14:50:27 Modified files: src : Box.templates.hh Log message: Fixed method Box<I>::concatenate_assign(const Box&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/tests/Box concatenate1.cc
by Patricia Hill 05 Feb '08

05 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-05 09:06:00 Modified files: tests/Box : concatenate1.cc Log message: Added test06 which shows an assertion failure when executing concatenate_assign() in the Box domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/concatenate1.cc.dif…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 04 Feb '08

04 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-04 12:41:00 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 Log message: Fixed some bugs, simplified and improved some code and improved the documentation for new and changed the macros. Now the interfaces compile and tests run ok with all Pointset_Powersets of polyhedra, weakly relational domains and grids. Also the interfaces compile and tests run ok with any products of the same 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…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 01 Feb '08

01 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-01 17:49:35 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 interfaces/Java/ppl_java: ppl_interface_generator_java_classes_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 Log message: Interface code revised so as to handle powersets of weakly relational domain elements. More tests are still needed. The new m4 code in ppl_interface_generator_common_dat.m4 will be documentated later. 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/Java/ppl_java/ppl_… 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…

1 0

ppl/tests/Octagonal_Shape relatwithcons2.cc
by Roberto Bagnara 01 Feb '08

01 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-01 12:04:57 Modified files: tests/Octagonal_Shape: relatwithcons2.cc Log message: Tests uncommented (apparently they were commented out by mistake on April 3, 2007). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwi…

1 0

ppl ./TODO src/BD_Shape.defs.hh src/BD_Shape.t ...
by Patricia Hill 01 Feb '08

01 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-01 10:32:30 Modified files: . : TODO src : BD_Shape.defs.hh BD_Shape.templates.hh Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh tests/BD_Shape : relations3.cc tests/Octagonal_Shape: relatwithcons2.cc Log message: Added methods relation_with() for congruences to the Octagonal_Shape and BD_Shape domains. Added notes wrt these and the relation_with() for costraints in the TODO file. Exception throwers throw_dimension_incompatible() for congruences added to both these domains. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.23… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwi…

1 0