CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-09-28 21:04:30

Modified files: . : CREDITS ChangeLog Makefile.am NEWS STANDARDS TODO configure.ac Watchdog : .cvsignore ChangeLog Makefile.am configure.ac Watchdog/utils : Makefile.am demos/ppl_lcdd : ppl_lcdd.cc doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in user-browse.doxyconf-latex.in user-print.doxyconf-latex.in user.doxyconf-html.in interfaces/C : ppl_c.cc interfaces/Prolog: exceptions.hh ppl_prolog.icc interfaces/Prolog/Ciao: Makefile.am ppl_ciao.cc interfaces/Prolog/GNU: Makefile.am ppl_gprolog_sd.cc interfaces/Prolog/SICStus: Makefile.am ppl_sicstus_sd.cc interfaces/Prolog/SWI: Makefile.am ppl_swiprolog.cc interfaces/Prolog/XSB: Makefile.am expected3_int16 expected3_int16_a expected3_int32 expected3_int8 ppl_xsb.cc interfaces/Prolog/YAP: Makefile.am ppl_yap.cc interfaces/Prolog/tests: expected_pchk_int16 expected_pchk_int16_a expected_pchk_int32 expected_pchk_int32_a expected_pchk_int64_a expected_pchk_int8 expected_pchk_int8_a pl_check.pl m4 : ac_check_swi_prolog.m4 src : Ask_Tell.defs.hh BD_Shape.defs.hh BD_Shape.inlines.hh BHRZ03_Certificate.cc BHRZ03_Certificate.defs.hh Bounding_Box.defs.hh Bounding_Box.inlines.hh Checked_Number.defs.hh Checked_Number.inlines.hh Checked_Number.types.hh Coefficient.types.hh Constraint.defs.hh Constraint_System.cc Constraint_System.defs.hh Constraint_System.inlines.hh DB_Row.defs.hh Determinate.defs.hh GMP_Integer.defs.hh GMP_Integer.inlines.hh GMP_Integer.types.hh Generator.defs.hh Generator_System.cc H79_Certificate.cc H79_Certificate.defs.hh Init.cc Linear_Expression.defs.hh Linear_Row.cc Linear_Row.defs.hh Linear_Row.inlines.hh Linear_System.cc Linear_System.defs.hh Makefile.am Matrix.cc Matrix.inlines.hh Native_Integer.defs.hh Native_Integer.inlines.hh Native_Integer.types.hh Polyhedra_Powerset.defs.hh Polyhedra_Powerset.inlines.hh Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_chdims.cc Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc Row.cc Row.defs.hh Saturation_Matrix.cc Saturation_Row.cc Saturation_Row.defs.hh Saturation_Row.inlines.hh Variable.defs.hh algorithms.hh checked.cc checked.defs.hh checked.inlines.hh checked_ext.inlines.hh checked_float.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh checked_numeric_limits.hh conversion.cc globals.defs.hh globals.inlines.hh simplex.cc tests : Makefile.am ppl_test.hh tests/BD_Shape : Makefile.am maxspacedim.cc tests/Polyhedron: Makefile.am addspacedims3.cc affineimage6.cc bhz03widening1.cc bhz03widening2.cc bhz03widening3.cc bhz03widening6.cc exceptions1.cc geomcovers1.cc utils : Makefile.am Added files: . : instchk.hh Watchdog/utils : build_header.in src : Polyhedra_Powerset.cc globals.types.hh mp_numeric_limits.hh scalar_products.cc scalar_products.defs.hh scalar_products.inlines.hh tests : Random_Number_Generator.defs.hh Random_Number_Generator.inlines.hh Random_Number_Generator.types.hh tests/BD_Shape : geomcovers1.cc tests/Polyhedron: gramschmidt1.cc linearsystem1.cc matrix1.cc numberinput1.cc utils : build_header.in text2cxxarray.in Removed files: Watchdog : Doubly_Linked_Object.defs.hh Doubly_Linked_Object.inlines.hh Doubly_Linked_Object.types.hh EList.defs.hh EList.inlines.hh EList.types.hh EList_Iterator.defs.hh EList_Iterator.inlines.hh EList_Iterator.types.hh Handler.defs.hh Handler.inlines.hh Handler.types.hh Pending_Element.cc Pending_Element.defs.hh Pending_Element.inlines.hh Pending_Element.types.hh Pending_List.cc Pending_List.defs.hh Pending_List.inlines.hh Pending_List.types.hh Time.cc Time.defs.hh Time.inlines.hh Time.types.hh Watchdog.cc Watchdog.defs.hh Watchdog.inlines.hh Watchdog.types.hh pwl_header.hh Watchdog/utils : build_header tests/Polyhedron: gramshmidt1.cc utils : build_header text2cxxarray

Log message: Fourth merge from the main trunk.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/instchk.hh?cvsroot=ppl&onl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&o... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&... 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/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/configure.ac.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/.cvsignore.diff?cvsro... 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/Makefile.am.diff?cvsr... 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/Doubly_Linked_Object.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Doubly_Linked_Object.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Doubly_Linked_Object.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/EList.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/EList.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/EList.types.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/EList_Iterator.defs.h... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/EList_Iterator.inline... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/EList_Iterator.types.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Handler.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Handler.inlines.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Handler.types.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_Element.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_Element.defs.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_Element.inlin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_Element.types... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_List.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_List.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_List.inlines.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_List.types.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Time.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Time.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Time.inlines.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Time.types.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.defs.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.inlines.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.types.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/pwl_header.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/utils/build_header.in... 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/Watchdog/utils/build_header.di... 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/doc/devref-browse.doxyconf-lat... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-late... 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/user-browse.doxyconf-latex... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-print.doxyconf-latex.... 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/interfaces/C/ppl_c.cc.diff?cvs... 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_prolog.i... 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/Makefile... 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/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/ppl_swip... 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/XSB/expected... 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/XSB/expected... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.... 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_yap.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_che... 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/Polyhedra_Powerset.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.types.hh?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_numeric_limits.hh?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.defs.hh?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/Ask_Tell.defs.hh.diff?cvsr... 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/BHRZ03_Certificate.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.defs.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.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/Checked_Number.inlines.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.types.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.types.hh.diff?... 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_System.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh.... 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_Row.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.types.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.defs.hh.di... 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/Linear_Expression.defs.hh.... 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/Linear_Row.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.inlines.hh.diff... 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/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/Matrix.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.defs.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.inlines.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.types.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inlines... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_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/Row.cc.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=p... 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_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/Variable.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroot... 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.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_numeric_limits.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/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/globals.inlines.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Random_Number_Generator.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Random_Number_Generator.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Random_Number_Generator.... 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/ppl_test.hh.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/geomcovers1.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/maxspacedim.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/gramschmidt1.... 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/matrix1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1.... 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/addspacedims3... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affineimage6.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/exceptions1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/geomcovers1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/gramshmidt1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/build_header.in?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/text2cxxarray.in?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/Makefile.am.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/build_header.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/text2cxxarray.diff?cvsro...