January 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 15 Jan '08

15 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-15 08:28:53 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 Log message: Undone a change yesterday, that affected the compilation of SICStus and Ciao, for the generalized image for grids which needs a different arity to that for the other domains. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...
by Patricia Hill 14 Jan '08

14 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-14 18:09:17 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Polyhedron.defs.hh Polyhedron.inlines.hh tests/BD_Shape : Makefile.am tests/Octagonal_Shape: Makefile.am tests/Polyhedron: addcongruence1.cc Added files: tests/BD_Shape : congruences1.cc tests/Octagonal_Shape: congruences1.cc Log message: Added methods for add_congruence_and_minimize in order that we have a uniform set of methods across all simple classes. Also corrected congruences() and minimized_congruences() in the BD_Shape and Octagonal_Shape domains which were wrong for empty elements. Added tests for all these methods which were untested. Patches: 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.inlines.hh.diff?… 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.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/congruences1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/congrue… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc…

1 0

ppl/interfaces/Prolog/Ciao ppl_interface_gener ...
by Patricia Hill 14 Jan '08

14 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-14 16:51:38 Modified files: interfaces/Prolog/Ciao: ppl_interface_generator_ciao_predicate_check_pl.m4 Log message: Wrong file name corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_in…

1 0

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

14 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-14 16:49:04 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 ppl_predicate_check_common.pl Log message: Some of the changes needed to get the interfaces working in Ciao Prolog. For instance /= is changed to /==. Also all the generated test predicates are declared as dynamic as some are never defined in the test code. Patches: 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/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_p…

1 0

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

14 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-14 11:25:18 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Improvements to layout and similar to the m4 code. 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 14 Jan '08

14 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-14 10:42:32 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Added support for building from congruences for all the domains. Added support for contains_integer_point for the powerset domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 13 Jan '08

13 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-13 22:58:12 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Expanded the number of predicates generated for classes such as Octagonal_Shape<...> and Pointset_Powerset<...>. Fixed a bug in the m4 code for generating ppl_prolog.icc when building a class from a box. Note that the bug only was apparent for classes with a templatic argument such as Octagonal_Shape<...>. In the m4 code for generating ppl_predicate_check.pl tests modified to allow for the larger set of classes. Patches: 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 ppl_interface_generator_common_ ...
by Patricia Hill 13 Jan '08

13 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-13 17:53:51 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: Upgraded the friend replacement code to allow for the simple classes (eg polyhedra, bd shapes, grids) to build from other simple classes that are in the list of instantiations. 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/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 13 Jan '08

13 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-13 13:51:21 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Corrected bug in m4 generating code for ppl_prolog.icc for the powersets linear_partition predicate. Also corrected test for linear_partition in m4 generating code for ppl_predicate_check.pl Patches: 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/Java ppl_interface_generator_ja ...
by Patricia Hill 13 Jan '08

13 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-13 11:21:16 Modified files: interfaces/Java: ppl_interface_generator_java_dat.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 Log message: The string "@FRINED@" was wrongly used. As the definition of FRIEND in m4 is being revised to allow more classes to be built from other classes, this wrong use will become a bug if it is not corrected. Patches: 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_…

1 0