November 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid affineimage1.cc
by Matthew Mundell 10 Nov '05

10 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-10 21:21:04 Modified files: tests/Grid : affineimage1.cc Log message: Add three simple tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage1.cc.di…

1 0

ppl/src Congruence.defs.hh Congruence.cc
by Matthew Mundell 10 Nov '05

10 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-10 19:14:48 Modified files: src : Congruence.defs.hh Congruence.cc Log message: Add method throw_invalid_argument. Use it in throw_dimension_incompatible. In the constructors that take constraints move the check that the constraint is an equality to come before the construction of the underlying row. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo…

1 0

ppl/src Constraint.defs.hh Congruence_System.i ...
by Matthew Mundell 10 Nov '05

10 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-10 18:31:25 Modified files: src : Constraint.defs.hh Congruence_System.inlines.hh Congruence_System.defs.hh Congruence_System.cc Log message: In insert(cg) use add_recycled_row instead of add_row when a resized copy of cg is created, and call num_rows() in place instead of using a variable. Inline insert(cg). Doc the strong normalization of the insert methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… 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 Matrix.inlines.hh Matrix.defs.hh Matrix.cc
by Matthew Mundell 10 Nov '05

10 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-10 18:23:21 Modified files: src : Matrix.inlines.hh Matrix.defs.hh Matrix.cc Log message: Add add_recycled_row(Row&). Move the bulk of add_row to add_recycled_row. Call add_recycled_row from add_row. Inline add_row. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/src Congruence.defs.hh Congruence.cc
by Matthew Mundell 10 Nov '05

10 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-10 18:16:23 Modified files: src : Congruence.defs.hh Congruence.cc Log message: Add Congruence(c, sz, capacity). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo…

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 10 Nov '05

10 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-10 15:28:33 Modified files: src : BD_Shape.inlines.hh Log message: Corrected a bug in method ascii_load(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src scalar_products.defs.hh scalar_product ...
by Matthew Mundell 10 Nov '05

10 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-10 14:07:43 Modified files: src : scalar_products.defs.hh scalar_products.cc Congruence.defs.hh Log message: Take out scalar_product_assign(.., ref) and reduced_scalar_product_assign(.., ref), which were required by an older form of Congruence_System::satisfies_all_congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

ppl/src Congruence_System.inlines.hh Congruenc ...
by Matthew Mundell 10 Nov '05

10 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-10 13:41:48 Modified files: src : Congruence_System.inlines.hh Congruence_System.defs.hh Log message: Make the ascii_dump and ascii_load documentation implementation details. Take out Congruence_System(n_rows,n_cols). Keep has_linear_equalities(). Patches: 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…

1 0

ppl/tests/Grid Makefile.am topclosure1.cc
by Matthew Mundell 10 Nov '05

10 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-10 12:31:01 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : topclosure1.cc Log message: Add topclosure1, which tests Grid::topological_closure_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/topclosure1.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Grid_public.cc Grid.inlines.hh Grid.de ...
by Matthew Mundell 10 Nov '05

10 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-10 12:29:46 Modified files: src : Grid_public.cc Grid.inlines.hh Grid.defs.hh Log message: Declare and implement topological_closure_assign(). Patches: 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/src/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0