CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto@cs.unipr.it 2004-10-01 19:28:20
Modified files: . : NEWS TODO compile config.guess config.sub configure.ac install-sh ltmain.sh missing Watchdog : compile config.guess config.sub install-sh ltmain.sh missing demos/ppl_lcdd : Makefile.am expected ppl_lcdd.cc demos/ppl_lcdd/examples: Makefile.am README doc : README definitions.dox interfaces/C : ppl_c.cc ppl_c.h.in interfaces/Prolog: Prolog_interface.dox clpq.pl clpq2.pl expected expected2 pl_check.pl ppl_prolog.icc interfaces/Prolog/Ciao: ciao_clpq.pl ciao_clpq2.pl ciao_pl_check.pl ppl_ciao.pl interfaces/Prolog/GNU: ppl_gprolog.pl interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/XSB: expected expected2 ppl_xsb.H ppl_xsb.cc xsb_clpq.P xsb_clpq2.P xsb_pl_check.P interfaces/Prolog/YAP: ppl_yap.cc src : AskTell.defs.hh AskTell.inlines.hh BHRZ03_Certificate.cc BHRZ03_Certificate.defs.hh BHRZ03_Certificate.inlines.hh BoundingBox.defs.hh C_Polyhedron.cc C_Polyhedron.defs.hh ConSys.cc ConSys.defs.hh Constraint.defs.hh Determinate.defs.hh Determinate.inlines.hh GenSys.cc GenSys.defs.hh Generator.defs.hh H79_Certificate.cc H79_Certificate.defs.hh H79_Certificate.inlines.hh LinExpression.defs.hh Matrix.defs.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 Variable.defs.hh conversion.cc globals.defs.hh minimize.cc simplify.cc tests : CbecomesNNC1.cc Makefile.am addgenerators11.cc append1.cc append2.cc boundingbox1.cc boundingbox2.cc concatenate1.cc exceptions1.cc exceptions2.cc generators1.cc generators4.cc limitedh79extrapolation3.cc permute.cc polydifference1.cc polydifference9.cc Added files: demos/ppl_lcdd/examples: dcube10.ext dcube12.ext dcube3.ext dcube6.ext dcube8.ext tests : NNCbecomesC1.cc README addspacedims1.cc addspacedims10.cc addspacedims11.cc addspacedims12.cc addspacedims13.cc addspacedims2.cc addspacedims3.cc addspacedims4.cc addspacedims5.cc addspacedims6.cc addspacedims7.cc addspacedims8.cc addspacedims9.cc expandspacedim1.cc expandspacedim2.cc foldspacedims1.cc foldspacedims2.cc mapspacedims1.cc mapspacedims2.cc mapspacedims3.cc removespacedims1.cc removespacedims10.cc removespacedims2.cc removespacedims3.cc removespacedims4.cc removespacedims5.cc removespacedims6.cc removespacedims7.cc removespacedims8.cc removespacedims9.cc Removed files: tests : adddimensions1.cc adddimensions10.cc adddimensions11.cc adddimensions12.cc adddimensions13.cc adddimensions2.cc adddimensions3.cc adddimensions4.cc adddimensions5.cc adddimensions6.cc adddimensions7.cc adddimensions8.cc adddimensions9.cc expanddim1.cc expanddim2.cc folddims1.cc folddims2.cc mapdim1.cc mapdim2.cc mapdim3.cc removedim1.cc removedim10.cc removedim2.cc removedim3.cc removedim4.cc removedim5.cc removedim6.cc removedim7.cc removedim8.cc removedim9.cc
Log message: Third merge from main trunk.
Patches: 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/compile.diff?cvsroot=ppl&o... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/install-sh.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/missing.diff?cvsroot=ppl&o... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/compile.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/install-sh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ltmain.sh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/missing.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/dcube1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/dcube1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/dcube3... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/dcube6... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/dcube8... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/Makefi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/README... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inter... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq.pl.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected2.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl.... 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/ciao_cl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_cl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_pl... 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/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/SWI/ppl_swip... 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/XSB/ppl_xsb.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clpq... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clpq... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?cv... 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/BHRZ03_Certificate.inlines... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.defs.hh.diff?c... 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/ConSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroo... 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/Determinate.defs.hh.diff?c... 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/GenSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroo... 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/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/H79_Certificate.inlines.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.diff... 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/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/Variable.defs.hh.diff?cvsr... 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/simplify.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCbecomesC1.cc?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/README?cvsroot=ppl&o... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims1.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims10.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims11.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims12.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims13.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims2.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims3.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims4.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims5.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims6.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims7.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims8.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims9.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/expandspacedim1.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/expandspacedim2.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/foldspacedims1.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/foldspacedims2.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapspacedims1.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapspacedims2.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapspacedims3.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims10.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims2.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims3.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims4.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims5.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims6.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims7.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims8.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims9.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/CbecomesNNC1.cc.diff?cvs... 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/addgenerators11.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append1.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append2.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/concatenate1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators1.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators4.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79extrapolation3... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference9.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions1.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions10.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions11.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions12.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions13.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions2.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions3.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions4.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions5.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions6.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions7.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions8.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions9.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/expanddim1.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/expanddim2.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/folddims1.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/folddims2.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapdim1.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapdim2.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapdim3.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim1.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim10.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim2.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim3.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim4.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim5.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim6.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim7.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim8.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim9.cc.diff?cvsro...