April 2005 - PPL-devel - BUGSENG Mailman

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

21 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-21 12:30:26 Modified files: tests/Grid : Makefile.am Log message: Add grid2_SOURCES, and add grid2 to TESTS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Grid grid2.cc
by Matthew Mundell 21 Apr '05

21 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-21 12:29:38 Added files: tests/Grid : grid2.cc Log message: Initial revision. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc?cvsroot=p…

1 0

ppl/tests/Grid grid1.cc
by Matthew Mundell 21 Apr '05

21 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-21 12:28:26 Modified files: tests/Grid : grid1.cc Log message: Always compare the grid and known grid in the same order. Match the test names in the comments to the new Chiara names. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr…

1 0

ppl/src Grid.defs.hh
by Matthew Mundell 21 Apr '05

21 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-21 11:51:46 Modified files: src : Grid.defs.hh Log message: Return a bool from update_congruences and simplify to indicate whether the grid is empty. Pass this return on in the minimize and add_and_minimize methods which call simplify. Assert an equal number of columns in the sources in the congruence to generator add_and_minimize\5. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

2 1

ppl/src Grid_public.cc
by Matthew Mundell 21 Apr '05

21 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-21 12:16:21 Modified files: src : Grid_public.cc Log message: Update add_recycled_congruences_and_minimize to clear the empty flag and set the congruences up-to-date. Take out the polyhedra comments in operator==, and neaten operator<<. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_simplify.cc Grid_nonpublic.cc Gri ...
by Matthew Mundell 21 Apr '05

21 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-21 12:10:11 Modified files: src : Grid_simplify.cc Grid_nonpublic.cc Grid_minimize.cc Log message: Return a bool from the update_congruences and simplify methods to indicate whether the grid is empty. Pass this return on in the minimize and add_and_minimize methods which call simplify. Assert an equal number of columns in source1 and source2 in add_and_minimize\5 (congruence to generator). In update_congruences and update_generators set the grid empty according to the minimize return. In both simplifys use the row number instead of the row to test if the original row and pivot must be swapped. In the congruence simplify when adding the top row, search for a valid modulus and set the diagonal (and modulus) to the result of the search. 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_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_minimize.cc.diff?cvs…

1 0

ppl/src Generator_System.cc
by Matthew Mundell 21 Apr '05

21 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-21 11:40:46 Modified files: src : Generator_System.cc Log message: In operator<< increment the iterator after the virtual row check, and loop with a single comparison. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?…

1 0

ppl/src Congruence_System.cc
by Matthew Mundell 21 Apr '05

21 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-21 11:37:12 Modified files: src : Congruence_System.cc Log message: Take out normalize_moduli tracing. Add satisfies_all_cgs tracing. Update normalize_moduli to consider only positive moduli. Make adjust_space_dimension move the moduli to the new last column. Neaten the operator<< loop. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/tests/Grid grid1.cc
by Matthew Mundell 19 Apr '05

19 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-19 19:08:05 Modified files: tests/Grid : grid1.cc Log message: Add test14 which uses larger numbers than the existing tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr…

1 0

ppl/tests/Grid grid1.cc
by Matthew Mundell 19 Apr '05

19 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-19 14:22:17 Modified files: tests/Grid : grid1.cc Log message: Add test11-13 which test with an empty grid in one, an empty grid in many dimensions and a grid in which the values are larger than in the existing tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr…

1 0