September 2002 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am affineimage3.cc affinepr ...
by Elisa Ricci 19 Sep '02

19 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-19 17:16:37 Modified files: tests : Makefile.am Added files: tests : affineimage3.cc affinepreimage5.cc relations10.cc relations11.cc Log message: Added some tests for the methods of the classes Polyhedron, ConSys and GenSys. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage3.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage5.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations10.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations11.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests Makefile.am exceptions2.cc adddimens ...
by Elisa Ricci 18 Sep '02

18 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-18 11:54:42 Modified files: tests : Makefile.am exceptions2.cc Added files: tests : adddimensions11.cc Log message: Added two other tests to verify the methods of the class Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions11.cc.diff… 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/exceptions2.cc.diff?cvs…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 18 Sep '02

18 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-18 10:27:03 Modified files: src : Polyhedron.cc Log message: Made some little improvements to the function Polyhedron::BBRZ02_widenin_assign(). Improved also some comments of this function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am exceptions2.cc h79wideni ...
by Elisa Ricci 17 Sep '02

17 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-17 18:44:53 Modified files: tests : Makefile.am exceptions2.cc h79widening5.cc minconstraints2.cc Added files: tests : contains1.cc Log message: Improved some tests and added other tests to verify some methods of Polyhedron.cc and C_Polyhedron.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/contains1.cc.diff?cvsro… 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/exceptions2.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening5.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/minconstraints2.cc.diff…

1 0

ppl/tests Makefile.am addconstraints10.cc bbrz ...
by Elisa Ricci 17 Sep '02

17 Sep '02

1 0

ppl/tests Makefile.am timeelapse6.cc
by Elisa Ricci 12 Sep '02

12 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-12 18:17:11 Modified files: tests : Makefile.am Added files: tests : timeelapse6.cc Log message: Added a new test for the function Polyhedron::time_elapse_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse6.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 12 Sep '02

12 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-12 16:30:17 Modified files: src : Polyhedron.cc Log message: Corrected an error in Polyhedron::BBRZ02_widening_assign(): the new generator was added to the polyhedron x instead of the polyhedron x2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Makefile.am
by Roberto Bagnara 12 Sep '02

12 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-09-12 11:50:18 Modified files: src : Makefile.am Log message: Try to fix a long-standing problem in the generation of ppl_install.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

CVS tag event: /cvs/ppl/ppl/tests
by Roberto Bagnara 11 Sep '02

11 Sep '02

