CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto@cs.unipr.it 2005-07-06 09:07:38

Modified files: . : Makefile.am NEWS README TODO config.guess config.sub configure.ac install-sh ltmain.sh ppl.spec.in Watchdog : Handler.defs.hh Handler.inlines.hh Time.inlines.hh config.guess config.sub install-sh ltmain.sh demos/ppl_lcdd : .cvsignore ppl_lcdd.cc demos/ppl_lcdd/examples: README demos/ppl_lpsol: Makefile.am expected_int16 expected_int16_a expected_int32 expected_int32_a expected_int64 expected_int64_a expected_int8 expected_int8_a expected_mpz expected_mpz_a ppl_lpsol.c doc : Makefile.am definitions.dox interfaces/C : ppl_c.cc ppl_c.h.in interfaces/Prolog: Prolog_interface.dox interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am gnu_pl_check.pl interfaces/Prolog/SICStus: Makefile.am sp_pl_check.pl interfaces/Prolog/SWI: Makefile.am swi_pl_check.pl interfaces/Prolog/XSB: Makefile.am xsb_clpq.P xsb_clpq2.P xsb_pl_check.P interfaces/Prolog/YAP: Makefile.am interfaces/Prolog/tests: Makefile.am src : .cvsignore BDS_Status.idefs.hh BDS_Status.inlines.hh BD_Shape.defs.hh BD_Shape.inlines.hh Bounding_Box.cc Bounding_Box.defs.hh Checked_Number.defs.hh Checked_Number.inlines.hh Constraint.cc Constraint.defs.hh DB_Row.defs.hh E_Rational.inlines.hh Float.defs.hh Float.inlines.hh Generator.cc Generator.defs.hh Grid.defs.hh Grid_Status.idefs.hh Init.cc Init.defs.hh Interval.defs.hh Interval.inlines.hh Makefile.am Ph_Status.idefs.hh Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_chdims.cc Polyhedron_public.cc Polyhedron_widenings.cc Result.defs.hh Rounding.defs.hh checked.defs.hh checked.inlines.hh checked_ext.defs.hh checked_ext.inlines.hh checked_float.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh checked_numeric_limits.hh fpu-c99.inlines.hh fpu-ia32.inlines.hh fpu.defs.hh globals.defs.hh globals.inlines.hh tests : BBox.cc BBox.hh PFunction.cc PFunction.hh ehandlers.hh files.hh ppl_test.hh print.cc print.hh tests/BD_Shape : .cvsignore Makefile.am addspacedims1.cc addspacedims2.cc addspacedims3.cc addspacedims4.cc addspacedims5.cc addspacedims6.cc affineimage1.cc affineimage2.cc affineimage3.cc affineimage4.cc affineimage5.cc affineimage6.cc affineimage7.cc affinepreimage1.cc affinepreimage2.cc affinepreimage3.cc affinepreimage4.cc concatenate1.cc constraints1.cc constraints2.cc contains2.cc contains3.cc empty3.cc equality1.cc exceptions1.cc exceptions2.cc exceptions3.cc generalizedaffineimage1.cc generalizedaffineimage10.cc generalizedaffineimage2.cc generalizedaffineimage3.cc generalizedaffineimage4.cc generalizedaffineimage5.cc generalizedaffineimage7.cc generalizedaffineimage8.cc intersection3.cc intersection4.cc intersection5.cc intersection6.cc intersection7.cc intersection8.cc mapspacedims4.cc polydifference1.cc relations1.cc relations2.cc relations3.cc relations5.cc removespacedims1.cc universe1.cc tests/Polyhedron: .cvsignore Makefile.am affinetrans.cc boundedh79extrapolation1.cc exceptions3.cc randphull2.cc watchdog1.cc Added files: . : build_header debian : .cvsignore changelog compat control libppl-c.dirs libppl-c.install libppl-c.links libppl-dev.dirs libppl-dev.doc-base libppl-dev.doc-base.user libppl-dev.docs libppl-dev.install libppl-dev.links libppl-gprolog.links libppl-pwl.copyright.in libppl-pwl.dirs libppl-pwl.docs libppl-pwl.install libppl-sicstus.links libppl-swi.links libppl-yap.links libppl.copyright.in libppl.dirs libppl.docs libppl.install rules interfaces/Prolog/GNU: README interfaces/Prolog/tests: expected_clpq2_int16 expected_clpq2_int16_a expected_clpq2_int32 expected_clpq2_int32_a expected_clpq2_int64 expected_clpq2_int64_a expected_clpq2_int8 expected_clpq2_int8_a expected_clpq2_mpz expected_clpq2_mpz_a expected_clpq_int16 expected_clpq_int16_a expected_clpq_int32 expected_clpq_int32_a expected_clpq_int64 expected_clpq_int64_a expected_clpq_int8 expected_clpq_int8_a expected_clpq_mpz expected_clpq_mpz_a expected_pchk_int16 expected_pchk_int16_a expected_pchk_int32 expected_pchk_int32_a expected_pchk_int64 expected_pchk_int64_a expected_pchk_int8 expected_pchk_int8_a expected_pchk_mpz expected_pchk_mpz_a script_clpq script_clpq2 script_clpq2_int8 src : checked.cc fpu-none.inlines.hh ppl_header.hh tests/BD_Shape : affineimage8.cc affineimage9.cc affinepreimage5.cc fromgensys1.cc generalizedaffineimage13.cc generalizedaffineimage14.cc writebdshape1.cc writebdshape2.cc tests/Polyhedron: boundedbhrz03extrapolation1.cc bug2.cc bug2.dat concatenate7.cc generalizedaffineimage13.cc generalizedaffineimage14.cc Removed files: interfaces/Prolog/tests: check_script check_script2 check_script2_int8 expected2_int16 expected2_int16_a expected2_int32 expected2_int32_a expected2_int64 expected2_int64_a expected2_int8 expected2_int8_a expected2_mpz expected2_mpz_a expected3_int16 expected3_int16_a expected3_int32 expected3_int32_a expected3_int64 expected3_int64_a expected3_int8 expected3_int8_a expected3_mpz expected3_mpz_a expected_int16 expected_int16_a expected_int32 expected_int32_a expected_int64 expected_int64_a expected_int8 expected_int8_a expected_mpz expected_mpz_a src : Rounding.inlines.hh ppl_header.bottom ppl_header.middle ppl_header.top tests/BD_Shape : writebdiffs1.cc writebdiffs2.cc

