May 2005 - PPL-devel - BUGSENG Mailman

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

06 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-06 11:37:08 Modified files: src : Grid_simplify.cc Grid_conversion.cc Log message: Use new method Congruence_System::is_congruence. Update parameter reduction to make all following rows virtual if the first row turns out to be virtual or a line. Update congruence reduction to make the first row the integrality congruence if the resulting grid is empty. 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…

1 0

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

06 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-06 11:29:32 Modified files: src : Grid_public.cc Log message: Enable and implement intersection_assign_and_minimize, join_assign and join_assign_and_minimize. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_nonpublic.cc
by Matthew Mundell 06 May '05

06 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-06 11:27:48 Modified files: src : Grid_nonpublic.cc Log message: Normalise moduli before simplifying in construct. Correct some comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src Grid_minimize.cc
by Matthew Mundell 06 May '05

06 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-06 11:26:11 Modified files: src : Grid_minimize.cc Log message: Reorder method definitions. Add some temporary comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_minimize.cc.diff?cvs…

1 0

ppl/src Congruence_System.cc Congruence.inline ...
by Matthew Mundell 06 May '05

06 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-06 11:22:18 Modified files: src : Congruence_System.cc Congruence.inlines.hh Congruence.defs.hh Log message: Add method is_congruence. Adjust normalize_moduli to loop through all the rows when calculating the LCM. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff… 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

ppl/tests/Grid Makefile.am
by Matthew Mundell 05 May '05

05 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-05 10:55:34 Modified files: tests/Grid : Makefile.am Log message: Add grid3_SOURCES and add grid3 to TESTS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Grid grid3.cc
by Matthew Mundell 05 May '05

05 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-05 10:54:28 Added files: tests/Grid : grid3.cc Log message: Initial revision. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc?cvsroot=p…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 05 May '05

05 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-05 10:49:21 Modified files: src : Grid_simplify.cc Log message: Rename function trailing_rows_are_zero to rows_are_zero, and modify it to also take the last row (instead of just checking to the end). Update the call of this function in the congruence simplify to correctly check the rows at the beginning of the matrix. In the congruence simplify decrement orig_row_num in macro free_row, to match it to the new number of rows. 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 05 May '05

05 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-05 10:42:11 Modified files: src : Grid_public.cc Log message: Simplify instead of processing pending, in is_universe. Enable processing of pending generators in add_congruence. Enable and implement intersection_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_nonpublic.cc
by Matthew Mundell 05 May '05

05 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-05 10:36:39 Modified files: src : Grid_nonpublic.cc Log message: Minimize instead of simplifying in the process_pending methods. Update a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0