May 2006 - PPL-devel - BUGSENG Mailman

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

04 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-04 15:56:50 Modified files: src : Grid_simplify.cc Log message: Improve variable names in reduce_parameter_with_line and reduce_congruence_with_equality. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/tests ppl_test.cc ppl_test.hh BD_Shape/add ...
by Roberto Bagnara 04 May '06

04 May '06

1 0

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

04 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-04 14:49:48 Modified files: src : Octagonal_Shape.templates.hh Log message: Improved generalized_affine_preimage(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Octagonal_Shape.templates.hh
by Elena Mazzi 04 May '06

04 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-05-04 14:17:14 Modified files: src : Octagonal_Shape.templates.hh Log message: Several (mainly readability) improvements to the implementation of method generalized_affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

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

04 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-04 13:47:50 Modified files: src : Octagonal_Shape.templates.hh Log message: Another pass through the code of generalized_affine_preimage(), to improve readability and thus maintainability. - in the general case, the references inside the matrix are named m_*, e.g., m_i, m_ci, m_v, etc. Avoid almost useless uses of row_iterator (prefer the direct matrix accessors' operators if a single access to the row has to be done). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

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

04 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-04 13:09:04 Modified files: src : Octagonal_Shape.templates.hh Log message: Another pass through the code of generalized_affine_preimage(), to improve readability and thus maintainability. - moved the definition of minus_den to avoid repeated computations; - in the case t==0, removed an unneccesary row_iterator and defined two_b; - in the case t==1, coeff renamed as w_coeff and lv_index renamed as n_w. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests BD_Shape/Makefile.am Polyhedron/Make ...
by Roberto Bagnara 04 May '06

04 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-05-04 13:04:38 Modified files: tests/BD_Shape : Makefile.am tests/Polyhedron: Makefile.am Log message: Unwanted indentation removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src Octagonal_Shape.templates.hh
by Elena Mazzi 04 May '06

04 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-05-04 12:16:27 Modified files: src : Octagonal_Shape.templates.hh Log message: Improved readability and thus maintainability in the methods of affine trasformations: - in the case t==1, the coefficient a renamed as w_coeff. Corrected a bug in the method affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Octagonal_Shape.templates.hh
by Elena Mazzi 04 May '06

04 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-05-04 10:46:42 Modified files: src : Octagonal_Shape.templates.hh Log message: Improved readability and thus maintainability in the methods of affine trasformations: - last_var_id renamed as w_id; - num_var renamed as var_id. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Octagonal_Shape.templates.hh
by Enea Zaffanella 04 May '06

04 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-05-04 10:12:27 Modified files: src : Octagonal_Shape.templates.hh Log message: Another pass through the code of affine_image(), to improve readability and thus maintainability. - last_var_id renamed as w_id; - in the case t==1, coeff renamed as w_coeff; - variable indices should be called *_id; the indices used to access the matrix should be named n_*, e.g., var and n_w; - the references inside the matrix are named m_*, e.g., m_i, m_ci, m_v, etc. Avoid repeated testing of known conditionals; avoid almost useless uses of row_iterator (prefer the direct matrix accessors' operators if a single access to the row has to be done). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0