CVSROOT: /cvs/ppl Module name: ppl Branch: bounded_arithmetic Changes by: bagnara@cs.unipr.it 2008-09-11 22:37:56

Modified files: . : .cvsignore ChangeLog INSTALL Makefile.am NEWS TODO config.guess config.rpath config.sub configure.ac instchk.hh ltmain.sh Watchdog : ChangeLog INSTALL config.guess config.sub configure.ac ltmain.sh Watchdog/doc : Makefile.am devref.doxyconf-html.in devref.doxyconf-latex.in user.doxyconf-html.in user.doxyconf-latex.in Watchdog/m4 : libtool.m4 ltoptions.m4 ltsugar.m4 ltversion.m4 Watchdog/src : Makefile.am Watchdog/utils : Makefile.am demos/ppl_lpsol: .cvsignore Makefile.am expected_int16 expected_int32 expected_int64 expected_mpz ppl_lpsol.c doc : Makefile.am README.doc definitions.dox devref-c-interface.doxyconf-html.in devref-c-interface.doxyconf-latex.in devref-prolog-interface.doxyconf-html.in devref-prolog-interface.doxyconf-latex.in devref.doxyconf-html.in devref.doxyconf-latex.in ppl-config.1 ppl_lcdd.1 ppl_lpsol.1 user-c-interface.doxyconf-html.in user-c-interface.doxyconf-latex.in user-prolog-interface.doxyconf-html.in user-prolog-interface.doxyconf-latex.in user.doxyconf-html.in user.doxyconf-latex.in fedora : ppl.spec interfaces : Makefile.am ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 ppl_interface_generator_copyright interfaces/C : C_interface.dox Makefile.am ppl_c.h.in ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_cc_preamble ppl_interface_generator_c_h_code.m4 ppl_interface_generator_c_h_preamble interfaces/Java: Makefile.am ppl_interface_generator_java_procedure_generators.m4 interfaces/Java/jni: Makefile.am ppl_interface_generator_java_ppl_java_classes_cc_code.m4 ppl_java_common.cc ppl_java_common.hh ppl_java_globals.cc interfaces/Java/ppl_java: .cvsignore Coefficient.java Congruence.java Linear_Expression_Coefficient.java Makefile.am Parma_Polyhedra_Library.java ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: C_Polyhedron_test1.java Makefile.am ppl_interface_generator_java_test_java_code.m4 ppl_java_tests_common interfaces/OCaml: .cvsignore Makefile.am ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli.m4 ppl_interface_generator_ocaml_mli_code.m4 ppl_interface_generator_ocaml_procedure_generators.m4 ppl_ocaml_globals.cc ppl_ocaml_globals.ml interfaces/Prolog: .cvsignore Makefile.am ppl_interface_generator_prolog_procedure_generators.m4 interfaces/Prolog/Ciao: Makefile.am ppl_ciao.cc interfaces/Prolog/GNU: Makefile.am gprolog_cfli.hh interfaces/Prolog/SICStus: Makefile.am ppl_interface_generator_sicstus_sd_cc.m4 sicstus_cfli.ic interfaces/Prolog/SWI: .cvsignore Makefile.am README.swiprolog ppl_interface_generator_swiprolog_cc.m4 swi_cfli.hh swi_pl_check.pl swi_predicate_check.pl interfaces/Prolog/XSB: .cvsignore Makefile.am ppl_interface_generator_xsb_cc.m4 xsb_cfli.hh xsb_pl_check.P interfaces/Prolog/YAP: Makefile.am ppl_interface_generator_yap_cc.m4 yap_cfli.hh interfaces/Prolog/tests: .cvsignore Makefile.am pl_check.pl ppl_interface_generator_predicate_check_code.m4 m4 : ac_check_swi_prolog.m4 ac_cxx_double_binary_format.m4 ac_cxx_float_binary_format.m4 ac_cxx_long_double_binary_format.m4 ax_prefix_config_h.m4 lib-link.m4 lib-prefix.m4 libtool.m4 ltoptions.m4 ltsugar.m4 ltversion.m4 src : .cvsignore BD_Shape.defs.hh BD_Shape.inlines.hh BD_Shape.templates.hh Bit_Matrix.cc Bit_Row.inlines.hh Boundary.defs.hh Box.defs.hh Box.inlines.hh Box.templates.hh C_Polyhedron.defs.hh Checked_Number.defs.hh Checked_Number.inlines.hh Congruence.defs.hh Congruence_System.cc Congruence_System.inlines.hh Constraint.defs.hh Constraint.inlines.hh Constraint_System.cc Constraint_System.inlines.hh DB_Matrix.templates.hh Float.defs.hh Float.inlines.hh Generator_System.cc Generator_System.defs.hh Generator_System.inlines.hh Grid.defs.hh Grid.templates.hh Grid_chdims.cc Grid_nonpublic.cc Grid_public.cc Grid_simplify.cc Grid_widenings.cc Init.cc Init.defs.hh Interval.defs.hh Interval.inlines.hh Interval_Info.defs.hh Interval_Info.inlines.hh Interval_Restriction.defs.hh Linear_Expression.defs.hh Linear_Expression.inlines.hh Linear_System.cc Linear_System.inlines.hh MIP_Problem.cc Makefile.am Matrix.defs.hh Matrix.inlines.hh NNC_Polyhedron.defs.hh OR_Matrix.defs.hh OR_Matrix.templates.hh Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Partially_Reduced_Product.templates.hh Pointset_Powerset.cc Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh Pointset_Powerset.templates.hh Polyhedron.defs.hh Polyhedron.templates.hh Polyhedron_chdims.cc Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc Powerset.defs.hh Powerset.inlines.hh checked.cc checked_float.inlines.hh checked_int.inlines.hh checked_mpz.inlines.hh conversion.cc fpu-c99.inlines.hh fpu-ia32.inlines.hh fpu-none.inlines.hh fpu-sparc.inlines.hh fpu.defs.hh iterator_to_const.defs.hh minimize.cc ppl_header.hh simplify.cc tests : Makefile.am print.hh tests/BD_Shape : .cvsignore Makefile.am congruences1.cc constraints1.cc frombdshape1.cc frombox1.cc fromgrid1.cc fromoctagonalshape1.cc generalizedaffineimage1.cc membytes1.cc timeelapse1.cc tests/Box : .cvsignore Makefile.am ascii_dump_load1.cc boxdifference1.cc fromgrid1.cc frompartiallyreducedproduct1.cc refinewithconstraints2.cc tests/Grid : .cvsignore Makefile.am addconstraint1.cc addconstraints1.cc addspacedims1.cc affinedim1.cc affineimage2.cc affinepreimage2.cc asciidumpload1.cc asciidumpload2.cc bounded1.cc bounds1.cc certificate1.cc containsintegerpoint1.cc coveringbox1.cc discrete1.cc disjoint1.cc equals1.cc expandspacedim1.cc foldspacedims1.cc frombdshape1.cc fromoctagonalshape1.cc frompolyhedron1.cc generalizedaffineimage1.cc generalizedaffineimage2.cc generalizedaffineimage3.cc generalizedaffinepreimage1.cc generalizedaffinepreimage2.cc generalizedaffinepreimage3.cc generators1.cc grid3.cc griddifference1.cc join1.cc join2.cc limitedextrapolation1.cc limitedextrapolation2.cc limitedextrapolation3.cc maxmin1.cc membytes1.cc mincongruences1.cc mingenerators1.cc outputoperator1.cc pointsetpowerset1.cc powersetdifference1.cc powersetgeometricallycovers1.cc relations1.cc relations2.cc relations3.cc removespacedims1.cc removespacedims2.cc timeelapse1.cc topclosed1.cc widening1.cc widening3.cc tests/MIP_Problem: .cvsignore tests/Octagonal_Shape: .cvsignore Makefile.am tests/Polyhedron: .cvsignore Makefile.am addcongruence1.cc addcongruences1.cc congruences1.cc linearsystem1.cc maxspacedim1.cc randphull1.cc utils : Makefile.am Added files: doc : devref-java-interface.doxyconf-html.in devref-java-interface.doxyconf-latex.in devref-java-interface.tex devref-ocaml-interface.doxyconf-html.in devref-ocaml-interface.doxyconf-latex.in devref-ocaml-interface.tex devref-prolog-interface.tex libppl.3 user-java-interface.doxyconf-html.in user-java-interface.doxyconf-latex.in user-java-interface.tex user-ocaml-interface.doxyconf-html.in user-ocaml-interface.doxyconf-latex.in user-ocaml-interface.tex interfaces : marked_pointers.hh interfaces/Java: ppl_interface_generator_java_dox.m4 ppl_interface_generator_java_dox_code.m4 ppl_java_common_dox interfaces/Java/ppl_java: Pair.java interfaces/Java/tests: NNC_Polyhedron_test1.java Test_Executor.java interfaces/OCaml: OCaml_interface.dox interfaces/OCaml/tests: .cvsignore Makefile.am ppl_interface_generator_ocaml_test_ml.m4 ppl_interface_generator_ocaml_test_ml_code.m4 ppl_ocaml_tests_common test1.ml interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 ppl_interface_generator_prolog_cc_files.m4 ppl_interface_generator_prolog_dox.m4 ppl_interface_generator_prolog_dox_code.m4 ppl_interface_generator_prolog_hh_code.m4 ppl_interface_generator_prolog_hh_files.m4 ppl_prolog_common.cc ppl_prolog_common.defs.hh ppl_prolog_common.inlines.hh ppl_prolog_sysdep_dox ppl_prolog_sysindep_dox interfaces/Prolog/GNU: gprolog_efli.cc gprolog_efli.hh ppl_prolog_sysdep.hh interfaces/Prolog/SICStus: ppl_prolog_sysdep.hh sicstus_efli.cc sicstus_efli.hh interfaces/Prolog/SWI: ppl_prolog_sysdep.hh swi_efli.cc swi_efli.hh interfaces/Prolog/XSB: ppl_interface_generator_xsb_hh.m4 ppl_prolog_sysdep.hh xsb_efli.cc xsb_efli.hh interfaces/Prolog/YAP: ppl_prolog_sysdep.hh yap_efli.cc yap_efli.hh src : Checked_Number.templates.hh Init.inlines.hh fpu-ia32.cc tests/BD_Shape : constrains1.cc tests/Box : constrains1.cc topclosed1.cc tests/Grid : frombox1.cc tests/Octagonal_Shape: constrains1.cc tests/Partially_Reduced_Product: .cvsignore Makefile.am asciidumpload1.cc directproduct1.cc directproduct2.cc directproduct3.cc directproduct4.cc directproduct5.cc directproduct6.cc partiallyreducedproduct1.cc partiallyreducedproduct2.cc partiallyreducedproduct3.cc partiallyreducedproduct4.cc tests/Polyhedron: simplifyusingcontext1.cc tests/Powerset : .cvsignore Makefile.am pointsetpowerset1.cc pointsetpowerset2.cc pointsetpowerset3.cc pointsetpowerset4.cc pointsetpowerset5.cc pointsetpowerset6.cc powerset1.cc product1.cc simplifyusingcontext1.cc Removed files: interfaces/OCaml: test1.ml interfaces/Prolog: Prolog_interface.dox exceptions.hh ppl_interface_generator_prolog_icc.m4 ppl_interface_generator_prolog_icc_code.m4 ppl_prolog_common.icc track_allocation.hh interfaces/Prolog/GNU: ppl_gprolog_sd.cc tests/Grid : asciidumpload7.cc directproduct1.cc directproduct2.cc directproduct3.cc directproduct4.cc directproduct5.cc directproduct6.cc partiallyreducedproduct1.cc partiallyreducedproduct2.cc partiallyreducedproduct3.cc partiallyreducedproduct4.cc tests/Polyhedron: pointsetpowerset1.cc pointsetpowerset2.cc pointsetpowerset3.cc pointsetpowerset4.cc pointsetpowerset5.cc pointsetpowerset6.cc powerset1.cc