Repository: /cvs/ppl/ppl/tests Tag: after_third_merge_from_trunk Operation: add Date: 2002-09-11 22:12:01 Tagged-By: roberto File: .cvsignore Revision: 1.6 File: CbecomesNNC1.cc Revision: 1.2.2.1 File: Makefile.am Revision: 1.82.2.2 File: NNCinclusion1.cc Revision: 1.2.4.1 File: NNCminimize1.cc Revision: 1.4.4.1 File: NNCminimize2.cc Revision: 1.4.4.1 File: NNCminimize3.cc Revision: 1.4.4.1 File: NNCminimize4.cc Revision: 1.6.4.1 File: NNCminimize5.cc Revision: 1.2.4.1 File: NNCminimize6.cc Revision: 1.4.4.1 File: addconstraint1.cc Revision: 1.2.2.1 File: addconstraints1.cc Revision: 1.6.4.1 File: addconstraints2.cc Revision: 1.12.4.2 File: addconstraints3.cc Revision: 1.3.4.1 File: addconstraints4.cc Revision: 1.5.4.2 File: addconstraints5.cc Revision: 1.6.4.2 File: addconstraints6.cc Revision: 1.7.4.2 File: addconstraints7.cc Revision: 1.6.4.2 File: addconstraints8.cc Revision: 1.6.4.2 File: addconstraints9.cc Revision: 1.7.4.2 File: adddimensions1.cc Revision: 1.8.4.2 File: adddimensions10.cc Revision: 1.4.2.1 File: adddimensions2.cc Revision: 1.4.4.2 File: adddimensions3.cc Revision: 1.6.4.2 File: adddimensions4.cc Revision: 1.4.4.2 File: adddimensions5.cc Revision: 1.1.4.2 File: adddimensions6.cc Revision: 1.1.4.2 File: adddimensions7.cc Revision: 1.1.4.2 File: adddimensions8.cc Revision: 1.3.2.1 File: adddimensions9.cc Revision: 1.3.2.1 File: addgenerator1.cc Revision: 1.2.2.1 File: addgenerator2.cc Revision: 1.2.2.1 File: addgenerators1.cc Revision: 1.7.4.1 File: addgenerators10.cc Revision: 1.1.2.1 File: addgenerators2.cc Revision: 1.7.4.1 File: addgenerators3.cc Revision: 1.6.4.2 File: addgenerators4.cc Revision: 1.6.4.2 File: addgenerators5.cc Revision: 1.6.4.2 File: addgenerators6.cc Revision: 1.6.4.2 File: addgenerators7.cc Revision: 1.2.4.2 File: addgenerators8.cc Revision: 1.2.2.1 File: addgenerators9.cc Revision: 1.3.2.1 File: affineimage1.cc Revision: 1.6.4.2 File: affineimage2.cc Revision: 1.5.4.2 File: affinepreimage1.cc Revision: 1.5.4.2 File: affinepreimage2.cc Revision: 1.5.4.2 File: affinepreimage3.cc Revision: 1.5.4.2 File: affinepreimage4.cc Revision: 1.6.4.2 File: affinetrans.cc Revision: 1.9.4.1 File: append1.cc Revision: 1.11.4.2 File: append2.cc Revision: 1.12.4.2 File: bbrz02widening1.cc Revision: 1.2.2.1 File: bbrz02widening2.cc Revision: 1.2.2.1 File: bbrz02widening3.cc Revision: 1.2.2.1 File: bbrz02widening4.cc Revision: 1.1.2.1 File: bbrz02widening5.cc Revision: 1.1.2.1 File: bbrz02widening6.cc Revision: 1.2.2.1 File: bbrz02widening7.cc Revision: 1.2.2.1 File: bbrz02widening8.cc Revision: 1.2.2.1 File: bbrz02widening9.cc Revision: 1.2.2.1 File: bounded1.cc Revision: 1.3.4.2 File: boundingbox1.cc Revision: 1.16.4.2 File: boundingbox2.cc Revision: 1.7.4.3 File: bounds1.cc Revision: 1.3.2.1 File: bounds2.cc Revision: 1.3.2.1 File: concatenate1.cc Revision: 1.3.2.1 File: concatenate2.cc Revision: 1.3.2.2 File: concatenate3.cc Revision: 1.3.2.2 File: concatenate4.cc Revision: 1.3.2.1 File: constraints1.cc Revision: 1.3.2.1 File: constraints2.cc Revision: 1.3.2.1 File: constraints3.cc Revision: 1.3.2.1 File: ehandlers.cc Revision: 1.1 File: ehandlers.hh Revision: 1.4.4.1 File: empty1.cc Revision: 1.7.4.2 File: exceptions1.cc Revision: 1.11.2.2 File: exceptions2.cc Revision: 1.7.2.2 File: generators1.cc Revision: 1.6.4.1 File: generators2.cc Revision: 1.3.4.1 File: generators3.cc Revision: 1.2.2.1 File: generators4.cc Revision: 1.2.2.1 File: generators5.cc Revision: 1.2.2.1 File: h79widening1.cc Revision: 1.1.4.1 File: h79widening2.cc Revision: 1.1.4.1 File: h79widening3.cc Revision: 1.1.4.1 File: h79widening4.cc Revision: 1.1.2.1 File: hypercubes.cc Revision: 1.1.2.3 File: inclusion1.cc Revision: 1.2.4.1 File: inclusion2.cc Revision: 1.1.2.1 File: intersection1.cc Revision: 1.3.2.1 File: intersection2.cc Revision: 1.3.2.2 File: intersection3.cc Revision: 1.3.2.2 File: intersection4.cc Revision: 1.3.2.2 File: intersection5.cc Revision: 1.3.2.2 File: intersection6.cc Revision: 1.3.2.2 File: intersection7.cc Revision: 1.3.2.1 File: intersection8.cc Revision: 1.2.2.1 File: intersection9.cc Revision: 1.2.2.1 File: limitedh79widening1.cc Revision: 1.1.4.2 File: limitedh79widening2.cc Revision: 1.1.4.2 File: limitedh79widening3.cc Revision: 1.2.2.1 File: mc91.cc Revision: 1.3.2.2 File: memory1.cc Revision: 1.5.4.2 File: minconstraints1.cc Revision: 1.2.2.1 File: mingenerators1.cc Revision: 1.2.2.1 File: onepoint.cc Revision: 1.5.4.1 File: permute.cc Revision: 1.18.4.2 File: polydifference1.cc Revision: 1.1.4.2 File: polydifference2.cc Revision: 1.3.4.2 File: polydifference3.cc Revision: 1.1.2.1 File: polydifference4.cc Revision: 1.2.2.1 File: polydifference5.cc Revision: 1.3.2.1 File: polydifference6.cc Revision: 1.2.2.1 File: polyhull1.cc Revision: 1.1.4.2 File: polyhull2.cc Revision: 1.1.4.2 File: polyhull3.cc Revision: 1.1.4.2 File: polyhull4.cc Revision: 1.1.4.1 File: polyhull5.cc Revision: 1.2.2.1 File: polyhull6.cc Revision: 1.2.2.1 File: ppl_test.hh Revision: 1.1.2.1 File: print.cc Revision: 1.2 File: print.hh Revision: 1.10.2.1 File: randphull1.cc Revision: 1.2.2.1 File: relations1.cc Revision: 1.3.4.2 File: relations2.cc Revision: 1.4.4.2 File: relations3.cc Revision: 1.4.4.2 File: relations4.cc Revision: 1.4.4.2 File: relations5.cc Revision: 1.4.4.2 File: relations6.cc Revision: 1.3.4.2 File: relations7.cc Revision: 1.3.4.2 File: relations8.cc Revision: 1.3.4.2 File: relations9.cc Revision: 1.4.4.2 File: removedim1.cc Revision: 1.5.4.1 File: removedim2.cc Revision: 1.9.4.1 File: removedim3.cc Revision: 1.5.4.1 File: removedim4.cc Revision: 1.6.4.2 File: removedim5.cc Revision: 1.4.4.2 File: removedim6.cc Revision: 1.6.4.2 File: removedim7.cc Revision: 1.1.4.2 File: removedim8.cc Revision: 1.2.2.1 File: removedim9.cc Revision: 1.2.2.1 File: smm1.cc Revision: 1.5.4.1 File: timeelapse1.cc Revision: 1.2.4.2 File: timeelapse2.cc Revision: 1.2.4.2 File: timeelapse3.cc Revision: 1.2.4.2 File: timeelapse4.cc Revision: 1.2.4.2 File: timeelapse5.cc Revision: 1.2.4.2 File: timings.cc Revision: 1.2 File: timings.hh Revision: 1.1.4.1 File: topclosed1.cc Revision: 1.2.2.1 File: topclosed2.cc Revision: 1.1.2.1 File: topclosure1.cc Revision: 1.2.2.1 File: universe1.cc Revision: 1.3.4.2 File: universe2.cc Revision: 1.4.4.2 File: universe3.cc Revision: 1.4.4.2 File: universe4.cc Revision: 1.4.4.2 File: universe5.cc Revision: 1.5.4.2 File: universe6.cc Revision: 1.2.2.2 File: watchdog1.cc Revision: 1.8.4.2

