November 2005 - PPL-devel - BUGSENG Mailman

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 10:32:10 Modified files: src : BD_Shape.inlines.hh Log message: The computation of convex combinations in the general case of affine images has been simplified and properly commented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

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

27 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: hill(a)cs.unipr.it 2005-11-27 23:24:10 Modified files: doc : ppl.sty Log message: Improved comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 27 Nov '05

27 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-27 19:03:33 Modified files: src : Grid_simplify.cc Log message: In the generator simplify method also assert sys is OK in the empty case. In both cases pass false to OK. 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 27 Nov '05

27 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-27 18:54:11 Modified files: src : Grid_public.cc Log message: Leave congruences as they are (update_generators will simplify them). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

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

27 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-27 18:27:00 Modified files: src : Grid_public.cc Log message: Assert false if relation_with(cg) finds a closure point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Row.defs.hh
by Matthew Mundell 27 Nov '05

27 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-27 18:05:13 Modified files: src : Row.defs.hh Log message: Take out the Grid friend declaration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/src Polyhedron_public.cc
by Matthew Mundell 27 Nov '05

27 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-27 18:04:36 Modified files: src : Polyhedron_public.cc Log message: Note a possible improvement in add_congruences(cgs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Matrix.defs.hh
by Matthew Mundell 27 Nov '05

27 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-27 18:02:14 Modified files: src : Matrix.defs.hh Log message: Mention size and capacity in the add_recycled_row parameter description. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 27 Nov '05

27 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-27 17:59:43 Modified files: src : Grid_simplify.cc Log message: In the congruence simplify method always erase rows with erase_to_end. Take out the capacity setting after erases. Add three temporary comments. Improve two comments. Compare to zero explicitly in two assertions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Constraint.defs.hh
by Matthew Mundell 27 Nov '05

27 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-27 17:53:25 Modified files: src : Constraint.defs.hh Log message: Take out the Congruence_System friend declaration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…

1 0