Log message: First merge from main trunk.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/build_header?cvsroot=ppl&o... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&on... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/install-sh.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Handler.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Handler.inlines.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Time.inlines.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/install-sh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ltmain.sh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/.cvsignore?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/changelog?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/compat?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/control?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-c.dirs?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-c.install?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-c.links?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.dirs?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.doc-base?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.doc-base.use... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.docs?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.install?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.links?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-gprolog.links?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-pwl.copyright.in... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-pwl.dirs?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-pwl.docs?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-pwl.install?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-sicstus.links?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-swi.links?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-yap.links?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.copyright.in?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.dirs?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.docs?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.install?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/rules?cvsroot=ppl&o... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/.cvsignore.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/README... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int16... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int16... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int32... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int32... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int64... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int64... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int8.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int8_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz_a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inter... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefil... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/README?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gnu_pl_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Make... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pl_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clpq... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clpq... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/script... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/script... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/script... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makefi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/check_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/check_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/check_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-none.inlines.hh?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.hh?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/.cvsignore.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.idefs.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/E_Rational.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.defs.hh.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Status.idefs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.defs.hh.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.idefs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.defs.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_numeric_limits.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-c99.inlines.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-ia32.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu.defs.hh.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.bottom.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.middle.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.top.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.hh.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/PFunction.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/PFunction.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ehandlers.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.hh.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.cc.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage8.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage9.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage5... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/fromgensys1.cc?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/writebdshape1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/writebdshape2.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/.cvsignore.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims2.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims3.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims4.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims5.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims6.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage3.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage4.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage5.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage6.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage7.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage2... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage3... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage4... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/concatenate1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/constraints1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/constraints2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/contains2.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/contains3.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/empty3.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/equality1.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/exceptions1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/exceptions2.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/exceptions3.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection3.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection4.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection5.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection6.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection7.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection8.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/mapspacedims4.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/polydifference1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations2.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations5.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/removespacedims... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/universe1.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/writebdiffs1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/writebdiffs2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedbhrz03... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug2.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug2.dat?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/concatenate7.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaf... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaf... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/.cvsignore.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinetrans.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedh79ext... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/exceptions3.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/randphull2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/watchdog1.cc....