1 0

CVS tag event: /cvs/ppl/ppl/src
by Roberto Bagnara 11 Sep '02

11 Sep '02

Repository: /cvs/ppl/ppl/src Tag: after_third_merge_from_trunk Operation: add Date: 2002-09-11 22:12:00 Tagged-By: roberto File: .cvsignore Revision: 1.6 File: AskTell.defs.hh Revision: 1.6.2.2 File: AskTell.inlines.hh Revision: 1.7.2.2 File: AskTell.types.hh Revision: 1.2.2.1 File: BoundingBox.cc Revision: 1.2.4.1 File: BoundingBox.defs.hh Revision: 1.3.2.2 File: BoundingBox.inlines.hh Revision: 1.4.2.2 File: BoundingBox.types.hh Revision: 1.3.2.1 File: C_Polyhedron.cc Revision: 1.3.4.1 File: C_Polyhedron.defs.hh Revision: 1.13.2.2 File: C_Polyhedron.inlines.hh Revision: 1.8.2.2 File: C_Polyhedron.types.hh Revision: 1.4.2.1 File: ConSys.cc Revision: 1.40.2.5 File: ConSys.defs.hh Revision: 1.62.2.4 File: ConSys.inlines.hh Revision: 1.23.2.3 File: ConSys.types.hh Revision: 1.4.2.1 File: Constraint.cc Revision: 1.29.2.4 File: Constraint.defs.hh Revision: 1.67.2.4 File: Constraint.inlines.hh Revision: 1.39.2.3 File: Constraint.types.hh Revision: 1.4.2.1 File: Determinate.defs.hh Revision: 1.6.2.4 File: Determinate.inlines.hh Revision: 1.7.2.4 File: Determinate.types.hh Revision: 1.2.2.1 File: GenSys.cc Revision: 1.60.2.7 File: GenSys.defs.hh Revision: 1.76.2.4 File: GenSys.inlines.hh Revision: 1.25.2.2 File: GenSys.types.hh Revision: 1.4.2.1 File: Generator.cc Revision: 1.36.2.5 File: Generator.defs.hh Revision: 1.72.2.5 File: Generator.inlines.hh Revision: 1.36.2.3 File: Generator.types.hh Revision: 1.4.2.1 File: Init.cc Revision: 1.1.8.1 File: Init.defs.hh Revision: 1.4.2.2 File: Init.inlines.hh Revision: 1.3.2.2 File: Init.types.hh Revision: 1.3.2.1 File: Integer.cc Revision: 1.2 File: Integer.defs.hh Revision: 1.6.2.1 File: Integer.inlines.hh Revision: 1.5.2.1 File: Integer.types.hh Revision: 1.5.2.1 File: Interval.cc Revision: 1.2 File: Interval.defs.hh Revision: 1.6.2.2 File: Interval.inlines.hh Revision: 1.4.4.1 File: Interval.types.hh Revision: 1.3.2.1 File: LCompare.defs.hh Revision: 1.2.2.2 File: LCompare.inlines.hh Revision: 1.2.2.1 File: LCompare.types.hh Revision: 1.2.2.1 File: LinExpression.cc Revision: 1.12.4.1 File: LinExpression.defs.hh Revision: 1.49.2.2 File: LinExpression.inlines.hh Revision: 1.21.2.2 File: LinExpression.types.hh Revision: 1.4.2.1 File: Makefile.am Revision: 1.48.2.1 File: Matrix.cc Revision: 1.40.2.1 File: Matrix.defs.hh Revision: 1.31.2.2 File: Matrix.inlines.hh Revision: 1.25.2.2 File: Matrix.types.hh Revision: 1.4.2.1 File: NNC_Polyhedron.cc Revision: 1.9 File: NNC_Polyhedron.defs.hh Revision: 1.16.2.2 File: NNC_Polyhedron.inlines.hh Revision: 1.10.2.2 File: NNC_Polyhedron.types.hh Revision: 1.4.2.1 File: Poly_Con_Relation.cc Revision: 1.2.6.1 File: Poly_Con_Relation.defs.hh Revision: 1.11.2.2 File: Poly_Con_Relation.inlines.hh Revision: 1.7.2.1 File: Poly_Con_Relation.types.hh Revision: 1.3.2.1 File: Poly_Gen_Relation.cc Revision: 1.2.6.1 File: Poly_Gen_Relation.defs.hh Revision: 1.10.2.2 File: Poly_Gen_Relation.inlines.hh Revision: 1.7.2.1 File: Poly_Gen_Relation.types.hh Revision: 1.3.2.1 File: Polyhedron.cc Revision: 1.199.2.16 File: Polyhedron.defs.hh Revision: 1.137.2.5 File: Polyhedron.inlines.hh Revision: 1.42.2.5 File: Polyhedron.types.hh Revision: 1.5.2.1 File: PowerSet.defs.hh Revision: 1.10.2.3 File: PowerSet.inlines.hh Revision: 1.11.2.3 File: PowerSet.types.hh Revision: 1.2.2.1 File: Row.cc Revision: 1.40.4.1 File: Row.defs.hh Revision: 1.52.2.2 File: Row.inlines.hh Revision: 1.28.2.2 File: Row.types.hh Revision: 1.4.2.1 File: SatMatrix.cc Revision: 1.17.4.1 File: SatMatrix.defs.hh Revision: 1.21.2.2 File: SatMatrix.inlines.hh Revision: 1.14.2.2 File: SatMatrix.types.hh Revision: 1.4.2.1 File: SatRow.cc Revision: 1.9 File: SatRow.defs.hh Revision: 1.17.2.2 File: SatRow.inlines.hh Revision: 1.17.2.2 File: SatRow.types.hh Revision: 1.4.2.1 File: Status.cc Revision: 1.11.6.1 File: Status.defs.hh Revision: 1.19.2.2 File: Status.inlines.hh Revision: 1.9.2.1 File: Status.types.hh Revision: 1.4.2.1 File: Topology.hh Revision: 1.5.4.1 File: Variable.cc Revision: 1.6.6.1 File: Variable.defs.hh Revision: 1.21.2.2 File: Variable.inlines.hh Revision: 1.10.2.2 File: Variable.types.hh Revision: 1.4.2.1 File: conversion.cc Revision: 1.29.4.1 File: globals.cc Revision: 1.8.4.1 File: globals.hh Revision: 1.19.4.2 File: initializer.hh Revision: 1.2.4.2 File: minimize.cc Revision: 1.22.2.2 File: ppl_header.bottom Revision: 1.4 File: ppl_header.middle Revision: 1.1.12.1 File: ppl_header.top Revision: 1.3.8.1 File: simplify.cc Revision: 1.16.4.1

1 0