- PPL-devel - BUGSENG Mailman

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

ppl/tests Makefile.am generalizedaffineimage1. ...
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 12:56:50 Modified files: tests : Makefile.am Added files: tests : generalizedaffineimage1.cc generalizedaffineimage2.cc Log message: Added a couple of tests for the new generalized_affine_image operator. Patches: 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/Makefile.am.diff?cvsroo…

1 0

ppl/doc definitions.dox
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 12:55:32 Modified files: doc : definitions.dox Log message: Added draft specification of the generalized affine image operator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Polyhedron.defs.hh 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 12:53:38 Modified files: src : Polyhedron.defs.hh Polyhedron.cc Log message: Added a first draft implementation of the generalized_affine_image operator. Current implementation should work correctly for C_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.cc.diff?cvsroo…

1 0

ppl/src LinExpression.defs.hh LinExpression.in ...
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 12:51:49 Modified files: src : LinExpression.defs.hh LinExpression.inlines.hh Log message: Added methods to provide read-only access to the coefficients and the inhomogeneous term of a LinExpression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.…

1 0

ppl src/Polyhedron.cc tests/Makefile.am tests/ ...
by Elisa Ricci 25 Sep '02

25 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-25 18:25:33 Modified files: src : Polyhedron.cc tests : Makefile.am Added files: tests : bbrz02widening12.cc Log message: Corrected an improved the third technique of Polyhedron::BBRZ02_widening_assign(). Added a test to verify this technique. Patches: 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/tests/bbrz02widening12.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/doc definitions.dox
by Roberto Bagnara 25 Sep '02

25 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-09-25 16:54:55 Modified files: doc : definitions.dox Log message: Greatly improved the matrix in the explanation of affine images and preimages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl NEWS
by Enea Zaffanella 25 Sep '02

25 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-25 14:31:18 Modified files: . : NEWS Log message: Removed a few repetitions in the list of bugfixes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.36…

1 0