June 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 08 Jun '06

08 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-08 08:21:19 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc.m4 interfaces/Prolog/Ciao: ppl_interface_generator_ciao_pl.m4 Log message: Corrected a bug in _ciao_pl.m4. Corrected a bug in the addition of the extra widening code in _icc.m4. Also removed code that checked the number of binop replacements for that class: this is because, now LP_Problem is a fixed class, all the classes denote domains with at least one binary operator. 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/Ciao/ppl_in…

1 0

ppl ./configure.ac interfaces/Makefile.am
by Roberto Bagnara 07 Jun '06

07 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: bagnara(a)cs.unipr.it 2006-06-07 22:09:41 Modified files: . : configure.ac interfaces : Makefile.am Log message: Finished the support for the --enable-instantiations configuration option. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 07 Jun '06

07 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-07 21:11:17 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc.m4 Log message: Fixed a bug in the expansion of num_binops for generating the Prolog ppl_prolog.icc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

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

07 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-07 17:46:22 Modified files: tests/Grid : directproduct1.cc Log message: Add tests of intersection_assign and upper_bound_assign. Enable the grid generator constructor tests. 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 07 Jun '06

07 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-07 17:44:41 Modified files: src : Direct_Product.templates.hh Direct_Product.inlines.hh Direct_Product.defs.hh Log message: Add empty_reduce_d1_with_d2() and empty_reduce_d2_with_d1(). Define add_generator(). Add Grid Polyhedron specialisations off add_generator() and of the grid generator constructors. Take out grid methods intersection_assign_and_minimize, join_assign_and_minimize and join_assign_if_exact. 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 Enea Zaffanella 07 Jun '06

07 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: zaffanella(a)cs.unipr.it 2006-06-07 15:51:21 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: is_disjoint_from is also defined for BD shapes. 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 07 Jun '06

07 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-07 15:47:14 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Restored join_assign and join_assign_and minimize for Grids. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

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

07 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: zaffanella(a)cs.unipr.it 2006-06-07 15:07:00 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 Log message: Added spaces at the end of function definitions to improve readability of generated file. Try to avoid spurious indentations in the definnition of parameter lists. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Enea Zaffanella 07 Jun '06

07 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: zaffanella(a)cs.unipr.it 2006-06-07 14:44:06 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: The first 5 binary operators are common to all instantiations. Polyhedra and BD_Shape have some *further* binary operators with instantiation specific names. For simplicity, do NOT have binminop's depend on binop's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

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

07 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: zaffanella(a)cs.unipr.it 2006-06-07 14:41:07 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: Method concatenate_assign is now dealt with as all the other binary operators. 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