May 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid_minimize.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:34:53 Modified files: src : Grid_minimize.cc Log message: Take out tracing, add a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_minimize.cc.diff?cvs…

1 0

ppl/src Congruence_System.defs.hh Congruence_S ...
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:34:07 Modified files: src : Congruence_System.defs.hh Congruence_System.cc Log message: Add void method add_rows(const Congruence_System&). 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/tests/Grid grid2.cc grid1.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:32:44 Modified files: tests/Grid : grid2.cc grid1.cc Log message: Convert comments to C++ style. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr…

1 0

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

04 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-04 15:04:25 Modified files: src : Grid_simplify.cc Grid_public.cc Grid_nonpublic.cc Grid_conversion.cc Grid.inlines.hh Grid.defs.hh Log message: Rename constructor parameters from cgs to const_gs, and from cs to cgs. Add static methods lower_triangular and upper_triangular, and use them in OK. Use these and new function identity as pre-conversion assertions. Take out the congruence-related and Grid versions of throw_topology_incompatible, and the old Polyhedron constructor definitions. Clean up the topology checking in general. Comment out the parameter name in add_low_level_congruences to work around a compiler warning. Clean some argument spacing and update some comments. Update construct to convert a given NNC generator system to NC. 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_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 Grid_simplify.cc
by Matthew Mundell 03 May '05

03 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-03 15:20:33 Modified files: src : Grid_simplify.cc Log message: Only throw the "type match" run time errors when assertions are enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/tests/Grid grid2.cc grid1.cc
by Matthew Mundell 03 May '05

03 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-03 15:03:46 Modified files: tests/Grid : grid2.cc grid1.cc Log message: Neaten tracing headers. Use the single argument Grid constructor, instead of explicitly passing kind as EMPTY. Create known grids using the copy constructor. Add the known grid check to test15. Add test16, test17 and test18, which test universe grids of one, many and zero dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr…

1 0

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

03 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-03 15:02:26 Modified files: src : Grid_simplify.cc Log message: Turn off tracing. 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 03 May '05

03 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-03 15:01:50 Modified files: src : Grid_public.cc Log message: Ensure that dimensions given to the constructor are small enough. Implement method is_universe. Enable, clean up and improve the OK method. Add operator= (moved from Grid_nonpublic.cc). 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 03 May '05

03 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-03 14:48:58 Modified files: src : Grid_nonpublic.cc Log message: Take out operator= (moved to Grid_public.cc). Enable and update process_pending_congruences and process_pending_generators. Enable the pending processing in minimize(). Drop the topol argument from calls to throw_space_dimension_overflow. 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 03 May '05

03 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-03 14:40:58 Modified files: src : Grid_minimize.cc Log message: Simplify before initialising the destination in the minimize functions. Improve the loops that create identity matrices. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_minimize.cc.diff?cvs…

1 0