June 2006 - PPL-devel - BUGSENG Mailman

ppl/src Direct_Product.types.hh Direct_Product ...
by Matthew Mundell 15 Jun '06

15 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-15 16:08:55 Modified files: src : Direct_Product.types.hh Direct_Product.templates.hh Direct_Product.inlines.hh Direct_Product.defs.hh Log message: Rename Reduced_Product Open_Product. Reorder sytem-returning method declarations. Move empty-reduce methods into Open_Product. Define rest of predicate methods (is_bounded(), etc). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.types.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.templates.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 15 Jun '06

15 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-15 15:46:00 Modified files: interfaces : ppl_interface_generator_common.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc.m4 Log message: Some bugs 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/Prolog/ppl_interfa…

1 0

ppl src/Octagonal_Shape.templates.hh tests/Oct ...
by Barbara Quartieri 15 Jun '06

15 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-15 10:36:39 Modified files: src : Octagonal_Shape.templates.hh tests/Octagon : Makefile.am Added files: tests/Octagon : generalizedaffinepreimage4.cc Log message: Corrected a code line in Octagonal_Shape<T>::generalized_affine_preimage(). Added some new tests on Octagonal_Shape<T>::generalized_affine_preimage(). Patches: 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/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 15 Jun '06

15 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-15 09:45:28 Modified files: interfaces : ppl_interface_generator_common.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc.m4 Log message: Revised comments to match previous changes. Improved a few macro names. 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…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 15 Jun '06

15 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-15 09:04:58 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc.m4 ppl_interface_generator_prolog_systems.m4 Log message: The m4_class (ie the interface name) and the m4_cpp_name are never passed as arguments now. Instead the number of the class is passed (as well as the class_kind) and the names are found from the definition generated in the initialisation phase. The macro definitions for the initialisation of the class names been moved from ppl_interface_generator_common.m4 to ppl_interface_generator_common_dat.m4 as these are then used as fixed macros for the main code generation. The order of generation has been changed. The @CLASS@ and @CPP_CLASS@ are replaced by the actual class names immediately after getting the code (or, for the Prolog systems, the exntensions have been added) In Prolog/ppl_interface_generator_prolog_systems.m4, the macros for generating the Prolog system code for fixed library predicates now uses code specific to these predicates. 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/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/tests/Grid directproduct1.cc
by Matthew Mundell 14 Jun '06

14 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-14 19:20:34 Modified files: tests/Grid : directproduct1.cc Log message: Add tests of the rest of the system-returning methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.…

1 0

ppl/src Direct_Product.templates.hh Direct_Pro ...
by Matthew Mundell 14 Jun '06

14 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-14 19:20:09 Modified files: src : Direct_Product.templates.hh Direct_Product.inlines.hh Direct_Product.defs.hh Log message: Add relation_with(g). Define Direct_Product(gs), Direct_Product(cbox) and the rest of the system-returning methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.templates.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 14 Jun '06

14 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-14 16:11:04 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/C : ppl_interface_generator_c_cc.m4 ppl_interface_generator_c_h.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc.m4 Log message: Improved and corrected macro definitions for m4_filter and m4_filter_all. Started passing the class number instead of the m4_interface_class_name and m4_cplusplus_class_name as arguments to macros. 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/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/tests/Octagon generalizedaffinepreimage1.c ...
by Barbara Quartieri 14 Jun '06

14 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-14 15:57:20 Modified files: tests/Octagon : generalizedaffinepreimage1.cc generalizedaffinepreimage2.cc generalizedaffinepreimage3.cc Log message: Corrected some tests and added some new tests on Octagonal_Shape<T>::generalized_affine_preimage(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi…

1 0

ppl/tests/Octagon Makefile.am generalizedaffin ...
by Barbara Quartieri 13 Jun '06

13 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-13 15:43:04 Modified files: tests/Octagon : Makefile.am generalizedaffineimage2.cc generalizedaffineimage4.cc Added files: tests/Octagon : generalizedaffineimage5.cc Log message: Added some new tests on Octagonal_Shape<T>::generalized_affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi…

1 0