October 2002 - PPL-devel - BUGSENG Mailman

ppl/src LinExpression.defs.hh LinExpression.cc
by Enea Zaffanella 04 Oct '02

04 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-04 18:39:04 Modified files: src : LinExpression.defs.hh LinExpression.cc Log message: Added new function LinExpression& operator*=(LinExpression& e, const Integer& n); to multiply (in place) a given expression by an Integer constant. 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.cc.diff?cvs…

1 0

Parma Polyhedra Library 0.4.2
by Roberto Bagnara 04 Oct '02

04 Oct '02

We have the pleasure to announce the release 0.4.2 of the Parma Polyhedra Library, a minor bugfix release. Most of the bugs fixed in this release were discovered thanks to the ongoing effort to extend the PPL test suite so as to cover 100% of the library's code. For more information, visit the PPL web site at http://www.cs.unipr.it/ppl/ The PPL development team: Roberto Bagnara <bagnara(a)cs.unipr.it> Patricia M. Hill <hill(a)comp.leeds.ac.uk> Elisa Ricci <ericci(a)cs.unipr.it> Enea Zaffanella <zaffanella(a)cs.unipr.it> Bugfixes ======== o Fixed a bug in method Polyhedron::add_generator(const Generator&) whereby we were not adding the corresponding closure point when adding a point to an empty NNC polyhedron. o Fixed a bug in method GenSys::insert(const Generator&) whereby the insertion of a generator into an empty generator system might be mishandled. o Fixed a bug in method Polyhedron::operator<=(const Polyehdron&) whereby the lines of the polyhedron were handled improperly. o Fixed a bug in a private method used to implement public method Polyhedron::relation_with(const Generator& g), whereby a wrong result was obtained when `g' was a line. o Fixed a bug in methods Polyhedron::affine_image() and Polyhedron::affine_preimage(), whereby a wrong result could be obtained when using a negative denominator for the affine expression. o Fixed a bug in methods Polyhedron::minimized_constraints() and Polyhedron::minimized_generators(), whereby a library invariant was violated when calling these methods on a zero-dimensional space universe NNC polyhedron. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl doc/definitions.dox tests/Makefile.am test ...
by Enea Zaffanella 04 Oct '02

04 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-04 15:19:30 Modified files: doc : definitions.dox tests : Makefile.am Added files: tests : bbrz02widening13.cc Log message: Added a new test for the bbrz02 widening. 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/tests/bbrz02widening13.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

w3ppl/htdocs/templates macros.tmpl
by Roberto Bagnara 04 Oct '02

04 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-04 15:05:24 Modified files: htdocs/templates: macros.tmpl Log message: Bump version number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/templates/macros.tmp…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 04 Oct '02

04 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-04 12:49:23 Modified files: htdocs : news.raw ppl.raw Log message: Mention the new release. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

CVS tag event: /cvs/ppl/ppl/tests
by Roberto Bagnara 04 Oct '02

04 Oct '02