Log message: First merge of the trunk to the bounded_arithmetic branch.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/.cvsignore.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/INSTALL.diff?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/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.rpath.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/instchk.hh.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/Watchdog/ChangeLog.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/INSTALL.diff?cvsroot=... 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/configure.ac.diff?cvs... 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/Watchdog/doc/Makefile.am.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/devref.doxyconf-h... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/devref.doxyconf-l... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/user.doxyconf-htm... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/user.doxyconf-lat... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/libtool.m4.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/ltoptions.m4.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/ltsugar.m4.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/ltversion.m4.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Makefile.am.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/utils/Makefile.am.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/.cvsignore.dif... 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_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_mpz.d... 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/devref-java-interface.doxy... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.doxy... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.tex?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-ocaml-interface.dox... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-ocaml-interface.dox... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-ocaml-interface.tex... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.te... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3?cvsroot=ppl&o... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.doxyco... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.doxyco... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.tex?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-ocaml-interface.doxyc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-ocaml-interface.doxyc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-ocaml-interface.tex?c... 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/README.doc.diff?cvsroot=pp... 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/doc/devref-c-interface.doxycon... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.doxycon... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.do... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.do... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl-config.1.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lcdd.1.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lpsol.1.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.doxyconf-... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.doxyconf-... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.doxy... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.doxy... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-latex.in.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/fedora/ppl.spec.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/marked_pointers.hh?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gener... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gener... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gener... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff?... 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/C/ppl_interface_gen... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_gen... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_gen... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_gen... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java_commo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_interf... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_g... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Pair.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/.cvsi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Coeff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Congr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Linea... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Makef... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Parma... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_i... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/NNC_Poly... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Test_Exe... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/C_Polyhe... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_inte... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_java... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/OCaml_interfa... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/.cvsignore.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_glo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_glo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/.cvsign... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefil... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_int... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_int... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_oca... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.m... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_s... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_s... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/.cvsignore.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfac... 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/exceptions.h... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/track_alloca... 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/Ciao/ppl_cia... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gprolog_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gprolog_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_prol... 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/gprolog_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sics... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sics... 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/ppl_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sics... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_prol... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_efli... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_efli... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/.cvsigno... 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/README.s... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_inte... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfli... 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/SWI/swi_pred... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_inte... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_prol... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_efli... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_efli... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/.cvsigno... 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/ppl_inte... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_cfli... 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/ppl_prol... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_efli... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_efli... 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/YAP/ppl_inte... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_cfli... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/.cvsig... 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/pl_che... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_in... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_swi_prolog.m4.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_binary_format... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float_binary_format.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_binary_f... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ax_prefix_config_h.m4.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/lib-link.m4.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/lib-prefix.m4.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/libtool.m4.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ltoptions.m4.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ltsugar.m4.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ltversion.m4.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.templates.h... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.inlines.hh?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-ia32.cc?cvsroot=ppl&am... 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/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/BD_Shape.templates.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Matrix.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.inlines.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.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/Congruence.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.inlines.... 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/Constraint.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.inlines.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.templates.hh.dif... 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_System.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.inlines.h... 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.templates.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cvs... 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/Interval_Info.defs.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.inlines.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Restriction.defs.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.inlines.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsroo... 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/Matrix.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.templates.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.inlines.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.template... 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.templates.hh.di... 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_nonpublic.cc.di... 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/Powerset.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=pp... 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_mpz.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot... 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-none.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-sparc.inlines.hh.diff?... 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/iterator_to_const.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.hh.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot... 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/constrains1.cc?... 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/congruences1.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/frombdshape1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/frombox1.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/fromgrid1.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/fromoctagonalsh... 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/membytes1.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/timeelapse1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/constrains1.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/topclosed1.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/.cvsignore.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/ascii_dump_load1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boxdifference1.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/fromgrid1.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/frompartiallyreduced... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refinewithconstraint... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/frombox1.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/.cvsignore.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraint1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addspacedims1.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinedim1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage2.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinepreimage2.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload2.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounded1.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounds1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/certificate1.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/containsintegerpoin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/coveringbox1.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/discrete1.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/disjoint1.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/equals1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/expandspacedim1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/foldspacedims1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/frombdshape1.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/fromoctagonalshape1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/frompolyhedron1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffineim... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffineim... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffineim... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinepr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinepr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinepr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generators1.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/griddifference1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join1.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join2.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolatio... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolatio... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolatio... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/maxmin1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/membytes1.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mincongruences1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mingenerators1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/outputoperator1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/pointsetpowerset1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/powersetdifference1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/powersetgeometrical... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations3.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/timeelapse1.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/topclosed1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening1.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening3.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload7.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct2.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct5.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct6.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/.cvsignore.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/constrai... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/.cvsigno... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/simplifyusing... 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/addcongruence... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruence... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/congruences1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linearsystem1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/maxspacedim1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/randphull1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpower... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpower... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpower... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpower... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpower... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpower... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/powerset1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/.cvsignore?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerse... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerse... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerse... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerse... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerse... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerse... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/powerset1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/product1.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/simplifyusingco... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/Makefile.am.diff?cvsroot...