November 2002 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.cc
by Elisa Ricci 07 Nov '02

07 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-07 16:04:51 Modified files: src : Polyhedron.cc Log message: Corrected the bug: we printed "sat_c" twice instead of "sat_c" and "sat_g". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests ascii_dump_load7.cc
by Elisa Ricci 07 Nov '02

07 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-07 15:41:42 Modified files: tests : ascii_dump_load7.cc Log message: Simplify the test that shows the bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load7.cc.dif…

1 0

ppl/tests Makefile.am ascii_dump_load7.cc
by Elisa Ricci 07 Nov '02

07 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-07 15:35:07 Modified files: tests : Makefile.am Added files: tests : ascii_dump_load7.cc Log message: This test shows a bug: we have a polyhedron with sat_g up-to-date but sat_g is dimensional incompatible with con_sys. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load7.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests ascii_dump_load6.cc
by Elisa Ricci 07 Nov '02

07 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-07 15:20:32 Modified files: tests : ascii_dump_load6.cc Log message: Added two other tests to verify Status::ascii_dump() and Status::ascii_load(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load6.cc.dif…

1 0

ppl/tests ascii_dump_load3.cc ascii_dump_load4.cc
by Roberto Bagnara 06 Nov '02

06 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-06 19:09:05 Modified files: tests : ascii_dump_load3.cc ascii_dump_load4.cc Log message: Added missing calls to seekp() where input was immediately followed by output on a stream open in read/write mode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load3.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load4.cc.dif…

1 0

Problem (with solution) in AC_CHECK_FUNCS
by Roberto Bagnara 06 Nov '02

06 Nov '02

Suppose we have something like AC_CHECK_FUNCS([setitimer], [], AC_MSG_ERROR([...])) then autoconf (version 2.54c and previous ones) tries to compile a program containing (inessential lines snipped) #ifdef __cplusplus extern "C" #endif /* We use char because int might match the return type of a gcc2 builtin and then its argument prototype would still apply. */ char setitimer (); char (*f) (); int main () { /* The GNU C library defines this for functions which it implements to always fail with ENOSYS. Some functions are actually named something starting with __ and the normal name is an alias. */ #if defined (__stub_setitimer) || defined (__stub___setitimer) choke me #else f = setitimer; #endif The problem is with the assignment `f = setitimer;' in case we are using a standard conforming (strictly speaking) C++ compiler. In fact, in standard C++, a value of type "char (*)() C" (a C function) cannot be assigned to an entity of type "char (*)()" (a C++ function). The fix is easy: it suffices to change autoconf so that, instead of generating ------------------------------------------------------------------ #ifdef __cplusplus extern "C" #endif /* We use char because int might match the return type of a gcc2 builtin and then its argument prototype would still apply. */ char setitimer (); char (*f) (); ------------------------------------------------------------------ it produces ------------------------------------------------------------------ #ifdef __cplusplus extern "C" { #endif /* We use char because int might match the return type of a gcc2 builtin and then its argument prototype would still apply. */ char setitimer (); char (*f) (); #ifdef __cplusplus } #endif ------------------------------------------------------------------ so that, in C++, both `f' and `setitimer' have C linkage. All the best Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 1

The `lazy' branch
by Roberto Bagnara 06 Nov '02

06 Nov '02

Dear all, you have probably noticed that the branch called `lazy' has just been created. It will be devoted to that part of the development dealing with the incorporation of lazy and incremental computation techniques. To check out your copy of the branch: 1) go to a suitable, empty directory (choose a name that minimizes your chances of confusing the `lazy' branch with other branches or with the main trunk); 2) cvs -d cvs.cs.unipr.it:/cvs/ppl checkout -r lazy ppl All the best Roberto -- 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

CVS tag event: /cvs/ppl/ppl/tests
by Roberto Bagnara 06 Nov '02

06 Nov '02

