September 2002 - PPL-devel - BUGSENG Mailman

ppl/src ConSys.cc GenSys.cc
by Enea Zaffanella 27 Sep '02

27 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-27 15:35:25 Modified files: src : ConSys.cc GenSys.cc Log message: Private methods ConSys::affine_preimage() and GenSys::affine_image() now assume that the third argument is a _positive_ Integer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/tests Makefile.am generalizedaffineimage1. ...
by Enea Zaffanella 27 Sep '02

27 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-27 15:33:36 Modified files: tests : Makefile.am generalizedaffineimage1.cc generalizedaffineimage2.cc generalizedaffineimage3.cc Added files: tests : affineimage5.cc generalizedaffineimage4.cc Log message: Added new tests and adjusted the known_results of generalizedaffineimage* to match the specification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage5.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage4… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage2… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage3…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Enea Zaffanella 27 Sep '02

27 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-27 09:23:54 Modified files: htdocs/Bugs : Bugs.raw Log message: Reported a bug affecting Polyhedron::affine_image() when the denominator is negative. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

ppl doc/definitions.dox src/Polyhedron.cc src/ ...
by Enea Zaffanella 27 Sep '02

27 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-27 09:23:03 Modified files: doc : definitions.dox src : Polyhedron.cc Polyhedron.defs.hh Log message: Method generalized_affine_image() reimplemented to match its specification. The doxygen specification improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl NEWS
by Enea Zaffanella 27 Sep '02

27 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-27 09:20:13 Modified files: . : NEWS Log message: Reported the bugfix for Polyhedron::affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.37…

1 0

ppl/src GenSys.cc
by Enea Zaffanella 27 Sep '02

27 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-27 09:18:56 Modified files: src : GenSys.cc Log message: Corrected a bug in GenSys::affine_image() whereby we were creating points having a negative divisor when the denominator of the affine transformation was negative. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/tests Makefile.am affineimage4.cc
by Enea Zaffanella 27 Sep '02

27 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-27 09:16:41 Modified files: tests : Makefile.am Added files: tests : affineimage4.cc Log message: New test showing a bug in Polyhedron::affine_image() when the divisor is negative. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage4.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Enea Zaffanella 26 Sep '02

26 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-26 17:02:24 Modified files: htdocs/Bugs : Bugs.raw Log message: The bug discovered on September 23rd is now made public on the PPL web pages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 26 Sep '02

26 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-26 15:20:03 Modified files: src : Polyhedron.cc Log message: The draft implementation of Polyhedron::generalized_affine_image() extended to work with NNC polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am generalizedaffineimage3.cc
by Enea Zaffanella 26 Sep '02

26 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-26 13:17:44 Modified files: tests : Makefile.am Added files: tests : generalizedaffineimage3.cc Log message: Added a test for generalized_affine_image where the points of the polyhedron have non-integral coordinates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage3… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0