CVSROOT: /cvs/ppl Module name: ppl Branch: bounded_arithmetic Changes by: bagnara@cs.unipr.it 2008-12-16 07:57:37 Modified files: . : CREDITS ChangeLog NEWS README README.arm README.configure STANDARDS TODO configure.ac Watchdog : ChangeLog README configure.ac Watchdog/doc : Makefile.am user.doxyconf-html.in user.doxyconf-latex.in Watchdog/m4 : Makefile.am demos/ppl_lcdd : ppl_lcdd.1 ppl_lcdd.cc demos/ppl_lpsol: ppl_lpsol.1 ppl_lpsol.c doc : Makefile.am definitions.dox libppl.3 libppl_c.3 ppl-config.1 ppl.sty user.doxyconf-html.in user.doxyconf-latex.in fedora : ppl.spec interfaces : interfaced_boxes.hh marked_pointers.hh ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_cc_files.m4 ppl_interface_generator_c_h_code.m4 ppl_interface_generator_c_hh_files.m4 ppl_interface_generator_c_procedure_generators.m4 interfaces/Java: Makefile.am interfaces/Java/jni: Makefile.am ppl_interface_generator_java_classes_cc_code.m4 ppl_interface_generator_java_classes_cc_files.m4 ppl_java_common.cc ppl_java_common.inlines.hh ppl_java_globals.cc interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java.m4 ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java.m4 ppl_interface_generator_java_test_java_code.m4 interfaces/OCaml: Makefile.am OCaml_interface.dox README.ocaml ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_cc_files.m4 ppl_interface_generator_ocaml_hh_files.m4 ppl_interface_generator_ocaml_ml.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli.m4 ppl_interface_generator_ocaml_mli_code.m4 ppl_ocaml_common.cc interfaces/OCaml/tests: Makefile.am ppl_interface_generator_ocaml_test_ml.m4 ppl_interface_generator_ocaml_test_ml_code.m4 test1.ml interfaces/Prolog: Prolog_interface.dox 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_interface_generator_prolog_procedure_generators.m4 ppl_prolog_common.cc ppl_prolog_common.defs.hh interfaces/Prolog/Ciao: Makefile.am ppl_interface_generator_ciao_pl.m4 ppl_interface_generator_ciao_prolog_generated_test_pl.m4 interfaces/Prolog/GNU: Makefile.am README.gprolog ppl_interface_generator_gprolog_pl.m4 interfaces/Prolog/SICStus: Makefile.am ppl_interface_generator_sicstus_sd_cc.m4 interfaces/Prolog/SWI: Makefile.am README.swiprolog ppl_interface_generator_swiprolog_cc.m4 swi_efli.cc interfaces/Prolog/XSB: Makefile.am ppl_interface_generator_xsb_H.m4 ppl_interface_generator_xsb_cc.m4 ppl_interface_generator_xsb_hh.m4 ppl_interface_generator_xsb_prolog_generated_test_P.m4 interfaces/Prolog/YAP: Makefile.am ppl_interface_generator_yap_cc.m4 interfaces/Prolog/tests: ppl_interface_generator_prolog_generated_test_pl.m4 ppl_interface_generator_prolog_generated_test_pl_code.m4 ppl_prolog_generated_test_common.pl m4 : ac_check_swi_prolog.m4 src : BDS_Status.inlines.hh BD_Shape.defs.hh BD_Shape.inlines.hh BD_Shape.templates.hh Bit_Row.inlines.hh Boundary.defs.hh Box.defs.hh Box.inlines.hh Box.templates.hh Box_Status.inlines.hh C_Polyhedron.cc Checked_Number.defs.hh Checked_Number.inlines.hh Congruence.cc Congruence_System.cc Constraint.cc DB_Matrix.templates.hh DB_Row.inlines.hh Determinate.inlines.hh Float.defs.hh Generator.cc Generator.inlines.hh Generator_System.cc Grid.defs.hh Grid.inlines.hh Grid.templates.hh Grid_Generator.cc Grid_Generator.defs.hh Grid_Generator_System.cc Grid_Status.cc Grid_conversion.cc Grid_nonpublic.cc Grid_public.cc Grid_simplify.cc Init.cc Interval.defs.hh Interval.inlines.hh Interval_Restriction.defs.hh Linear_Expression.cc Linear_Expression.inlines.hh Linear_Row.cc MIP_Problem.cc Makefile.am Matrix.cc OR_Matrix.inlines.hh OR_Matrix.templates.hh Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Og_Status.inlines.hh Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Partially_Reduced_Product.templates.hh Ph_Status.cc Pointset_Ask_Tell.templates.hh Pointset_Powerset.cc Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh Poly_Con_Relation.defs.hh Poly_Gen_Relation.defs.hh Polyhedron.defs.hh Polyhedron.templates.hh Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc Rounding_Dir.inlines.hh Row.cc Row.inlines.hh Scalar_Products.cc Scalar_Products.inlines.hh Temp.inlines.hh checked.defs.hh checked.inlines.hh checked_float.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh checked_numeric_limits.hh conversion.cc fpu-c99.inlines.hh fpu-ia32.inlines.hh fpu-sparc.inlines.hh globals.defs.hh globals.inlines.hh math_utilities.inlines.hh meta_programming.hh namespaces.hh ppl_header.hh simplify.cc version.cc tests/BD_Shape : Makefile.am tests/Box : Makefile.am ascii_dump_load1.cc empty1.cc fromgrid1.cc refinewithconstraint1.cc tests/Grid : Makefile.am bounds1.cc maxmin1.cc partition1.cc tests/MIP_Problem: Makefile.am tests/Octagonal_Shape: Makefile.am tests/Partially_Reduced_Product: directproduct6.cc partiallyreducedproduct2.cc tests/Polyhedron: Makefile.am bgp99extrapolation1.cc containsintegerpoint1.cc memory1.cc memory2.cc polydifference1.cc simplifyusingcontext1.cc tests/Powerset : Makefile.am Added files: Watchdog : config.rpath Watchdog/m4 : lib-ld.m4 lib-link.m4 devtools : print_nonascii_lines doc : devref-language-interface.doxyconf.in devref-language-interface.tex user-language-interface.doxyconf.in user-language-interface.tex interfaces/Java: README.java tests/BD_Shape : upperboundifexact1.cc tests/Polyhedron: bgp99extrapolation2.cc polyhullifexact1.cc polyhullifexact2.cc tests/Powerset : addcongruences1.cc addconstraints1.cc affinedimension1.cc affineimage1.cc affinepreimage1.cc bounded1.cc bounds1.cc closed1.cc closure1.cc collapse1.cc concatenate1.cc contains1.cc containsintegerpoint1.cc difference1.cc discrete1.cc disjoint1.cc disjunct1.cc empty1.cc entails1.cc equals1.cc frombdshape1.cc frombox1.cc fromcongruences1.cc fromconstraints1.cc fromgrid1.cc fromoctagonalshape1.cc frompolyhedron1.cc fromspacedimension1.cc intersection1.cc maxmin1.cc meet1.cc membytes1.cc reduce1.cc refinewith1.cc relationwith1.cc size1.cc spacedims1.cc universe1.cc upperbound1.cc Removed files: doc : devref-foreign-language-interface.doxyconf.in devref-foreign-language-interface.tex user-foreign-language-interface.doxyconf.in user-foreign-language-interface.tex tests/BD_Shape : pointsetpowerset1.cc tests/Box : pointsetpowerset1.cc pointsetpowerset2.cc tests/Grid : pointsetpowerset1.cc tests/Octagonal_Shape: pointsetpowerset1.cc tests/Powerset : pointsetpowerset1.cc pointsetpowerset2.cc pointsetpowerset3.cc pointsetpowerset4.cc pointsetpowerset5.cc pointsetpowerset6.cc product1.cc Log message: Third merge of the trunk to the bounded_arithmetic branch. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&only_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&onl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_wit... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&only_w... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.arm.diff?cvsroot=ppl&on... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&onl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_wit... 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/Watchdog/config.rpath?cvsroot=... 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/README.diff?cvsroot=p... 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/doc/Makefile.am.diff?... 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/lib-ld.m4?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/lib-link.m4?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/Makefile.am.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.1.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_lpsol/ppl_lpsol.1.di... 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/devtools/print_nonascii_lines?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-language-interface.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-language-interface.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-language-interface.do... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-language-interface.te... 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/doc/libppl.3.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl_c.3.diff?cvsroot=pp... 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.sty.diff?cvsroot=ppl&o... 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/doc/devref-foreign-language-in... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-foreign-language-in... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-foreign-language-inte... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-foreign-language-inte... 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/interfaced_boxes.hh... 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/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/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/C/ppl_interface_gen... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/README.java?cv... 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/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_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/parma_polyhedr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedr... 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_inte... 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/OCaml_interfa... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/README.ocaml.... 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_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_com... 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/test1.m... 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/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_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/Ciao/Makefil... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_int... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_int... 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/README.g... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_inte... 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/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_efli... 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/ppl_inte... 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_inte... 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/tests/ppl_in... 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/interfaces/Prolog/tests/ppl_pr... 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/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/BD_Shape.templates.hh.diff... 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/Box_Status.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsro... 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.cc.diff?cvsroot... 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/Constraint.cc.diff?cvsroot... 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/DB_Row.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.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/Generator.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?... 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/Grid.defs.hh.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsro... 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_Generator.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Status.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?cv... 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/Init.cc.diff?cvsroot=ppl&o... 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_Restriction.defs.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.cc.diff?... 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_Row.cc.diff?cvsroot... 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.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.inlines.hh.diff?... 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.inlines.hh... 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/Og_Status.inlines.hh.diff?... 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/Ph_Status.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Ask_Tell.template... 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.template... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.defs.hh.... 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_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/Rounding_Dir.inlines.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&on... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Scalar_Products.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Scalar_Products.inlines.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Temp.inlines.hh.diff?cvsro... 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_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/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-sparc.inlines.hh.diff?... 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/math_utilities.inlines.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/meta_programming.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/namespaces.hh.diff?cvsroot... 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/src/version.cc.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/upperboundifexa... 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/pointsetpowerse... 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/empty1.cc.diff?cvsro... 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/refinewithconstraint... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/pointsetpowerset1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/pointsetpowerset2.cc... 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/bounds1.cc.diff?cvs... 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/partition1.cc.diff?... 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/MIP_Problem/Makefile.am.... 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/Octagonal_Shape/pointset... 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/bgp99extrapol... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhullifexa... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhullifexa... 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/bgp99extrapol... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/containsinteg... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory1.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory2.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polydifferenc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/simplifyusing... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/addcongruences1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/addconstraints1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/affinedimension... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/affineimage1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/affinepreimage1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/bounded1.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/bounds1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/closed1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/closure1.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/collapse1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/concatenate1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/contains1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/containsinteger... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/difference1.cc?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/discrete1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/disjoint1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/disjunct1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/empty1.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/entails1.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/equals1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/frombdshape1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/frombox1.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromcongruences... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromconstraints... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromgrid1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromoctagonalsh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/frompolyhedron1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromspacedimens... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/intersection1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/maxmin1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/meet1.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/membytes1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/reduce1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/refinewith1.cc?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/relationwith1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/size1.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/spacedims1.cc?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/universe1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/upperbound1.cc?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am.dif... 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/product1.cc.dif...