May 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron addgenerators1.cc
by Matthew Mundell 11 May '06

11 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-11 17:52:52 Modified files: tests/Polyhedron: addgenerators1.cc Log message: Correct indentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerator…

1 0

ppl/tests/Grid removespacedims2.cc
by Matthew Mundell 11 May '06

11 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-11 17:52:19 Modified files: tests/Grid : removespacedims2.cc Log message: Turn off test05 and test06 (remove_higher_space_dimensions is now private). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims2.c…

1 0

ppl/tests/Grid addgenerators1.cc
by Matthew Mundell 11 May '06

11 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-11 17:51:43 Modified files: tests/Grid : addgenerators1.cc Log message: Correct indenting. Turn off test05 and test06. Add test11 to test zero_dim_univ(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerators1.cc.…

1 0

ppl/src Grid_Generator_System.inlines.hh Grid_ ...
by Matthew Mundell 11 May '06

11 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-11 17:49:41 Modified files: src : Grid_Generator_System.inlines.hh Grid_Generator_System.defs.hh Log message: Add destructor, assignment operator and method zero_dim_univ. Order declarations and inline definitions as in Generator. Move [] operators, affine_image, add_universe_rows_and_columns, remove_space_dimensions and remove_higher_space_dimensions to the private section. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.inl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.def…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 11 May '06

11 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-11 14:57:44 Modified files: src : Grid_simplify.cc Log message: Rework the post-reduction part of simplify(cgs) to better handle the case when the given system is empty or all zeroes, and to save the check on reduced_num_rows in the zero row clipping block. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 11 May '06

11 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-11 13:44:35 Modified files: src : Grid_simplify.cc Log message: Add const to some variable types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/tests/Grid generator1.cc
by Matthew Mundell 11 May '06

11 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-11 12:32:04 Modified files: tests/Grid : generator1.cc Log message: Convert the type of the dimension variable in test17 from int to dimension_type. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generator1.cc.diff…

1 0

ppl/src Linear_Expression.cc Grid_widenings.cc ...
by Matthew Mundell 11 May '06

11 May '06

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-10 19:31:30 Modified files: src : Grid_simplify.cc Log message: Convert variable pivot_dim in reduce_reduced to a reference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-10 19:14:16 Modified files: src : Grid_public.cc Log message: Move temporary sp out of the loop in method relation_with. In generalized_affine_image/3 and generalized_affine_preimage/3 move the modulus negation check into the creation of the congruence to save the use of a temporary. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0