Repository: /cvs/ppl/ppl/tests Tag: lazy Operation: add Date: 2002-11-06 07:58:18 Tagged-By: roberto File: .cvsignore Revision: 1.6 File: BBox.cc Revision: 1.1 File: BBox.hh Revision: 1.1 File: CbecomesNNC1.cc Revision: 1.2 File: Makefile.am Revision: 1.156 File: NNCinclusion1.cc Revision: 1.4 File: NNCminimize1.cc Revision: 1.7 File: NNCminimize2.cc Revision: 1.7 File: NNCminimize3.cc Revision: 1.7 File: NNCminimize4.cc Revision: 1.9 File: NNCminimize5.cc Revision: 1.6 File: NNCminimize6.cc Revision: 1.8 File: addconstraint1.cc Revision: 1.2 File: addconstraint2.cc Revision: 1.1 File: addconstraint3.cc Revision: 1.1 File: addconstraints1.cc Revision: 1.8 File: addconstraints10.cc Revision: 1.7 File: addconstraints11.cc Revision: 1.8 File: addconstraints12.cc Revision: 1.1 File: addconstraints2.cc Revision: 1.16 File: addconstraints3.cc Revision: 1.6 File: addconstraints4.cc Revision: 1.8 File: addconstraints5.cc Revision: 1.9 File: addconstraints6.cc Revision: 1.10 File: addconstraints7.cc Revision: 1.9 File: addconstraints8.cc Revision: 1.9 File: addconstraints9.cc Revision: 1.10 File: adddimensions1.cc Revision: 1.11 File: adddimensions10.cc Revision: 1.4 File: adddimensions11.cc Revision: 1.2 File: adddimensions12.cc Revision: 1.1 File: adddimensions2.cc Revision: 1.7 File: adddimensions3.cc Revision: 1.9 File: adddimensions4.cc Revision: 1.7 File: adddimensions5.cc Revision: 1.5 File: adddimensions6.cc Revision: 1.5 File: adddimensions7.cc Revision: 1.5 File: adddimensions8.cc Revision: 1.3 File: adddimensions9.cc Revision: 1.3 File: addgenerator1.cc Revision: 1.2 File: addgenerator2.cc Revision: 1.2 File: addgenerator3.cc Revision: 1.1 File: addgenerator4.cc Revision: 1.2 File: addgenerators1.cc Revision: 1.9 File: addgenerators10.cc Revision: 1.1 File: addgenerators11.cc Revision: 1.3 File: addgenerators2.cc Revision: 1.9 File: addgenerators3.cc Revision: 1.9 File: addgenerators4.cc Revision: 1.9 File: addgenerators5.cc Revision: 1.9 File: addgenerators6.cc Revision: 1.9 File: addgenerators7.cc Revision: 1.6 File: addgenerators8.cc Revision: 1.4 File: addgenerators9.cc Revision: 1.3 File: affineimage1.cc Revision: 1.9 File: affineimage2.cc Revision: 1.8 File: affineimage3.cc Revision: 1.1 File: affineimage4.cc Revision: 1.1 File: affineimage5.cc Revision: 1.2 File: affineimage6.cc Revision: 1.1 File: affineimage7.cc Revision: 1.1 File: affinepreimage1.cc Revision: 1.8 File: affinepreimage2.cc Revision: 1.8 File: affinepreimage3.cc Revision: 1.8 File: affinepreimage4.cc Revision: 1.9 File: affinepreimage5.cc Revision: 1.1 File: affinepreimage6.cc Revision: 1.2 File: affinepreimage7.cc Revision: 1.1 File: affinepreimage8.cc Revision: 1.1 File: affinepreimage9.cc Revision: 1.1 File: affinetrans.cc Revision: 1.11 File: append1.cc Revision: 1.15 File: append2.cc Revision: 1.16 File: ascii_dump_load1.cc Revision: 1.9 File: ascii_dump_load2.cc Revision: 1.7 File: ascii_dump_load3.cc Revision: 1.8 File: ascii_dump_load4.cc Revision: 1.8 File: ascii_dump_load5.cc Revision: 1.5 File: ascii_dump_load6.cc Revision: 1.1 File: bbrz02widening1.cc Revision: 1.3 File: bbrz02widening10.cc Revision: 1.1 File: bbrz02widening11.cc Revision: 1.1 File: bbrz02widening12.cc Revision: 1.2 File: bbrz02widening13.cc Revision: 1.5 File: bbrz02widening14.cc Revision: 1.6 File: bbrz02widening15.cc Revision: 1.5 File: bbrz02widening16.cc Revision: 1.1 File: bbrz02widening17.cc Revision: 1.1 File: bbrz02widening18.cc Revision: 1.1 File: bbrz02widening19.cc Revision: 1.1 File: bbrz02widening2.cc Revision: 1.2 File: bbrz02widening3.cc Revision: 1.2 File: bbrz02widening4.cc Revision: 1.1 File: bbrz02widening5.cc Revision: 1.1 File: bbrz02widening6.cc Revision: 1.3 File: bbrz02widening7.cc Revision: 1.3 File: bbrz02widening8.cc Revision: 1.2 File: bbrz02widening9.cc Revision: 1.5 File: bounded1.cc Revision: 1.7 File: boundingbox1.cc Revision: 1.26 File: boundingbox2.cc Revision: 1.14 File: boundingbox3.cc Revision: 1.5 File: boundingbox4.cc Revision: 1.2 File: bounds1.cc Revision: 1.3 File: bounds2.cc Revision: 1.3 File: concatenate1.cc Revision: 1.4 File: concatenate2.cc Revision: 1.4 File: concatenate3.cc Revision: 1.4 File: concatenate4.cc Revision: 1.3 File: concatenate5.cc Revision: 1.1 File: constraints1.cc Revision: 1.3 File: constraints2.cc Revision: 1.3 File: constraints3.cc Revision: 1.3 File: contains1.cc Revision: 1.1 File: disjoint1.cc Revision: 1.1 File: ehandlers.cc Revision: 1.1 File: ehandlers.hh Revision: 1.5 File: empty1.cc Revision: 1.10 File: exceptions1.cc Revision: 1.25 File: exceptions2.cc Revision: 1.20 File: files.cc Revision: 1.2 File: files.hh Revision: 1.2 File: generalizedaffineimage1.cc Revision: 1.4 File: generalizedaffineimage10.cc Revision: 1.2 File: generalizedaffineimage11.cc Revision: 1.1 File: generalizedaffineimage12.cc Revision: 1.1 File: generalizedaffineimage2.cc Revision: 1.3 File: generalizedaffineimage3.cc Revision: 1.4 File: generalizedaffineimage4.cc Revision: 1.2 File: generalizedaffineimage5.cc Revision: 1.2 File: generalizedaffineimage6.cc Revision: 1.2 File: generalizedaffineimage7.cc Revision: 1.3 File: generalizedaffineimage8.cc Revision: 1.2 File: generalizedaffineimage9.cc Revision: 1.1 File: generators1.cc Revision: 1.10 File: generators2.cc Revision: 1.6 File: generators3.cc Revision: 1.2 File: generators4.cc Revision: 1.2 File: generators5.cc Revision: 1.2 File: h79widening1.cc Revision: 1.3 File: h79widening2.cc Revision: 1.4 File: h79widening3.cc Revision: 1.4 File: h79widening4.cc Revision: 1.1 File: h79widening5.cc Revision: 1.2 File: inclusion1.cc Revision: 1.4 File: inclusion2.cc Revision: 1.1 File: intersection1.cc Revision: 1.3 File: intersection10.cc Revision: 1.1 File: intersection2.cc Revision: 1.4 File: intersection3.cc Revision: 1.4 File: intersection4.cc Revision: 1.4 File: intersection5.cc Revision: 1.4 File: intersection6.cc Revision: 1.4 File: intersection7.cc Revision: 1.3 File: intersection8.cc Revision: 1.2 File: intersection9.cc Revision: 1.2 File: limitedbbrz02widening1.cc Revision: 1.2 File: limitedh79widening1.cc Revision: 1.4 File: limitedh79widening2.cc Revision: 1.4 File: limitedh79widening3.cc Revision: 1.2 File: limitedh79widening4.cc Revision: 1.1 File: linearpartition1.cc Revision: 1.6 File: linearpartition2.cc Revision: 1.6 File: linearpartition3.cc Revision: 1.6 File: linexpression1.cc Revision: 1.1 File: mc91.cc Revision: 1.9 File: memory1.cc Revision: 1.14 File: minconstraints1.cc Revision: 1.2 File: minconstraints2.cc Revision: 1.2 File: minconstraints3.cc Revision: 1.1 File: mingenerators1.cc Revision: 1.2 File: mingenerators2.cc Revision: 1.1 File: mingenerators3.cc Revision: 1.1 File: onepoint.cc Revision: 1.7 File: operator1.cc Revision: 1.1 File: permute.cc Revision: 1.22 File: polydifference1.cc Revision: 1.4 File: polydifference2.cc Revision: 1.6 File: polydifference3.cc Revision: 1.1 File: polydifference4.cc Revision: 1.2 File: polydifference5.cc Revision: 1.3 File: polydifference6.cc Revision: 1.2 File: polydifference7.cc Revision: 1.1 File: polyhull1.cc Revision: 1.4 File: polyhull2.cc Revision: 1.4 File: polyhull3.cc Revision: 1.4 File: polyhull4.cc Revision: 1.3 File: polyhull5.cc Revision: 1.2 File: polyhull6.cc Revision: 1.2 File: polyhull7.cc Revision: 1.1 File: polyhull8.cc Revision: 1.1 File: ppl_test.hh Revision: 1.1 File: print.cc Revision: 1.3 File: print.hh Revision: 1.11 File: randphull1.cc Revision: 1.4 File: relations1.cc Revision: 1.7 File: relations10.cc Revision: 1.3 File: relations11.cc Revision: 1.3 File: relations12.cc Revision: 1.2 File: relations13.cc Revision: 1.2 File: relations14.cc Revision: 1.2 File: relations15.cc Revision: 1.2 File: relations16.cc Revision: 1.2 File: relations17.cc Revision: 1.3 File: relations18.cc Revision: 1.2 File: relations2.cc Revision: 1.8 File: relations3.cc Revision: 1.8 File: relations4.cc Revision: 1.8 File: relations5.cc Revision: 1.8 File: relations6.cc Revision: 1.7 File: relations7.cc Revision: 1.7 File: relations8.cc Revision: 1.7 File: relations9.cc Revision: 1.8 File: removedim1.cc Revision: 1.7 File: removedim2.cc Revision: 1.11 File: removedim3.cc Revision: 1.7 File: removedim4.cc Revision: 1.9 File: removedim5.cc Revision: 1.7 File: removedim6.cc Revision: 1.9 File: removedim7.cc Revision: 1.4 File: removedim8.cc Revision: 1.2 File: removedim9.cc Revision: 1.2 File: smm1.cc Revision: 1.10 File: timeelapse1.cc Revision: 1.5 File: timeelapse2.cc Revision: 1.5 File: timeelapse3.cc Revision: 1.5 File: timeelapse4.cc Revision: 1.5 File: timeelapse5.cc Revision: 1.5 File: timeelapse6.cc Revision: 1.1 File: timeelapse7.cc Revision: 1.1 File: timings.cc Revision: 1.2 File: timings.hh Revision: 1.2 File: topclosed1.cc Revision: 1.2 File: topclosed2.cc Revision: 1.1 File: topclosed3.cc Revision: 1.3 File: topclosure1.cc Revision: 1.2 File: topclosure2.cc Revision: 1.1 File: topclosure3.cc Revision: 1.1 File: universe1.cc Revision: 1.6 File: universe2.cc Revision: 1.7 File: universe3.cc Revision: 1.7 File: universe4.cc Revision: 1.7 File: universe5.cc Revision: 1.8 File: universe6.cc Revision: 1.5 File: watchdog1.cc Revision: 1.13 File: writeconsys1.cc Revision: 1.3 File: writegensys1.cc Revision: 1.4 File: writegensys2.cc Revision: 1.4 File: writegensys3.cc Revision: 1.3 File: writepolyhedron1.cc Revision: 1.3 File: writepolyhedron2.cc Revision: 1.4 File: writepolyhedron3.cc Revision: 1.3 File: writerelation1.cc Revision: 1.3 File: writevariable1.cc Revision: 1.3

