August 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid Makefile.am affineimage1.cc
by Matthew Mundell 01 Aug '05

01 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-01 18:32:49 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : affineimage1.cc Log message: Add affineimage1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage1.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Linear_Row.defs.hh Linear_Row.cc
by Matthew Mundell 01 Aug '05

01 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-01 18:31:09 Modified files: src : Linear_Row.defs.hh Linear_Row.cc Log message: Add method ascii_dump(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.cc.diff?cvsroo…

1 0

ppl/src Grid_nonpublic.cc
by Matthew Mundell 01 Aug '05

01 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-01 18:30:19 Modified files: src : Grid_nonpublic.cc Log message: In normalize_divisors(sys, divisor) only set the divisor for points. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src Linear_Expression.defs.hh Grid_public. ...
by Matthew Mundell 01 Aug '05

01 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-01 18:28:52 Modified files: src : Linear_Expression.defs.hh Grid_public.cc Generator_System.defs.hh Generator_System.cc Generator.defs.hh Generator.cc Congruence_System.cc Log message: Enable Congruence_System::affine_preimage and Grid::affine_image. Add parameter check_normalization to Generator::OK, which determines if normalization is checked. Add parameter check_normalization to Generator_System methods OK and insert, which is passed through to Generator::OK. Skip the normalization checks for the Grid generator system. Add parameter grid to Generator_System::affine_image, which determines if strong_normalize and remove_invalid_lines_and_rays are called. In add_generator normalize the generator's divisor after the generator is inserted. Declare Grid and Congruence_System friends of Linear_Expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh… 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/Generator_System.defs.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0