CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara@cs.unipr.it 2006-04-06 21:33:10

Modified files: tests/Octagon : addspacedims1.cc addspacedims2.cc addspacedims3.cc addspacedims4.cc addspacedims5.cc addspacedims6.cc addspacedims7.cc addspacedims8.cc affineimage1.cc affineimage10.cc affineimage2.cc affineimage3.cc affineimage4.cc affineimage5.cc affineimage6.cc affineimage7.cc affineimage8.cc affineimage9.cc affinepreimage1.cc affinepreimage2.cc affinepreimage3.cc affinepreimage4.cc affinepreimage5.cc affinepreimage6.cc affinepreimage7.cc ascii_dump_load1.cc ascii_dump_load2.cc ascii_dump_load3.cc ascii_dump_load4.cc cc76extrapolation1.cc cc76extrapolation2.cc cc76extrapolation3.cc cc76extrapolation4.cc cc76extrapolation5.cc cc76narrowing1.cc cc76narrowing2.cc ch78widening1.cc ch78widening10.cc ch78widening11.cc ch78widening12.cc ch78widening13.cc ch78widening2.cc ch78widening3.cc ch78widening4.cc ch78widening5.cc ch78widening6.cc ch78widening7.cc ch78widening8.cc ch78widening9.cc chinainit.cc concatenate1.cc concatenate2.cc concatenate3.cc concatenate4.cc concatenate5.cc concatenate6.cc concatenate7.cc concatenate8.cc constraints1.cc constraints2.cc constraints3.cc constraints4.cc constraints5.cc contains1.cc contains2.cc contains3.cc contains4.cc contains5.cc contains6.cc contains7.cc contains8.cc empty1.cc empty2.cc empty3.cc exceptions1.cc exceptions2.cc exceptions3.cc generalizedaffineimage1.cc generalizedaffineimage2.cc generalizedaffineimage3.cc generalizedaffineimage4.cc generalizedaffineimage5.cc generalizedaffineimage6.cc generalizedaffineimage7.cc generalizedaffineimage8.cc generalizedaffineimage9.cc intersection1.cc intersection2.cc intersection3.cc intersection4.cc intersection5.cc intersection6.cc intersection7.cc limitedcc76extrapolation1.cc limitedcc76extrapolation2.cc limitedcc76extrapolation3.cc limitedch78extrapolation1.cc limitedch78extrapolation2.cc limitedch78extrapolation3.cc limitedch78extrapolation4.cc limitedch78extrapolation5.cc limitedch78extrapolation6.cc mapspacedims1.cc maxspacedim.cc polydifference1.cc polydifference2.cc polydifference3.cc polyhull1.cc polyhull10.cc polyhull2.cc polyhull3.cc polyhull4.cc polyhull5.cc polyhull6.cc polyhull7.cc polyhull8.cc polyhull9.cc relations1.cc relations2.cc relations3.cc relations4.cc relations5.cc relations6.cc removespacedims1.cc removespacedims2.cc removespacedims3.cc removespacedims4.cc removespacedims5.cc timeelapse1.cc timeelapse2.cc timeelapse3.cc timeelapse4.cc timeelapse5.cc timeelapse6.cc timeelapse7.cc timeelapse8.cc timeelapse9.cc universe1.cc universe2.cc writeoctagon1.cc writeoctagon2.cc writeoctagon3.cc

Log message: Updated the address of the Free Software Foundation.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims3.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims4.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims5.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims6.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims7.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims8.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage10.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage2.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage3.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage4.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage5.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage6.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage7.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage8.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage9.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage2.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage3.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage4.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage5.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage6.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage7.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ascii_dump_load1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ascii_dump_load2... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ascii_dump_load3... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ascii_dump_load4... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolatio... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolatio... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolatio... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolatio... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolatio... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76narrowing1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76narrowing2.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening10.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening11.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening12.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening13.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening3.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening4.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening5.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening6.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening7.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening8.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening9.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/chinainit.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/concatenate1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/concatenate2.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/concatenate3.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/concatenate4.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/concatenate5.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/concatenate6.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/concatenate7.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/concatenate8.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints2.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints3.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints4.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints5.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains1.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains2.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains3.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains4.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains5.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains6.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains7.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains8.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/empty1.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/empty2.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/empty3.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/exceptions1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/exceptions2.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/exceptions3.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection3.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection4.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection5.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection6.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection7.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/mapspacedims1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/maxspacedim.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polydifference1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polydifference2.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polydifference3.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull1.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull10.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull2.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull3.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull4.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull5.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull6.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull7.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull8.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull9.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relations1.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relations2.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relations3.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relations4.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relations5.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relations6.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims2... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims3... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims4... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims5... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse2.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse3.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse4.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse5.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse6.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse7.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse8.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse9.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/universe1.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/universe2.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/writeoctagon1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/writeoctagon2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/writeoctagon3.cc...