June 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Octagon affineimage2.cc affinepreima ...
by Barbara Quartieri 12 Jun '06

12 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-12 11:45:20 Modified files: tests/Octagon : affineimage2.cc affinepreimage1.cc ascii_dump_load1.cc constraints1.cc contains1.cc Log message: Added some new tests on Octagonal_Shape<T>::affine_image() Octagonal_Shape<T>::affine_preimage() Octagonal_Shape<T>::ascii_dump() Octagonal_Shape<T>::ascii_load() Octagonal_Shape<T>::constraints() Octagonal_Shape<T>::contains(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage2.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ascii_dump_load… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains1.cc.di…

1 0

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

11 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-11 10:05:23 Modified files: interfaces : ppl_interface_generator_common.m4 interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: Corrected a bug introduced for formatting. Revised the use of generator to grid_generator to match changes due to merge from the trunk. Removed the use of alt_box replacement for the grid "get_covering_box" and "get_bounding_box", by providing the code explicitly. Now the "alt_" replacement is not used anymore and this option for defining replacements will be removed later when other improvements here are made.. 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/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 src/Congruence.defs.hh src/Congruence.inli ...
by Roberto Bagnara 11 Jun '06

11 Jun '06

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 10 Jun '06

10 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-10 12:21:12 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Comment improved. 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 10 Jun '06

10 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-10 12:09:01 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/C : ppl_interface_generator_c_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 Log message: Bug fixed in Prolog/ppl_interface_generator_prolog_dat.m4 Comments improved. Improvements to formatting. 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/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Enea Zaffanella 10 Jun '06

10 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: zaffanella(a)cs.unipr.it 2006-06-10 10:04:43 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: Now using `@' as a pattern delimiter. 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…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Enea Zaffanella 10 Jun '06

10 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: zaffanella(a)cs.unipr.it 2006-06-10 10:04:07 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_systems.m4 Log message: Changed macro m4_pattern_delimiter so as to use `@' as a delimiter. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Enea Zaffanella 10 Jun '06

10 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: zaffanella(a)cs.unipr.it 2006-06-10 10:03:03 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_dat.m4 ppl_interface_generator_c_h_code.m4 Log message: Now patterns are delimited by `@'. 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

ppl/interfaces ppl_interface_generator_common.m4
by Enea Zaffanella 10 Jun '06

10 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: zaffanella(a)cs.unipr.it 2006-06-10 10:02:12 Modified files: interfaces : ppl_interface_generator_common.m4 Log message: Changed macros m4_extension and m4_pattern_delimiter so as to allow for the use of `@' as a pattern delimiter. 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 09 Jun '06

09 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-09 23:51:09 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/C : ppl_interface_generator_c_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 Log message: Revised the way the groups of classes are defined and used. Thus the selection and deselection of a procedure for a given group or class kind is clearer and easier to extend. An initial list of groups and the classes they include is provided in ppl_interface_generator_common_dat.m4. Also, allow for arity and the attribute "nofail" to be optionally defined and occur anywhere in the info text after the procedure name. 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/Prolog/ppl_interfa…

1 0