May 2006 - PPL-devel - BUGSENG Mailman

ppl/src Grid_conversion.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 18:27:57 Modified files: src : Grid_conversion.cc Log message: In both conversion methods move temp integers out of loops and convert `source_dim' temp integers to references. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c…

1 0

ppl/src Grid.templates.hh
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 18:04:04 Modified files: src : Grid.templates.hh Log message: In get_covering_box replace the use of l_n and l_d with the use of `temp' and convert temp integer `divisor' into a reference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cv…

1 0

ppl/tests/Grid generator1.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 17:19:51 Modified files: tests/Grid : generator1.cc Log message: Correct indentation in test17. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generator1.cc.diff…

1 0

ppl/src Grid_simplify.cc Grid_conversion.cc Gr ...
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 17:19:13 Modified files: src : Grid_simplify.cc Grid_conversion.cc Grid_Generator_System.inlines.hh Grid_Generator_System.defs.hh Grid_Generator_System.cc Congruence_System.inlines.hh Congruence_System.defs.hh Congruence_System.cc Log message: Update grid row and column counter variable names to *num_rows and *num_columns. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-10 16:21:24 Modified files: src : Octagonal_Shape.templates.hh Log message: Improved the readability of the method Octagonal_Shape<T>::map_space_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Congruence_System.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 15:41:32 Modified files: src : Congruence_System.cc Log message: Add const to a few variable declarations. In normalize_moduli convert the `modulus' variables to references and move temp integer `factor' out of the for loop. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-10 15:21:05 Modified files: src : Octagonal_Shape.templates.hh Log message: Indented correctly a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src BD_Shape.templates.hh
by Elena Mazzi 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-05-10 14:33:24 Modified files: src : BD_Shape.templates.hh Log message: Renamed iterators in BD_Shape::get_limiting_shape() so as to avoid misleading name clash with space dimension indices Corrected a couple of typos in the (optional) output produced by OK() when invarinats are violated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/Octagon Makefile.am generalizedaffin ...
by Barbara Quartieri 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-10 14:23:57 Modified files: tests/Octagon : Makefile.am generalizedaffinepreimage2.cc Added files: tests/Octagon : generalizedaffinepreimage3.cc Log message: Added some 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/Makefile.am.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi…

1 0

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-10 14:22:43 Modified files: src : Octagonal_Shape.templates.hh Log message: Corrected some comments in Octagonal_Shape<T>::generalized_affine_image(). Added the definition for Octagonal_Shape<T> ::generalized_affine_preimage(const Linear_Expression& lhs, const Relation_Symbol relsym, const Linear_Expression& rhs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0