November 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid_chdims.cc
by Matthew Mundell 28 Nov '05

28 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-28 21:04:26 Modified files: src : Grid_chdims.cc Log message: Update add_space_dimensions_and_embed and add_space_dimensions_and_project to use set_empty to empty the grid. Update concatenate_assign to handle empty congruence systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0

ppl/src Grid_simplify.cc Grid_nonpublic.cc Gri ...
by Matthew Mundell 28 Nov '05

28 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-28 21:01:46 Modified files: src : Grid_simplify.cc Grid_nonpublic.cc Grid.inlines.hh Log message: Improve a trace message slightly. Improve a few comments. Update the congruence system simplify method to accept empty congruence systems. 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.inlines.hh.diff?cvsr…

1 0

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

28 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-28 20:54:50 Modified files: src : Grid_public.cc Log message: Improve a few comments. Update intersection_assign to add the `y' congruence system only if it contains rows. Take the setting of the up-to-date flag out of Grid(n,k). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

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

28 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-28 20:50:25 Modified files: src : Grid_widenings.cc Log message: Improve a comment slightly. 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 28 Nov '05

28 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-28 16:03:28 Modified files: src : Grid_public.cc Log message: Update Grid(const Grid&) to ensure that the out of date systems are the correct size. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_chdims.cc
by Matthew Mundell 28 Nov '05

28 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-28 15:59:30 Modified files: src : Grid_chdims.cc Log message: Update remove_space_dimensions and remove_higher_space_dimensions to call set_empty when the grid is empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 28 Nov '05

28 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-28 15:08:16 Modified files: src : BD_Shape.inlines.hh Log message: The more precise convex combination is now also used in method generalized_affine_image(). Common code factored out in a couple of helper functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src Congruence_System.inlines.hh
by Matthew Mundell 28 Nov '05

28 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-28 13:27:49 Modified files: src : Congruence_System.inlines.hh Log message: Align comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.inlines…

1 0

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

28 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-28 13:27:32 Modified files: src : Grid_public.cc Log message: Take out query (set_zero_dim_univ will insert a point, which adjusts the space dimension). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/doc ppl.sty
by Patricia Hill 28 Nov '05

28 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2005-11-28 11:11:36 Modified files: doc : ppl.sty Log message: "newcommand"s needed for the documentation for the grid domain added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…

1 0