September 2002 - PPL-devel - BUGSENG Mailman

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

ppl/src Integer.defs.hh Integer.inlines.hh Pol ...
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 10:12:26 Modified files: src : Integer.defs.hh Integer.inlines.hh Polyhedron.cc Log message: Added the functions void sqrt_assign(Integer& x) and void sqrt_assign(Integer& x, const Integer& y) in Integer to compute he truncated integer part of the root of an Integer. Used the function sqrt_assign(Integer&) in the first technique of BBRZ02_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Integer.defs.hh Integer.inlines.hh Pol ...
by Elisa Ricci 24 Sep '02

24 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-24 19:05:50 Modified files: src : Integer.defs.hh Integer.inlines.hh Polyhedron.cc Log message: Added the functions lcm_assign(Integer& x, const Integer& y) and lcm_assign(Integer& x, const Integer& y, const Integer& z) in Integer. Modified the function Polyhedron::BBRZ02_widening_assing() so that in the first technique we choose the constraints to add in the right system and we normalize the vectors using a bad approximation of the norm; corrected also an error in the third technique in the case of rays with negative coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

w3ppl/htdocs/Documentation bibliography.raw
by Roberto Bagnara 24 Sep '02

24 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-09-24 18:15:57 Modified files: htdocs/Documentation: bibliography.raw Log message: Regenerated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio…

1 0