1 0

CVS tag event: /cvs/ppl/ppl/src
by Roberto Bagnara 06 Nov '02

06 Nov '02

Repository: /cvs/ppl/ppl/src Tag: lazy Operation: add Date: 2002-11-06 07:58:17 Tagged-By: roberto File: .cvsignore Revision: 1.6 File: AskTell.defs.hh Revision: 1.10 File: AskTell.inlines.hh Revision: 1.10 File: AskTell.types.hh Revision: 1.3 File: BoundingBox.cc Revision: 1.4 File: BoundingBox.defs.hh Revision: 1.8 File: BoundingBox.inlines.hh Revision: 1.6 File: BoundingBox.types.hh Revision: 1.4 File: C_Polyhedron.cc Revision: 1.3 File: C_Polyhedron.defs.hh Revision: 1.18 File: C_Polyhedron.inlines.hh Revision: 1.12 File: C_Polyhedron.types.hh Revision: 1.5 File: ConSys.cc Revision: 1.55 File: ConSys.defs.hh Revision: 1.74 File: ConSys.inlines.hh Revision: 1.27 File: ConSys.types.hh Revision: 1.5 File: Constraint.cc Revision: 1.34 File: Constraint.defs.hh Revision: 1.77 File: Constraint.inlines.hh Revision: 1.41 File: Constraint.types.hh Revision: 1.5 File: Determinate.defs.hh Revision: 1.23 File: Determinate.inlines.hh Revision: 1.22 File: Determinate.types.hh Revision: 1.3 File: GenSys.cc Revision: 1.71 File: GenSys.defs.hh Revision: 1.85 File: GenSys.inlines.hh Revision: 1.28 File: GenSys.types.hh Revision: 1.5 File: Generator.cc Revision: 1.41 File: Generator.defs.hh Revision: 1.80 File: Generator.inlines.hh Revision: 1.38 File: Generator.types.hh Revision: 1.5 File: Init.cc Revision: 1.2 File: Init.defs.hh Revision: 1.7 File: Init.inlines.hh Revision: 1.5 File: Init.types.hh Revision: 1.4 File: Integer.cc Revision: 1.2 File: Integer.defs.hh Revision: 1.9 File: Integer.inlines.hh Revision: 1.8 File: Integer.types.hh Revision: 1.6 File: Interval.cc Revision: 1.5 File: Interval.defs.hh Revision: 1.10 File: Interval.inlines.hh Revision: 1.6 File: Interval.types.hh Revision: 1.4 File: LCompare.defs.hh Revision: 1.4 File: LCompare.inlines.hh Revision: 1.3 File: LCompare.types.hh Revision: 1.3 File: LinExpression.cc Revision: 1.15 File: LinExpression.defs.hh Revision: 1.56 File: LinExpression.inlines.hh Revision: 1.25 File: LinExpression.types.hh Revision: 1.5 File: Makefile.am Revision: 1.54 File: Matrix.cc Revision: 1.44 File: Matrix.defs.hh Revision: 1.38 File: Matrix.inlines.hh Revision: 1.27 File: Matrix.types.hh Revision: 1.5 File: NNC_Polyhedron.cc Revision: 1.9 File: NNC_Polyhedron.defs.hh Revision: 1.20 File: NNC_Polyhedron.inlines.hh Revision: 1.14 File: NNC_Polyhedron.types.hh Revision: 1.5 File: Poly_Con_Relation.cc Revision: 1.5 File: Poly_Con_Relation.defs.hh Revision: 1.18 File: Poly_Con_Relation.inlines.hh Revision: 1.8 File: Poly_Con_Relation.types.hh Revision: 1.4 File: Poly_Gen_Relation.cc Revision: 1.5 File: Poly_Gen_Relation.defs.hh Revision: 1.17 File: Poly_Gen_Relation.inlines.hh Revision: 1.8 File: Poly_Gen_Relation.types.hh Revision: 1.4 File: Polyhedron.cc Revision: 1.261 File: Polyhedron.defs.hh Revision: 1.171 File: Polyhedron.inlines.hh Revision: 1.55 File: Polyhedron.types.hh Revision: 1.7 File: PowerSet.defs.hh Revision: 1.22 File: PowerSet.inlines.hh Revision: 1.27 File: PowerSet.types.hh Revision: 1.3 File: Row.cc Revision: 1.46 File: Row.defs.hh Revision: 1.57 File: Row.inlines.hh Revision: 1.34 File: Row.types.hh Revision: 1.5 File: SatMatrix.cc Revision: 1.22 File: SatMatrix.defs.hh Revision: 1.26 File: SatMatrix.inlines.hh Revision: 1.16 File: SatMatrix.types.hh Revision: 1.5 File: SatRow.cc Revision: 1.14 File: SatRow.defs.hh Revision: 1.23 File: SatRow.inlines.hh Revision: 1.20 File: SatRow.types.hh Revision: 1.5 File: Status.cc Revision: 1.16 File: Status.defs.hh Revision: 1.23 File: Status.inlines.hh Revision: 1.10 File: Status.types.hh Revision: 1.5 File: Topology.hh Revision: 1.6 File: Variable.cc Revision: 1.9 File: Variable.defs.hh Revision: 1.27 File: Variable.inlines.hh Revision: 1.13 File: Variable.types.hh Revision: 1.5 File: algorithms.hh Revision: 1.10 File: conversion.cc Revision: 1.35 File: globals.cc Revision: 1.9 File: globals.hh Revision: 1.25 File: initializer.hh Revision: 1.4 File: minimize.cc Revision: 1.25 File: ppl_header.bottom Revision: 1.4 File: ppl_header.middle Revision: 1.2 File: ppl_header.top Revision: 1.4 File: simplify.cc Revision: 1.19

1 0

CVS tag event: /cvs/ppl/ppl/interfaces/Prolog/YAP
by Roberto Bagnara 06 Nov '02

06 Nov '02

Repository: /cvs/ppl/ppl/interfaces/Prolog/YAP Tag: lazy Operation: add Date: 2002-11-06 07:58:17 Tagged-By: roberto File: .cvsignore Revision: 1.4 File: Makefile.am Revision: 1.15 File: ppl_yap.cc Revision: 1.46 File: ppl_yap.pl Revision: 1.5 File: yap_clpq.pl Revision: 1.5 File: yap_clpq2.pl Revision: 1.1

1 0