January 2006 - PPL-devel - BUGSENG Mailman

ppl/src Generator_System.defs.hh
by Matthew Mundell 22 Jan '06

22 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-22 22:39:26 Modified files: src : Generator_System.defs.hh Log message: Take out the Grid friend declaration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.…

1 0

ppl/tests/Grid addconstraint1.cc
by Matthew Mundell 22 Jan '06

22 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-22 22:38:57 Modified files: tests/Grid : addconstraint1.cc Log message: Correct test name in message. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraint1.cc.…

1 0

ppl/src Grid_simplify.cc Grid_public.cc Grid.d ...
by Matthew Mundell 22 Jan '06

22 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-22 22:38:33 Modified files: src : Grid_simplify.cc Grid_public.cc Grid.defs.hh Log message: Reduce dependence on the Congruence_System (cgs) Grid friend declaration: Update relation_with to use cgs::inhomogeneous_term, is_pointed to use cgs::has_a_free_dimension, add_recycled_congruences to use cgs::recycling_insert, and add_recycled_congruences_and_minimize to use cgs::insert(cgs). Reduce dependence on the Generator_System Grid friend declaration: update OK to use is_equal_to and convert function rows_are_zero to a static template method. Correct the num_cols init in reduce_parameter_with_line. 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_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Grid_widenings.cc
by Matthew Mundell 22 Jan '06

22 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-22 22:26:14 Modified files: src : Grid_widenings.cc Log message: Update select_wider_congruences to use Congruence::is_equal_at_dimension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv…

1 0

ppl/src Grid_chdims.cc
by Matthew Mundell 22 Jan '06

22 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-22 22:25:07 Modified files: src : Grid_chdims.cc Log message: Reduce dependence on Congruence_System's Grid friend declaration: update both add_space_dimension_and_project methods to use Congruence_System::add_unit_rows_and_columns and update concatenate_assign to use Congruence_System::concatenate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0

ppl/src Grid_Generator_System.cc
by Matthew Mundell 22 Jan '06

22 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-22 22:18:32 Modified files: src : Grid_Generator_System.cc Log message: Declare old_num_rows in recycling_insert const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.…

1 0

ppl/src Grid_Generator_System.inlines.hh Grid_ ...
by Matthew Mundell 22 Jan '06

22 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-22 22:18:01 Modified files: src : Grid_Generator_System.inlines.hh Grid_Generator_System.defs.hh Log message: Add wrapper methods for Linear_System and Matrix methods used in Grid: permute_columns, erase_to_end, num_columns, resize_no_copy, set_index_first_pending_row, and unset_pending_rows. 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 Congruence.inlines.hh
by Matthew Mundell 22 Jan '06

22 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-22 22:15:34 Modified files: src : Congruence.inlines.hh Log message: Correct is_equal_at_dimension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif…

1 0

ppl/src Congruence_System.defs.hh Congruence_S ...
by Matthew Mundell 22 Jan '06

22 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-22 22:15:15 Modified files: src : Congruence_System.defs.hh Congruence_System.cc Log message: Add methods is_equal_to(cgs), recycling_insert(cgs), add_unit_rows_and_columns(k), concatenate(cgs) and has_a_free_dimension(). Rename method add_rows to insert, updating it to add columns as required and moving it to the public section. Patches: 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 Congruence.inlines.hh Congruence.defs.hh
by Matthew Mundell 22 Jan '06

22 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-22 22:01:21 Modified files: src : Congruence.inlines.hh Congruence.defs.hh Log message: Add is_equal_at_dimension. Improve Grid friend declaration comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0