September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 16 Sep '08

16 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-16 20:47:47 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Ensure the generated tests work for C_Polyhedron x Grid product domains (checked using constraints_reduction).. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces/C ppl_interface_generator_c_pro ...
by Enea Zaffanella 16 Sep '08

16 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-16 18:08:42 Modified files: interfaces/C : ppl_interface_generator_c_procedure_generators.m4 Log message: The upper_bound_assign_if_exact methods are now interfaced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces/C ppl_interface_generator_c_h_c ...
by Enea Zaffanella 16 Sep '08

16 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-16 18:08:05 Modified files: interfaces/C : ppl_interface_generator_c_h_code.m4 ppl_interface_generator_c_cc_code.m4 Log message: Minor correction to the declaration of the powerset object for begin/end const_iterator methods. 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…

1 0

ppl interfaces/ppl_interface_generator_common_ ...
by Patricia Hill 16 Sep '08

16 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-16 14:50:57 Modified files: interfaces : ppl_interface_generator_common_dat.m4 src : Pointset_Powerset.defs.hh Log message: Corrected a comment in Pointset_Powerset.defs.hh and simplified the generation of the binary operator procedures in the interfaces. 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/src/Pointset_Powerset.defs.hh…

1 0

ppl interfaces/ppl_interface_generator_common_ ...
by Patricia Hill 16 Sep '08

16 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-16 13:53:42 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 ppl_interface_generator_prolog_cc_files.m4 interfaces/Prolog/SICStus: sp_predicate_check.pl interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 src : Grid.inlines.hh Grid_public.cc Log message: Moved method add_constraints() from Grid.inlines.hh to Grid_public.cc. Removed the bop_assign and bop_assign_and_minimize from the Prolog generated code and inlined the code. Enable upper_bound_assign method for the Pointset_Powerset domains in all the interfaces. Adapted the tests in the predicate_check generated test file so as to test correctly these changes. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_… 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/src/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 16 Sep '08

16 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-16 10:36:04 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 ppl_interface_generator_c_procedure_generators.m4 Log message: Separate the new_iterator methods and the type declarations for iterators from the method for checking for equality. 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/C ppl_interface_generator_c_cc_ ...
by Enea Zaffanella 16 Sep '08

16 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-16 10:01:06 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 Log message: Added declaration and implementation of `new' functions for Pointset_Powerset iterators. 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…

1 0

ppl src/Grid.inlines.hh src/Grid_nonpublic.cc ...
by Patricia Hill 16 Sep '08

16 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-16 09:32:54 Modified files: src : Grid.inlines.hh Grid_nonpublic.cc Grid_public.cc tests/Grid : addconstraint1.cc addconstraints1.cc Log message: Ensure the grid is not marked empty before calling the *_no_check methods. Added tests to check this. Code for several methods concerning adding constraints and congruences moved to the Grid.inlines.cc file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraint1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 16 Sep '08

16 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-16 08:32:19 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Avoid singleton variable warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/src Interval.inlines.hh
by Abramo Bagnara 16 Sep '08

16 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-09-16 08:14:49 Modified files: src : Interval.inlines.hh Log message: Fixed typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0