November 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid Makefile.am membytes2.cc membyt ...
by Matthew Mundell 10 Nov '05

10 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-10 11:57:46 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : membytes2.cc membytes1.cc Log message: Add membytes1 and membytes2, to exercise Grid::total_memory_in_bytes() and Grid::external_memory_in_bytes(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/membytes2.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/membytes1.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Grid_widenings.cc
by Matthew Mundell 10 Nov '05

10 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-10 11:56:08 Modified files: src : Grid_widenings.cc Log message: Rename parameter selected_cgs as cgs_selected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv…

1 0

ppl/src Grid_public.cc Grid_nonpublic.cc Grid_ ...
by Matthew Mundell 10 Nov '05

10 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-10 11:55:16 Modified files: src : Grid_public.cc Grid_nonpublic.cc Grid_minimize.cc Grid.inlines.hh Grid.defs.hh Log message: Doc param convert_rays_to_lines in Grid(gs, convert_rays_to_lines). Neaten some comment widths. Make the add_space_dimensions methods private. Note in docs where Grid maths symbols must be used. Doc the return of ascii_load formally. Shorten the convert_rays_to_lines param doc for construct(gs, convert_rays_to_lines). Use "minimize" instead of "reduce" and "generator system" instead of "parameter system". Improve a few method descriptions. Enable method total_memory_in_bytes. Take out the remaining pending row methods, strongly_minimize_congruences and strongly_minimize_generators. Void the return from minimize(cgs,ls). Swap the return cases in minimize(gs,cgs) to match the other methods that return an indication of the grid's emptiness. Patches: 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.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.defs.hh
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 21:46:10 Modified files: src : Grid.defs.hh Log message: Correct and neaten comments. Document the parameters in the shrink and get bounding box methods. Document the return in add_recycled_constraints_and_minimize. Move the join_assign_and_minimize declaration to match the Polyhedron ordering. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/tests/Grid Makefile.am disjoint1.cc
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 20:25:08 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : disjoint1.cc Log message: Add disjoint1, which tests Grid::is_disjoint_from(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/disjoint1.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Grid contains1.cc
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 20:24:06 Modified files: tests/Grid : contains1.cc Log message: Improve comments, messages and a variable name. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/contains1.cc.diff?…

1 0

ppl/src Grid_widenings.cc
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 20:22:46 Modified files: src : Grid_widenings.cc Log message: In limited_extrapolation_assign check dimension compatibility before falling back to the ordinary widening. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 20:16:42 Modified files: src : Grid_public.cc Log message: Enable the is_disjoint_from definition. In intersection_assign pass true only to y.OK, as x can be empty. Update a temporary comment. In OK use "unsatisfiable" instead fo "insoluble". Neaten a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid.inlines.hh
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 20:11:13 Modified files: src : Grid.inlines.hh Log message: Take out is_necessarily_closed() and topology(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl/src Grid.defs.hh
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 20:10:26 Modified files: src : Grid.defs.hh Log message: Neaten and correct comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0