CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara@cs.unipr.it 2006-12-02 23:35:34

Modified files: . : STANDARDS TODO config.guess config.sub configure.ac instchk.hh Watchdog : config.guess config.sub demos/ppl_lcdd : ppl_lcdd.cc demos/ppl_lpsol: Makefile.am ppl_lpsol.c demos/ppl_lpsol/examples: Makefile.am doc : Makefile.am definitions.dox devref.doxyconf-html.in devref.doxyconf-latex.in interfaces : Makefile.am ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/C : Makefile.am ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_cc_preamble ppl_interface_generator_c_dat.m4 ppl_interface_generator_c_h_code.m4 interfaces/Java: Makefile.am interfaces/Java/ppl_java: Coefficient.java Makefile.am Variable.java interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli test1.ml interfaces/Prolog: Makefile.am ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc.m4 ppl_interface_generator_prolog_icc_code.m4 track_allocation.hh interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am ppl_interface_generator_sicstus_sd_cc.m4 sp_clpq.pl sp_pl_check.pl interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am expected_pchk_int8_a interfaces/Prolog/YAP: Makefile.am interfaces/Prolog/tests: Makefile.am expected_pchk_int8_a pl_check.pl ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 m4 : Makefile.am src : Any_Pointset.defs.hh BD_Shape.defs.hh BD_Shape.inlines.hh BD_Shape.templates.hh Box.templates.hh C_Polyhedron.cc C_Polyhedron.defs.hh C_Polyhedron.inlines.hh Checked_Number.defs.hh Grid.defs.hh Grid.inlines.hh Grid_Generator_System.cc Grid_chdims.cc Grid_nonpublic.cc Grid_public.cc Grid_widenings.cc Linear_System.cc Linear_System.defs.hh Linear_System.inlines.hh MIP_Problem.cc MIP_Problem.defs.hh Makefile.am NNC_Polyhedron.cc NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Pointset_Powerset.cc Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh Pointset_Powerset.templates.hh Polyhedron.defs.hh Polyhedron_chdims.cc Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc Variables_Set.cc Variables_Set.defs.hh Variables_Set.inlines.hh conversion.cc globals.defs.hh minimize.cc mp_std_bits.defs.hh simplify.cc swapping_sort.icc tests : FCAIBVP.cc FCAIBVP.defs.hh FCAIBVP.inlines.hh tests/BD_Shape : Makefile.am bdshull1.cc constraints1.cc foldspacedims1.cc relations3.cc tests/Grid : Makefile.am disjoint1.cc intersection1.cc partition1.cc widening2.cc tests/MIP_Problem: mipproblem1.cc tests/Octagonal_Shape: Makefile.am boundedaffineimage1.cc boundedaffinepreimage1.cc constraints1.cc expandspacedim1.cc mapspacedims1.cc relatwithgen1.cc tests/Polyhedron: linearpartition1.cc pointsetpowerset1.cc polydifference2.cc variablesset1.cc utils : Makefile.am Added files: interfaces/Java: ppl_interface_generator_java_dat.m4 interfaces/Java/jni: .cvsignore Makefile.am ppl_interface_generator_java_ppl_java_classes_cc.m4 ppl_interface_generator_java_ppl_java_classes_cc_code.m4 ppl_java_C_Polyhedron.cc ppl_java_Polyhedron.cc ppl_java_common.cc ppl_java_common.hh ppl_java_globals.cc interfaces/Java/ppl_java: By_Reference.java Congruence.java Congruence_System.java Constraint.java Constraint_System.java Degenerate_Element.java Domain_Error_Exception.java Generator.java Generator_System.java Generator_Type.java Grid_Generator.java Grid_Generator_System.java Grid_Generator_Type.java Invalid_Argument_Exception.java Lenght_Error_Exception.java Linear_Expression.java Linear_Expression_Coefficient.java Linear_Expression_Difference.java Linear_Expression_Sum.java Linear_Expression_Times.java Linear_Expression_Unary_Minus.java Linear_Expression_Variable.java Logic_Error_Exception.java MIP_Problem.java MIP_Problem_Status.java Optimization_Mode.java Overflow_Error_Exception.java PPL_Object.java Parma_Polyhedra_Library.java Partial_Function.java Poly_Con_Relation.java Poly_Gen_Relation.java Relation_Symbol.java Variables_Set.java ppl_interface_generator_java_classes_java.m4 ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: .cvsignore C_Polyhedron_test1.java Makefile.am Test_Partial_Function.java ppl_interface_generator_java_test_java.m4 ppl_interface_generator_java_test_java_code.m4 ppl_java_tests_common interfaces/Prolog: ppl_prolog_common.icc interfaces/Prolog/SICStus: sp_predicate_check.pl interfaces/Prolog/SWI: swi_predicate_check.pl interfaces/Prolog/tests: ppl_predicate_check_common.pl m4 : ac_check_classpath.m4 ac_prog_jar.m4 ac_prog_java.m4 ac_prog_javac.m4 ac_prog_javah.m4 src : Bit_Matrix.cc Bit_Matrix.defs.hh Bit_Matrix.inlines.hh Bit_Matrix.types.hh Bit_Row.cc Bit_Row.defs.hh Bit_Row.inlines.hh Bit_Row.types.hh mp_std_bits.cc tests/BD_Shape : boundedaffinepreimage1.cc bounds1.cc max_min1.cc max_min2.cc maxspacedim1.cc tests/Grid : approximatepartition1.cc powersetdifference1.cc powersetgeometricallycovers1.cc powersetgeometricallyequals1.cc tests/Octagonal_Shape: bounds1.cc foldspacedims1.cc max_min1.cc max_min2.cc maxspacedim1.cc utils : cm_cleaner.sh cm_splitter.sh Removed files: interfaces/Prolog: ppl_interface_generator_prolog_icc_preamble interfaces/Prolog/tests: ppl_interface_generator_predicate_check_extra_code src : Saturation_Matrix.cc Saturation_Matrix.defs.hh Saturation_Matrix.inlines.hh Saturation_Matrix.types.hh Saturation_Row.cc Saturation_Row.defs.hh Saturation_Row.inlines.hh Saturation_Row.types.hh tests/BD_Shape : maxspacedim.cc tests/Octagonal_Shape: maxspacedim.cc