Repository: /cvs/ppl/ppl/tests Tag: ppl_0_4_2_release Operation: mov Date: 2002-10-04 12:22:34 Tagged-By: roberto File: .cvsignore Revision: 1.5 File: Makefile.am Revision: 1.79.2.4 File: NNCinclusion1.cc Revision: 1.2 File: NNCminimize1.cc Revision: 1.4 File: NNCminimize2.cc Revision: 1.4 File: NNCminimize3.cc Revision: 1.4 File: NNCminimize4.cc Revision: 1.6 File: NNCminimize5.cc Revision: 1.2 File: NNCminimize6.cc Revision: 1.4 File: addconstraints1.cc Revision: 1.6 File: addconstraints10.cc Revision: 1.5 File: addconstraints11.cc Revision: 1.6 File: addconstraints2.cc Revision: 1.12 File: addconstraints3.cc Revision: 1.3 File: addconstraints4.cc Revision: 1.5 File: addconstraints5.cc Revision: 1.6 File: addconstraints6.cc Revision: 1.7 File: addconstraints7.cc Revision: 1.6 File: addconstraints8.cc Revision: 1.6 File: addconstraints9.cc Revision: 1.7 File: adddimensions1.cc Revision: 1.8 File: adddimensions2.cc Revision: 1.4 File: adddimensions3.cc Revision: 1.6 File: adddimensions4.cc Revision: 1.4 File: adddimensions5.cc Revision: 1.1 File: adddimensions6.cc Revision: 1.1 File: adddimensions7.cc Revision: 1.1 File: addgenerators1.cc Revision: 1.7 File: addgenerators2.cc Revision: 1.7 File: addgenerators3.cc Revision: 1.6 File: addgenerators4.cc Revision: 1.6 File: addgenerators5.cc Revision: 1.6 File: addgenerators6.cc Revision: 1.6 File: addgenerators7.cc Revision: 1.2 File: affineimage1.cc Revision: 1.6 File: affineimage2.cc Revision: 1.5 File: affineimage4.cc Revision: 1.1.2.1 File: affineimage5.cc Revision: 1.1.2.1 File: affinepreimage1.cc Revision: 1.5 File: affinepreimage2.cc Revision: 1.5 File: affinepreimage3.cc Revision: 1.5 File: affinepreimage4.cc Revision: 1.6 File: affinetrans.cc Revision: 1.9 File: append1.cc Revision: 1.11 File: append2.cc Revision: 1.12 File: bounded1.cc Revision: 1.3 File: boundingbox1.cc Revision: 1.16 File: boundingbox2.cc Revision: 1.7 File: ehandlers.cc Revision: 1.1 File: ehandlers.hh Revision: 1.4 File: empty1.cc Revision: 1.7 File: exceptions1.cc Revision: 1.10 File: exceptions2.cc Revision: 1.6 File: generators1.cc Revision: 1.6 File: generators2.cc Revision: 1.3 File: h79widening1.cc Revision: 1.1 File: h79widening2.cc Revision: 1.1 File: h79widening3.cc Revision: 1.1 File: inclusion1.cc Revision: 1.2 File: inters1.cc Revision: 1.10 File: inters2.cc Revision: 1.13 File: inters3.cc Revision: 1.6 File: inters4.cc Revision: 1.5 File: inters5.cc Revision: 1.7 File: inters6.cc Revision: 1.6 File: inters7.cc Revision: 1.3 File: limitedh79widening1.cc Revision: 1.1 File: limitedh79widening2.cc Revision: 1.1 File: memory1.cc Revision: 1.5 File: minconstraints1.cc Revision: 1.2.4.1 File: minconstraints2.cc Revision: 1.2.2.1 File: minconstraints3.cc Revision: 1.1.2.1 File: mingenerators1.cc Revision: 1.2.4.1 File: mingenerators2.cc Revision: 1.1.2.1 File: mingenerators3.cc Revision: 1.1.2.1 File: onepoint.cc Revision: 1.5 File: permute.cc Revision: 1.18 File: polydifference1.cc Revision: 1.1 File: polydifference2.cc Revision: 1.3.2.1 File: polyhull1.cc Revision: 1.1 File: polyhull2.cc Revision: 1.1 File: polyhull3.cc Revision: 1.1 File: polyhull4.cc Revision: 1.1 File: print.cc Revision: 1.2 File: print.hh Revision: 1.9 File: randphull1.cc Revision: 1.1 File: relations1.cc Revision: 1.3 File: relations14.cc Revision: 1.1.2.1 File: relations2.cc Revision: 1.4 File: relations3.cc Revision: 1.4 File: relations4.cc Revision: 1.4 File: relations5.cc Revision: 1.4 File: relations6.cc Revision: 1.3 File: relations7.cc Revision: 1.3 File: relations8.cc Revision: 1.3 File: relations9.cc Revision: 1.4 File: removedim1.cc Revision: 1.5 File: removedim2.cc Revision: 1.9 File: removedim3.cc Revision: 1.5 File: removedim4.cc Revision: 1.6 File: removedim5.cc Revision: 1.4 File: removedim6.cc Revision: 1.6 File: removedim7.cc Revision: 1.1 File: smm1.cc Revision: 1.5 File: timeelapse1.cc Revision: 1.2 File: timeelapse2.cc Revision: 1.2 File: timeelapse3.cc Revision: 1.2 File: timeelapse4.cc Revision: 1.2 File: timeelapse5.cc Revision: 1.2 File: timings.cc Revision: 1.2 File: timings.hh Revision: 1.1 File: universe1.cc Revision: 1.3 File: universe2.cc Revision: 1.4 File: universe3.cc Revision: 1.4 File: universe4.cc Revision: 1.4 File: universe5.cc Revision: 1.5 File: universe6.cc Revision: 1.1.2.1 File: watchdog1.cc Revision: 1.8

1 0

CVS tag event: /cvs/ppl/ppl/src/Integer
by Roberto Bagnara 04 Oct '02

04 Oct '02

Repository: /cvs/ppl/ppl/src/Integer Tag: ppl_0_4_2_release Operation: mov Date: 2002-10-04 12:22:34 Tagged-By: roberto

1 0

CVS tag event: /cvs/ppl/ppl/interfaces/Prolog/YAP
by Roberto Bagnara 04 Oct '02

04 Oct '02

Repository: /cvs/ppl/ppl/interfaces/Prolog/YAP Tag: ppl_0_4_2_release Operation: mov Date: 2002-10-04 12:22:33 Tagged-By: roberto File: .cvsignore Revision: 1.4 File: Makefile.am Revision: 1.15 File: ppl_yap.cc Revision: 1.38 File: ppl_yap.pl Revision: 1.5 File: yap_clpq.pl Revision: 1.5 File: yap_clpq2.pl Revision: 1.1

1 0

CVS tag event: /cvs/ppl/ppl/src
by Roberto Bagnara 04 Oct '02

04 Oct '02

