April 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid_simplify.cc
by Matthew Mundell 15 Apr '05

15 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-15 18:49:21 Modified files: src : Grid_simplify.cc Log message: When the first row must be added, add an empty congruence or point instead of a virtual row. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

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

15 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-15 17:29:54 Added files: tests/Grid : Makefile.am Log message: Initial revision. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am?cvsroo…

1 0

ppl/src Congruence.inlines.hh
by Matthew Mundell 15 Apr '05

15 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-15 15:23:45 Modified files: src : Congruence.inlines.hh Log message: Take out tracing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif…

1 0

ppl/src Congruence.defs.hh
by Matthew Mundell 15 Apr '05

15 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-15 15:23:23 Modified files: src : Congruence.defs.hh Log message: Take out inclusion of test file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

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

15 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-15 12:12:50 Modified files: tests/Grid : grid1.cc Log message: Add test7 to test10, and update all tests to test reduction and conversion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr…

1 0

ppl/tests/Grid congruencesystem1.cc
by Matthew Mundell 15 Apr '05

15 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-15 12:11:36 Modified files: tests/Grid : congruencesystem1.cc Log message: Add test7, which includes an all-zero congruence and an equality. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruencesystem1.…

1 0

ppl/src Linear_Row.inlines.hh Linear_Row.defs.hh
by Matthew Mundell 15 Apr '05

15 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-15 12:07:57 Modified files: src : Linear_Row.inlines.hh Linear_Row.defs.hh Log message: Add a virtual flag and methods is_virtual and set_is_virtual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.defs.hh.diff?c…

1 0

ppl/src Grid_simplify.cc Grid_public.cc Grid_n ...
by Matthew Mundell 15 Apr '05

15 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-15 12:06:03 Modified files: src : Grid_simplify.cc Grid_public.cc Grid_nonpublic.cc Grid_minimize.cc Grid_conversion.cc Grid.inlines.hh Grid.defs.hh Log message: Add much tracing. Neaten whitespace. Improve comments. Change the parameter system type to Generator_System in methods minimize and simplify. Rename convert to conversion (to match Polyhedron). Temporarily make some private methods public (for testing). Change parameterize to return the generator system and add the ability to pass a reference point to parameterize. Add static methods virtual_row and mark_virtual. Adjust is_included_in to the parameter system. Move the definition of construct to Grid_nonpublic.cc. Enable operator!=. Add conversion from parameter system to congruence system, and get both conversion methods working. Add a trace stream. Update the minimize and add_and_minimize methods. In all of these include negative values in the check for an empty grid after conversion, and always set the destination generators and generator system necessarily closed. Direct out some of the saturation matrix code. Correct the empty flag handling after adding congruences to the grid. In Grid(num_dimensions,kind) change the initial generator system topology to necessarily closed and set the congruences to minimized directly via status when the grid is empty. Update reduction (the simplify methods). 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_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_minimize.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c… 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

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

15 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-15 11:01:20 Modified files: src : Generator_System.cc Log message: Add virtual_rows to loading and dumping. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?…

1 0

ppl/src Congruence_System.inlines.hh Congruenc ...
by Matthew Mundell 15 Apr '05

15 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-15 10:55:25 Modified files: src : Congruence_System.inlines.hh Congruence_System.defs.hh Congruence_System.cc Log message: Add method resize_no_copy and a version of satisfies_all_congruences that accepts a parameter. In operator== substitute a local implementation for the Matrix::operator== call. Leave out equalities in normalize_moduli. In both satisfies_all_congruences compare the scalar product with zero for 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0