PPL-devel

Thread Start a new thread

Download

ppl-devel@bugseng.com

April 2006

6 participants
143 discussions

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 09 Apr '06

09 Apr '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-04-09 15:28:42 Modified files: htdocs/Documentation: ppl.bib Log message: Added KhachiyanBBEG06. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/Watchdog/src Watchdog.cc
by Roberto Bagnara 08 Apr '06

08 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-04-08 16:50:58 Modified files: Watchdog/src : Watchdog.cc Log message: Typo fixed in comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Watchdog.cc.diff…

1 0

ppl/tests print.hh
by Roberto Bagnara 07 Apr '06

07 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)cs.unipr.it 2006-04-07 09:37:14 Modified files: tests : print.hh Log message: Added template <typename T> void print_constraints(const Parma_Polyhedra_Library::Octagon<T>& oc, const std::string& intro = "", std::ostream& s = nout). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p…

1 0

ppl/tests/Octagon addspacedims1.cc addspacedim ...
by Roberto Bagnara 07 Apr '06

07 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)cs.unipr.it 2006-04-07 09:29:23 Modified files: tests/Octagon : addspacedims1.cc addspacedims2.cc addspacedims3.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 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 constraints1.cc constraints2.cc constraints3.cc constraints4.cc constraints5.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 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 removespacedims1.cc removespacedims2.cc removespacedims3.cc removespacedims4.cc removespacedims5.cc timeelapse2.cc timeelapse3.cc timeelapse4.cc timeelapse5.cc timeelapse6.cc timeelapse7.cc timeelapse8.cc timeelapse9.cc Log message: Known results must always be of type Octagon<mpq_class>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims2.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims3.c… 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.c… 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/cc76extrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76narrowing1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76narrowing2.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening10.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening11.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening12.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening13.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening2.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening3.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening4.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening5.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening6.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening7.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening8.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening9.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/chinainit.cc.di… 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/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection2.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection3.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection4.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection5.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection6.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection7.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/mapspacedims1.c… 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.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull10.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull2.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull3.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull4.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull5.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull6.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull7.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull8.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull9.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse2.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse4.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse5.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse6.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse7.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse8.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse9.cc.…

1 0

ppl/tests/Octagon Makefile.am concatenate1.cc ...
by Roberto Bagnara 07 Apr '06

07 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)cs.unipr.it 2006-04-07 08:45:58 Modified files: tests/Octagon : Makefile.am concatenate1.cc Removed files: tests/Octagon : concatenate2.cc concatenate3.cc concatenate4.cc concatenate5.cc concatenate6.cc concatenate7.cc concatenate8.cc Log message: Tests for Octagon::concatenate_assign() rewritten according to the new guidelines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.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…

1 0

ppl/tests/BD_Shape addconstraints1.cc addspace ...
by Roberto Bagnara 07 Apr '06

07 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)cs.unipr.it 2006-04-07 07:58:57 Modified files: tests/BD_Shape : addconstraints1.cc addspacedims1.cc affineimage1.cc affinepreimage1.cc ascii_dump_load1.cc bdsdifference1.cc bdshull1.cc bhmz05widening1.cc cc76extrapolation1.cc cc76narrowing1.cc concatenate1.cc constraints1.cc generalizedaffineimage1.cc generalizedaffineimage2.cc h79widening1.cc intersection1.cc limitedbhmz05extrapolation1.cc limitedcc76extrapolation1.cc limitedh79extrapolation1.cc mapspacedims1.cc minconstraints1.cc removespacedims1.cc timeelapse1.cc Log message: Spurious blank spaces removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addconstraints… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/ascii_dump_loa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdsdifference1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdshull1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhmz05widening… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76extrapolat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76narrowing1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/concatenate1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/constraints1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/h79widening1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedbhmz05e… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedcc76ext… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedh79extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/mapspacedims1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/minconstraints… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/removespacedim… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/timeelapse1.cc…

1 0

ppl/tests/BD_Shape universe1.cc
by Roberto Bagnara 07 Apr '06

07 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)cs.unipr.it 2006-04-07 07:52:44 Modified files: tests/BD_Shape : universe1.cc Log message: This test was wrong: fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/universe1.cc.d…

1 0

ppl/tests/Octagon Makefile.am universe1.cc uni ...
by Roberto Bagnara 06 Apr '06

06 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)cs.unipr.it 2006-04-06 22:30:49 Modified files: tests/Octagon : Makefile.am universe1.cc Removed files: tests/Octagon : universe2.cc Log message: Tests for Octagon::is_universe() rewritten according to the new guidelines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/universe1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/universe2.cc.di…

1 0

ppl/tests/Octagon chinainit.cc polyhull10.cc
by Roberto Bagnara 06 Apr '06

06 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)cs.unipr.it 2006-04-06 22:03:04 Modified files: tests/Octagon : chinainit.cc polyhull10.cc Log message: Complexity reduced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/chinainit.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull10.cc.d…

1 0

ppl/tests/Octagon addspacedims1.cc addspacedim ...
by Roberto Bagnara 06 Apr '06

06 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)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.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims2.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims3.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims4.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims5.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims6.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims7.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims8.c… 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.c… 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_load… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ascii_dump_load… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ascii_dump_load… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ascii_dump_load… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76narrowing1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76narrowing2.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening10.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening11.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening12.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening13.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening2.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening3.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening4.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening5.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening6.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening7.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening8.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening9.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/chinainit.cc.di… 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.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains2.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains3.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains4.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains5.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains6.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains7.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains8.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/empty1.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/empty2.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/empty3.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/exceptions1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/exceptions2.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/exceptions3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection2.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection3.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection4.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection5.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection6.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection7.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/mapspacedims1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/maxspacedim.cc.… 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.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull10.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull2.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull3.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull4.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull5.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull6.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull7.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull8.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull9.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relations1.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relations2.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relations3.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relations4.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relations5.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relations6.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse2.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse4.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse5.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse6.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse7.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse8.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse9.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/universe1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/universe2.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/writeoctagon1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/writeoctagon2.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/writeoctagon3.c…

1 0

Jump to page: