April 2003 - PPL-devel - BUGSENG Mailman

ppl/src BoundingBox.defs.hh BoundingBox.inline ...
by Enea Zaffanella 27 Apr '03

27 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-27 16:49:49 Modified files: src : BoundingBox.defs.hh BoundingBox.inlines.hh BoundingBox.cc Polyhedron.inlines.hh Log message: Added Doxygen comments for class BoundingBox. Method Polyehdron::shrink_bounding_box() adapted to the lack of default constructors for LBoundary and UBoundary. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src Interval.defs.hh Interval.inlines.hh I ...
by Enea Zaffanella 27 Apr '03

27 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-27 16:48:03 Modified files: src : Interval.defs.hh Interval.inlines.hh Interval.cc Log message: Added Doxygen comments to classes ERational, Boundary, LBoundary, UBoundary, Interval. Removed all the comparison operators that are not currently used in the sources. Removed the default constructors for LBoundary and UBoundary. Made explicit that the Interval class, as it is defined, can only manipulate standard (i.e., non-extended) rational intervals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.cc.diff?cvsroot=…

1 0

ppl/src Row.defs.hh
by Enea Zaffanella 27 Apr '03

27 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-27 16:44:16 Modified files: src : Row.defs.hh Log message: Added a scary comment to Row::assign(), since its improper use may cause memory leaks. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 27 Apr '03

27 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-27 16:42:51 Modified files: src : Polyhedron.defs.hh Log message: In the documentation of shrink_bounding_box, we now state that we will always call raise_lower_bound and lower_upper_bound with fractions in canonical form. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Enea Zaffanella 27 Apr '03

27 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-27 16:40:30 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: Added files Interval.* and BoundingBox.* to the documentation of the developers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0

ppl/tests writevariable1.cc
by Roberto Bagnara 27 Apr '03

27 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-27 12:48:13 Modified files: tests : writevariable1.cc Log message: Pass objects of type `Variable' by value. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writevariable1.cc.diff?…

1 0

ppl/src LinExpression.cc LinExpression.defs.hh ...
by Roberto Bagnara 27 Apr '03

27 Apr '03

1 0

ppl/src BoundingBox.cc BoundingBox.inlines.hh ...
by Roberto Bagnara 27 Apr '03

27 Apr '03

1 0

ppl/src Matrix.cc
by Enea Zaffanella 27 Apr '03

27 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-27 10:41:57 Modified files: src : Matrix.cc Log message: Fixed a typo in a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/src Polyhedron_widenings.cc
by Roberto Bagnara 27 Apr '03

27 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-27 09:19:25 Modified files: src : Polyhedron_widenings.cc Log message: Avoid unnecessary explicit initialization of vectors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d…

1 0