Log message: Ninth merge of the trunk to the `altnum' branch.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&... 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/instchk.hh.diff?cvsroot=ppl&am... 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/demos/ppl_lcdd/ppl_lcdd.cc.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/ppl_lpsol.c.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/examples/Makef... 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/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/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/C/Makefile.am.diff?... 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/Makefile.am.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/.cvsignore... 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_P... 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/By_Re... 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/Congr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Const... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Const... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Degen... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Domai... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Gener... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Gener... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Gener... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Grid_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Grid_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Grid_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Inval... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Lengh... 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/Linea... 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/Linea... 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/Linea... 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/Logic... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/MIP_P... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/MIP_P... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Optim... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Overf... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/PPL_O... 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/Parti... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Relat... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Varia... 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/ppl_java/ppl_i... 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/Makef... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Varia... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/.cvsigno... 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/Test_Par... 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/Java/tests/ppl_java... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.mli... 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/Prolog/ppl_prolog_c... 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/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/track_alloca... 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/Ciao/Makefil... 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/SICStus/sp_p... 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/sp_c... 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/swi_pred... 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/XSB/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected... 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/ppl_pr... 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/expect... 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/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/m4/ac_check_classpath.m4?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_jar.m4?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_java.m4?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_javac.m4?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_javah.m4?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/Makefile.am.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Matrix.cc?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Matrix.defs.hh?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Matrix.inlines.hh?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Matrix.types.hh?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.cc?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.defs.hh?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.inlines.hh?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.types.hh?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_std_bits.cc?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.defs.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/Box.templates.hh.diff?cvsr... 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/C_Polyhedron.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.di... 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/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_Generator_System.cc.d... 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_widenings.cc.diff?cvs... 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.defs.hh.diff... 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/MIP_Problem.defs.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/NNC_Polyhedron.cc.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/NNC_Polyhedron.inlines.hh.... 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/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_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/Variables_Set.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variables_Set.defs.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variables_Set.inlines.hh.d... 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/globals.defs.hh.diff?cvsro... 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/mp_std_bits.defs.hh.diff?c... 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/swapping_sort.icc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.inlines.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.types.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.defs.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.inlines.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.types.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/FCAIBVP.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/FCAIBVP.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/FCAIBVP.inlines.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/boundedaffinepr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bounds1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/max_min1.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/max_min2.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/maxspacedim1.cc... 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/bdshull1.cc.dif... 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/foldspacedims1.... 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/maxspacedim.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/approximatepartitio... 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/powersetgeometrical... 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/disjoint1.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/intersection1.cc.di... 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/widening2.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/bounds1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/foldspac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/max_min1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/max_min2... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/maxspace... 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/boundeda... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/boundeda... 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/expandsp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/mapspace... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwit... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/maxspace... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linearpartiti... 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/polydifferenc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/variablesset1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/cm_cleaner.sh?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/cm_splitter.sh?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/Makefile.am.diff?cvsroot...