June 2005 - PPL-devel - BUGSENG Mailman

ppl/src Row.inlines.hh Grid_simplify.cc Grid_c ...
by Matthew Mundell 30 Jun '05

30 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-30 19:56:28 Modified files: src : Row.inlines.hh Grid_simplify.cc Grid_conversion.cc Grid.defs.hh Log message: Add strong reduction. Use negate(x) instead of -x. Slightly improve some comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro… 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_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/tests/Grid removespacedims2.cc removespace ...
by Matthew Mundell 27 Jun '05

27 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-27 13:15:40 Modified files: tests/Grid : removespacedims2.cc removespacedims1.cc addspacedims2.cc Log message: Correct known_gr. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims2.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addspacedims2.cc.d…

1 0

ppl/src Linear_Row.inlines.hh Linear_Row.defs. ...
by Matthew Mundell 27 Jun '05

27 Jun '05

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 22 Jun '05

22 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-06-22 12:02:12 Modified files: src : Polyhedron_public.cc Log message: Corrected the bug in Polyhedron::generalized_affine_image() that was shown by test generalizedaffineimage13.cc. We should actually check for emptyness before adding lines to the polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/tests/Polyhedron Makefile.am generalizedaf ...
by Enea Zaffanella 22 Jun '05

22 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-06-22 12:00:34 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: generalizedaffineimage13.cc Log message: Added a test program showing a bug in Polyhedron::generalized_affine_image(). The bug shows up (by throwing an exception) when the polyhedron is empty, but hte library hasn't yet detected emptyness. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizeda… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src Polyhedron.defs.hh Polyhedron_public.cc
by Enea Zaffanella 21 Jun '05

21 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-06-21 18:59:12 Modified files: src : Polyhedron.defs.hh Polyhedron_public.cc Log message: Added new method Polyhedron::affine_bounds() to compute the effect of transfer functions providing upper and lower bound affine expressions for a dimension of the polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 18 Jun '05

18 Jun '05

1 0

ppl/src Polyhedron_chdims.cc
by Roberto Bagnara 16 Jun '05

16 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-16 15:28:06 Modified files: src : Polyhedron_chdims.cc Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff…

1 0

ppl/tests/Polyhedron Makefile.am concatenate7. ...
by Roberto Bagnara 16 Jun '05

16 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-16 15:23:46 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: concatenate7.cc Removed files: tests/Polyhedron: bug1.cc bug1.dat Log message: Program `concatenate7' exhibits the same bug exhinited by `bug1'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/concatenate7… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug1.dat.dif…

1 0

ppl/src Polyhedron_chdims.cc
by Enea Zaffanella 16 Jun '05

16 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-06-16 15:07:34 Modified files: src : Polyhedron_chdims.cc Log message: Corrected a bug in Polyhedron::concatenate_assign() whereby the produced result could have failed to satisfy the library invariants. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff…

1 0