Repository: /cvs/ppl/ppl/src Tag: ppl_0_4_2_release Operation: mov Date: 2002-10-04 12:22:34 Tagged-By: roberto File: .cvsignore Revision: 1.6 File: BoundingBox.cc Revision: 1.2 File: BoundingBox.defs.hh Revision: 1.2 File: BoundingBox.inlines.hh Revision: 1.3 File: BoundingBox.types.hh Revision: 1.1 File: C_Polyhedron.cc Revision: 1.3 File: C_Polyhedron.defs.hh Revision: 1.11 File: C_Polyhedron.inlines.hh Revision: 1.6 File: C_Polyhedron.types.hh Revision: 1.2 File: ConSys.cc Revision: 1.38.2.4 File: ConSys.defs.hh Revision: 1.60 File: ConSys.inlines.hh Revision: 1.22 File: ConSys.types.hh Revision: 1.2 File: Constraint.cc Revision: 1.28 File: Constraint.defs.hh Revision: 1.65 File: Constraint.inlines.hh Revision: 1.37 File: Constraint.types.hh Revision: 1.2 File: GenSys.cc Revision: 1.57.2.3 File: GenSys.defs.hh Revision: 1.74 File: GenSys.inlines.hh Revision: 1.24 File: GenSys.types.hh Revision: 1.2 File: Generator.cc Revision: 1.35 File: Generator.defs.hh Revision: 1.69 File: Generator.inlines.hh Revision: 1.34 File: Generator.types.hh Revision: 1.2 File: Init.cc Revision: 1.1 File: Init.defs.hh Revision: 1.3 File: Init.inlines.hh Revision: 1.2 File: Init.types.hh Revision: 1.1 File: Integer.cc Revision: 1.2 File: Integer.defs.hh Revision: 1.4 File: Integer.inlines.hh Revision: 1.4 File: Integer.types.hh Revision: 1.2.6.1 File: Interval.cc Revision: 1.2 File: Interval.defs.hh Revision: 1.4 File: Interval.inlines.hh Revision: 1.4 File: Interval.types.hh Revision: 1.1 File: LinExpression.cc Revision: 1.12 File: LinExpression.defs.hh Revision: 1.47 File: LinExpression.inlines.hh Revision: 1.20 File: LinExpression.types.hh Revision: 1.2 File: Makefile.am Revision: 1.44.2.1 File: Matrix.cc Revision: 1.39 File: Matrix.defs.hh Revision: 1.28 File: Matrix.inlines.hh Revision: 1.24 File: Matrix.types.hh Revision: 1.2 File: NNC_Polyhedron.cc Revision: 1.9 File: NNC_Polyhedron.defs.hh Revision: 1.14 File: NNC_Polyhedron.inlines.hh Revision: 1.8 File: NNC_Polyhedron.types.hh Revision: 1.2 File: Poly_Con_Relation.cc Revision: 1.2 File: Poly_Con_Relation.defs.hh Revision: 1.9 File: Poly_Con_Relation.inlines.hh Revision: 1.6 File: Poly_Con_Relation.types.hh Revision: 1.1 File: Poly_Gen_Relation.cc Revision: 1.2 File: Poly_Gen_Relation.defs.hh Revision: 1.8 File: Poly_Gen_Relation.inlines.hh Revision: 1.6 File: Poly_Gen_Relation.types.hh Revision: 1.1 File: Polyhedron.cc Revision: 1.192.2.7 File: Polyhedron.defs.hh Revision: 1.132 File: Polyhedron.inlines.hh Revision: 1.39 File: Polyhedron.types.hh Revision: 1.3 File: Row.cc Revision: 1.40 File: Row.defs.hh Revision: 1.50 File: Row.inlines.hh Revision: 1.27 File: Row.types.hh Revision: 1.2 File: SatMatrix.cc Revision: 1.17 File: SatMatrix.defs.hh Revision: 1.19 File: SatMatrix.inlines.hh Revision: 1.13 File: SatMatrix.types.hh Revision: 1.2 File: SatRow.cc Revision: 1.9 File: SatRow.defs.hh Revision: 1.15 File: SatRow.inlines.hh Revision: 1.16 File: SatRow.types.hh Revision: 1.2 File: Status.cc Revision: 1.11 File: Status.defs.hh Revision: 1.17 File: Status.inlines.hh Revision: 1.8 File: Status.types.hh Revision: 1.2 File: Topology.hh Revision: 1.5 File: Variable.cc Revision: 1.6 File: Variable.defs.hh Revision: 1.19 File: Variable.inlines.hh Revision: 1.9 File: Variable.types.hh Revision: 1.2 File: conversion.cc Revision: 1.29 File: globals.cc Revision: 1.8 File: globals.hh Revision: 1.19 File: initializer.hh Revision: 1.2 File: minimize.cc Revision: 1.21 File: ppl_header.bottom Revision: 1.4 File: ppl_header.middle Revision: 1.1 File: ppl_header.top Revision: 1.3 File: simplify.cc Revision: 1.16

1 0

CVS tag event: /cvs/ppl/ppl/m4
by Roberto Bagnara 04 Oct '02

04 Oct '02

Repository: /cvs/ppl/ppl/m4 Tag: ppl_0_4_2_release Operation: mov Date: 2002-10-04 12:22:33 Tagged-By: roberto File: .cvsignore Revision: 1.1 File: Makefile.am Revision: 1.6 File: ac_check_gmp.m4 Revision: 1.4

1 0