[PPL-devel] ppl ./BUGS ./ChangeLog ./Makefile.am ./NEWS ./ ...

Mon May 8 19:16:01 CEST 2006

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	simplex
Changes by:	bagnara at cs.unipr.it	2006-05-08 19:16:01

Modified files:
	.              : BUGS ChangeLog Makefile.am NEWS README 
	                 README.configure STANDARDS TODO config.guess 
	                 config.sub configure.ac instchk.hh ppl.lsm.in 
	                 ppl.spec.in 
	Watchdog       : CREDITS ChangeLog Makefile.am NEWS README 
	                 config.guess config.sub 
	Watchdog/src   : .cvsignore Makefile.am Watchdog.cc 
	Watchdog/utils : .cvsignore Makefile.am 
	debian         : .cvsignore changelog control libppl-dev.install 
	                 libppl-pwl.copyright.in libppl-pwl.install 
	                 libppl.copyright.in libppl.dirs libppl.install 
	                 rules 
	demos          : Makefile.am 
	demos/ppl_lcdd : Makefile.am ppl_lcdd.cc 
	demos/ppl_lcdd/examples: Makefile.am 
	demos/ppl_lpsol: Makefile.am expected_int16 expected_int16_a 
	                 expected_int32 expected_int32_a expected_int64 
	                 expected_int64_a expected_int8 expected_int8_a 
	                 expected_mpz expected_mpz_a 
	demos/ppl_lpsol/examples: Makefile.am 
	doc            : .cvsignore Makefile.am README.doc 
	                 definitions.dox devref.doxyconf-html.in 
	                 devref.doxyconf-latex.in devref.tex ppl.sty 
	                 user.doxyconf-html.in user.doxyconf-latex.in 
	                 user.tex 
	interfaces     : Makefile.am 
	interfaces/C   : Makefile.am ppl_c.cc ppl_c.h.in 
	interfaces/OCaml: Makefile.am 
	interfaces/Prolog: Makefile.am Prolog_interface.dox 
	                   ppl_prolog.icc 
	interfaces/Prolog/Ciao: Makefile.am ciao_clpq.pl ciao_clpq2.pl 
	                        ciao_pl_check.pl ppl_ciao.cc ppl_ciao.pl 
	interfaces/Prolog/GNU: Makefile.am README gnu_pl_check.pl 
	                       ppl_gprolog.pl ppl_gprolog_sd.cc 
	interfaces/Prolog/SICStus: .cvsignore Makefile.am 
	                           ppl_sicstus_sd.cc sp_pl_check.pl 
	interfaces/Prolog/SWI: Makefile.am ppl_swiprolog.cc 
	                       swi_pl_check.pl 
	interfaces/Prolog/XSB: Makefile.am 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 ppl_xsb.H ppl_xsb.cc 
	                       xsb_clpq.P xsb_clpq2.P xsb_pl_check.P 
	interfaces/Prolog/YAP: Makefile.am ppl_yap.cc yap_pl_check.pl 
	interfaces/Prolog/tests: Makefile.am clpq.pl clpq2.pl 
	                         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             : Makefile.am ac_check_swi_prolog.m4 ppl.m4 
	src            : .cvsignore BDS_Status.idefs.hh 
	                 BDS_Status.inlines.hh BD_Shape.defs.hh 
	                 BD_Shape.inlines.hh BHRZ03_Certificate.defs.hh 
	                 Bounding_Box.defs.hh C_Polyhedron.cc 
	                 C_Polyhedron.defs.hh C_Polyhedron.inlines.hh 
	                 Checked_Number.defs.hh 
	                 Checked_Number.inlines.hh Coefficient.types.hh 
	                 Coefficient_traits_template.hh Constraint.cc 
	                 Constraint.defs.hh Constraint.inlines.hh 
	                 Constraint_System.cc Constraint_System.defs.hh 
	                 DB_Matrix.defs.hh DB_Matrix.inlines.hh 
	                 DB_Row.defs.hh DB_Row.inlines.hh 
	                 Determinate.defs.hh Determinate.inlines.hh 
	                 Float.cc Float.defs.hh Float.inlines.hh 
	                 GMP_Integer.defs.hh GMP_Integer.inlines.hh 
	                 GMP_Integer.types.hh Generator.cc 
	                 Generator.defs.hh Generator.inlines.hh 
	                 Generator_System.cc Generator_System.defs.hh 
	                 H79_Certificate.defs.hh 
	                 H79_Certificate.inlines.hh Init.cc Init.defs.hh 
	                 Interval.defs.hh LP_Problem.cc 
	                 LP_Problem.types.hh Linear_Expression.cc 
	                 Linear_Expression.defs.hh 
	                 Linear_Expression.inlines.hh Linear_Row.cc 
	                 Linear_Row.defs.hh Linear_Row.inlines.hh 
	                 Linear_System.cc Linear_System.defs.hh 
	                 Makefile.am Matrix.cc Matrix.defs.hh 
	                 Matrix.inlines.hh NNC_Polyhedron.cc 
	                 NNC_Polyhedron.defs.hh 
	                 NNC_Polyhedron.inlines.hh Ph_Status.cc 
	                 Ph_Status.idefs.hh Poly_Con_Relation.cc 
	                 Poly_Con_Relation.defs.hh Poly_Gen_Relation.cc 
	                 Poly_Gen_Relation.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 Powerset.defs.hh 
	                 Powerset.inlines.hh Powerset.types.hh 
	                 Ptr_Iterator.defs.hh Ptr_Iterator.inlines.hh 
	                 Result.defs.hh Rounding_Dir.defs.hh Row.cc 
	                 Row.defs.hh Saturation_Matrix.cc 
	                 Saturation_Matrix.defs.hh 
	                 Saturation_Matrix.inlines.hh Saturation_Row.cc 
	                 Saturation_Row.defs.hh Scalar_Products.cc 
	                 Scalar_Products.defs.hh 
	                 Scalar_Products.inlines.hh 
	                 Scalar_Products.types.hh Topology.hh 
	                 Variable.defs.hh Widening_Function.defs.hh 
	                 checked.cc checked.defs.hh checked.inlines.hh 
	                 checked_ext.defs.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 compiler.hh 
	                 fpu-c99.inlines.hh fpu-ia32.inlines.hh 
	                 fpu-none.inlines.hh fpu.defs.hh globals.defs.hh 
	                 globals.types.hh mp_numeric_limits.hh 
	                 namespaces.hh ppl-config.cc.in version.hh.in 
	tests          : Makefile.am Random_Number_Generator.defs.hh 
	                 Random_Number_Generator.inlines.hh ppl_test.hh 
	                 print.cc print.hh 
	tests/BD_Shape : Makefile.am addconstraints1.cc addspacedims1.cc 
	                 affinedimension1.cc affineimage1.cc 
	                 affineimage2.cc affinepreimage1.cc 
	                 affinepreimage2.cc ascii_dump_load1.cc 
	                 bdsdifference1.cc bdshull1.cc 
	                 bgp99extrapolation1.cc bhmz05widening1.cc 
	                 bhz03widening1.cc cc76extrapolation1.cc 
	                 cc76narrowing1.cc closure1.cc concatenate1.cc 
	                 constraints1.cc contains1.cc empty1.cc 
	                 equality1.cc fromgensys1.cc 
	                 generalizedaffineimage1.cc 
	                 generalizedaffineimage2.cc 
	                 generalizedaffinepreimage1.cc 
	                 generalizedaffinepreimage2.cc geomcovers1.cc 
	                 h79widening1.cc intersection1.cc 
	                 limitedbhmz05extrapolation1.cc 
	                 limitedcc76extrapolation1.cc 
	                 limitedh79extrapolation1.cc mapspacedims1.cc 
	                 maxspacedim.cc minconstraints1.cc relations1.cc 
	                 relations2.cc relations3.cc removespacedims1.cc 
	                 run_tests timeelapse1.cc universe1.cc 
	                 writebdshape1.cc 
	tests/Polyhedron: Makefile.am addconstraint1.cc 
	                  addconstraints1.cc addconstraints2.cc 
	                  addgenerator1.cc addgenerator2.cc 
	                  addgenerators1.cc addgenerators2.cc 
	                  addspacedims1.cc addspacedims2.cc 
	                  affineimage1.cc affineimage2.cc 
	                  affinepreimage1.cc affinetrans.cc append1.cc 
	                  ascii_dump_load1.cc ascii_dump_load2.cc 
	                  ascii_dump_load3.cc bgp99extrapolation1.cc 
	                  bhrz03widening1.cc bhrz03widening2.cc 
	                  bhrz03widening3.cc bhz03widening1.cc 
	                  bounded1.cc boundedaffineimage1.cc 
	                  boundedaffinepreimage1.cc 
	                  boundedbhrz03extrapolation1.cc 
	                  boundedh79extrapolation1.cc boundingbox1.cc 
	                  boundingbox2.cc boundingbox3.cc bounds1.cc 
	                  bug2.cc concatenate1.cc constraints1.cc 
	                  contains1.cc contains2.cc disjoint1.cc 
	                  disjoint2.cc dualhypercubes.cc empty1.cc 
	                  equals1.cc expandspacedim1.cc 
	                  expandspacedim2.cc foldspacedims1.cc 
	                  foldspacedims2.cc generalizedaffineimage1.cc 
	                  generalizedaffineimage2.cc 
	                  generalizedaffinepreimage1.cc 
	                  generalizedaffinepreimage2.cc generators1.cc 
	                  geomcovers1.cc h79widening1.cc h79widening2.cc 
	                  intersection1.cc limitedh79extrapolation1.cc 
	                  linearpartition1.cc linearsystem1.cc 
	                  linexpression1.cc lpproblem1.cc 
	                  mapspacedims1.cc max_min1.cc maxspacedim1.cc 
	                  mc91.cc memory1.cc minconstraints1.cc 
	                  minconstraints2.cc mingenerators1.cc 
	                  mingenerators2.cc numberinput1.cc onepoint.cc 
	                  polydifference1.cc polydifference2.cc 
	                  polyhull1.cc polyhull2.cc polypowerset1.cc 
	                  powerset1.cc randphull1.cc relations1.cc 
	                  relations2.cc relations3.cc 
	                  removespacedims1.cc removespacedims2.cc 
	                  timeelapse1.cc timeelapse2.cc topclosed1.cc 
	                  topclosure1.cc universe1.cc universe2.cc 
	                  watchdog1.cc writeconsys1.cc writegensys1.cc 
	                  writepolyhedron1.cc writepolyhedron2.cc 
	                  writerelation1.cc 
	utils          : .cvsignore Makefile.am 
Added files:
	debian         : Makefile.am README 
	doc            : ppl-config.1 ppl_lcdd.1 ppl_lpsol.1 
	m4             : ac_check_fpu_control.m4 
	                 ac_cxx_double_binary_format.m4 
	                 ac_cxx_float_binary_format.m4 
	                 ac_cxx_long_double_binary_format.m4 
	                 ac_text_md5sum.m4 
	src            : BD_Shape.templates.hh Congruence.cc 
	                 Congruence.defs.hh Congruence.inlines.hh 
	                 Congruence.types.hh Congruence_System.cc 
	                 Congruence_System.defs.hh 
	                 Congruence_System.inlines.hh 
	                 Congruence_System.types.hh 
	                 DB_Matrix.templates.hh DB_Row.templates.hh 
	                 Grid.defs.hh Grid.inlines.hh Grid.templates.hh 
	                 Grid.types.hh Grid_Certificate.cc 
	                 Grid_Certificate.defs.hh 
	                 Grid_Certificate.inlines.hh 
	                 Grid_Certificate.types.hh Grid_Generator.cc 
	                 Grid_Generator.defs.hh 
	                 Grid_Generator.inlines.hh 
	                 Grid_Generator.types.hh 
	                 Grid_Generator_System.cc 
	                 Grid_Generator_System.defs.hh 
	                 Grid_Generator_System.inlines.hh 
	                 Grid_Generator_System.types.hh Grid_Status.cc 
	                 Grid_Status.idefs.hh Grid_Status.inlines.hh 
	                 Grid_chdims.cc Grid_conversion.cc 
	                 Grid_nonpublic.cc Grid_public.cc 
	                 Grid_simplify.cc Grid_widenings.cc 
	                 Polyhedra_Powerset.templates.hh 
	                 Polyhedron.templates.hh Powerset.templates.hh 
	                 fpu-sparc.inlines.hh fpu.types.hh 
	tests          : Partial_Function.cc Partial_Function.defs.hh 
	                 Partial_Function.inlines.hh 
	                 Partial_Function.types.hh ppl_test.cc 
	                 valgrind_suppressions 
	tests/BD_Shape : bounded1.cc frompolyhedron1.cc 
	tests/Grid     : .cvsignore Makefile.am addcongruence1.cc 
	                 addcongruences1.cc addconstraint1.cc 
	                 addconstraints1.cc addgenerator1.cc 
	                 addgenerators1.cc addspacedims1.cc 
	                 affinedim1.cc affineimage1.cc affineimage2.cc 
	                 affinepreimage1.cc affinepreimage2.cc 
	                 asciidumpload1.cc asciidumpload2.cc 
	                 bhz03widening1.cc bounded1.cc boundingbox1.cc 
	                 boundingbox2.cc bounds1.cc certificate1.cc 
	                 concatenate1.cc congruence1.cc congruences1.cc 
	                 congruences2.cc contains1.cc copyconstruct1.cc 
	                 coveringbox1.cc coveringbox2.cc discrete1.cc 
	                 disjoint1.cc equals1.cc expandspacedim1.cc 
	                 foldspacedims1.cc generalizedaffineimage1.cc 
	                 generalizedaffineimage2.cc 
	                 generalizedaffinepreimage1.cc 
	                 generalizedaffinepreimage2.cc generator1.cc 
	                 generators1.cc grid1.cc grid2.cc grid3.cc 
	                 griddifference1.cc intersection1.cc isempty1.cc 
	                 isuniverse1.cc join1.cc join2.cc 
	                 limitedextrapolation1.cc 
	                 limitedextrapolation2.cc 
	                 limitedextrapolation3.cc mapspacedims1.cc 
	                 maxmin1.cc membytes1.cc mincongruences1.cc 
	                 mingenerators1.cc outputoperator1.cc 
	                 relations1.cc relations2.cc removespacedims1.cc 
	                 removespacedims2.cc timeelapse1.cc 
	                 topclosed1.cc topclosure1.cc widening1.cc 
	                 widening2.cc widening3.cc 
	                 writecongruencesystem.cc 
	tests/Polyhedron: addcongruence1.cc addcongruences1.cc 
	                  cnncconversion1.cc congruences1.cc 
	                  nncminimize1.cc nncminimize2.cc 
Removed files:
	debian         : libppl-gprolog.links libppl-sicstus.links 
	                 libppl-swi.links libppl-yap.links 
	m4             : ac_cxx_double_is_iec_559.m4 
	                 ac_cxx_float_is_iec_559.m4 
	                 ac_cxx_long_double.m4 
	                 ac_cxx_long_double_is_iec_559.m4 
	                 ac_cxx_long_long.m4 
	src            : float.types.hh 
	tests          : PFunction.cc PFunction.hh ehandlers.cc 
	                 ehandlers.hh 
	tests/BD_Shape : addspacedims2.cc addspacedims3.cc 
	                 addspacedims4.cc addspacedims5.cc 
	                 addspacedims6.cc addspacedims7.cc 
	                 affineimage10.cc affineimage3.cc 
	                 affineimage4.cc affineimage5.cc affineimage6.cc 
	                 affineimage7.cc affineimage8.cc affineimage9.cc 
	                 affinepreimage3.cc affinepreimage4.cc 
	                 affinepreimage5.cc ascii_dump_load2.cc 
	                 bdsdifference2.cc bdsdifference3.cc 
	                 bdsdifference4.cc bdsdifference5.cc 
	                 bdsdifference6.cc bdsdifference7.cc bdshull2.cc 
	                 bdshull3.cc bdshull4.cc bhmz05widening2.cc 
	                 bhmz05widening3.cc bhmz05widening4.cc 
	                 bhmz05widening5.cc bhmz05widening6.cc 
	                 bhmz05widening7.cc bhmz05widening8.cc 
	                 cc76extrapolation2.cc cc76extrapolation3.cc 
	                 cc76extrapolation4.cc cc76extrapolation5.cc 
	                 cc76extrapolation6.cc cc76narrowing2.cc 
	                 cc76narrowing3.cc cc76narrowing4.cc 
	                 cc76narrowing5.cc concatenate2.cc 
	                 concatenate3.cc concatenate4.cc concatenate5.cc 
	                 constraints2.cc contains2.cc contains3.cc 
	                 empty2.cc empty3.cc empty4.cc empty5.cc 
	                 exceptions1.cc exceptions2.cc exceptions3.cc 
	                 generalizedaffineimage10.cc 
	                 generalizedaffineimage11.cc 
	                 generalizedaffineimage12.cc 
	                 generalizedaffineimage13.cc 
	                 generalizedaffineimage14.cc 
	                 generalizedaffineimage3.cc 
	                 generalizedaffineimage4.cc 
	                 generalizedaffineimage5.cc 
	                 generalizedaffineimage6.cc 
	                 generalizedaffineimage7.cc 
	                 generalizedaffineimage8.cc 
	                 generalizedaffineimage9.cc intersection2.cc 
	                 intersection3.cc intersection4.cc 
	                 intersection5.cc intersection6.cc 
	                 intersection7.cc intersection8.cc 
	                 limitedbhmz05extrapolation2.cc 
	                 limitedbhmz05extrapolation3.cc 
	                 limitedbhmz05extrapolation4.cc 
	                 limitedbhmz05extrapolation5.cc 
	                 limitedbhmz05extrapolation6.cc 
	                 limitedbhmz05extrapolation7.cc 
	                 limitedbhmz05extrapolation8.cc 
	                 limitedbhmz05extrapolation9.cc 
	                 limitedcc76extrapolation2.cc 
	                 limitedcc76extrapolation3.cc mapspacedims2.cc 
	                 mapspacedims3.cc mapspacedims4.cc relations4.cc 
	                 relations5.cc removespacedims2.cc 
	                 removespacedims3.cc timeelapse2.cc 
	                 timeelapse3.cc timeelapse4.cc timeelapse5.cc 
	                 writebdshape2.cc 
	tests/Polyhedron: CbecomesNNC1.cc LP_Problem3.cc NNCbecomesC1.cc 
	                  NNCminimize1.cc NNCminimize2.cc 
	                  NNCminimize3.cc NNCminimize4.cc 
	                  NNCminimize5.cc NNCminimize6.cc 
	                  addconstraint2.cc addconstraint3.cc 
	                  addconstraints10.cc addconstraints11.cc 
	                  addconstraints12.cc addconstraints13.cc 
	                  addconstraints3.cc addconstraints4.cc 
	                  addconstraints5.cc addconstraints6.cc 
	                  addconstraints7.cc addconstraints8.cc 
	                  addconstraints9.cc addgenerator3.cc 
	                  addgenerator4.cc addgenerator5.cc 
	                  addgenerators10.cc addgenerators11.cc 
	                  addgenerators12.cc addgenerators13.cc 
	                  addgenerators3.cc addgenerators4.cc 
	                  addgenerators5.cc addgenerators6.cc 
	                  addgenerators7.cc addgenerators8.cc 
	                  addgenerators9.cc addspacedims10.cc 
	                  addspacedims11.cc addspacedims12.cc 
	                  addspacedims13.cc addspacedims3.cc 
	                  addspacedims4.cc addspacedims5.cc 
	                  addspacedims6.cc addspacedims7.cc 
	                  addspacedims8.cc addspacedims9.cc 
	                  affineimage3.cc affineimage4.cc 
	                  affineimage5.cc affineimage6.cc 
	                  affineimage7.cc affineimage8.cc 
	                  affineimage9.cc affinepreimage10.cc 
	                  affinepreimage11.cc affinepreimage2.cc 
	                  affinepreimage3.cc affinepreimage4.cc 
	                  affinepreimage5.cc affinepreimage6.cc 
	                  affinepreimage7.cc affinepreimage8.cc 
	                  affinepreimage9.cc ascii_dump_load4.cc 
	                  ascii_dump_load5.cc ascii_dump_load6.cc 
	                  ascii_dump_load7.cc bgp99extrapolation2.cc 
	                  bhrz03widening10.cc bhrz03widening11.cc 
	                  bhrz03widening12.cc bhrz03widening13.cc 
	                  bhrz03widening14.cc bhrz03widening15.cc 
	                  bhrz03widening16.cc bhrz03widening17.cc 
	                  bhrz03widening18.cc bhrz03widening19.cc 
	                  bhrz03widening4.cc bhrz03widening5.cc 
	                  bhrz03widening6.cc bhrz03widening7.cc 
	                  bhrz03widening8.cc bhrz03widening9.cc 
	                  bhz03widening2.cc bhz03widening3.cc 
	                  bhz03widening4.cc bhz03widening5.cc 
	                  bhz03widening6.cc boundedaffineimage2.cc 
	                  boundedaffineimage3.cc 
	                  boundedaffinepreimage2.cc 
	                  boundedaffinepreimage3.cc boundingbox4.cc 
	                  boundingbox5.cc bounds2.cc concatenate2.cc 
	                  concatenate3.cc concatenate4.cc 
	                  concatenate5.cc concatenate6.cc 
	                  concatenate7.cc constraints2.cc 
	                  constraints3.cc constraints4.cc 
	                  constraints5.cc contains3.cc contains4.cc 
	                  contains5.cc disjoint3.cc 
	                  generalizedaffineimage10.cc 
	                  generalizedaffineimage11.cc 
	                  generalizedaffineimage12.cc 
	                  generalizedaffineimage13.cc 
	                  generalizedaffineimage14.cc 
	                  generalizedaffineimage3.cc 
	                  generalizedaffineimage4.cc 
	                  generalizedaffineimage5.cc 
	                  generalizedaffineimage6.cc 
	                  generalizedaffineimage7.cc 
	                  generalizedaffineimage8.cc 
	                  generalizedaffineimage9.cc 
	                  generalizedaffinepreimage3.cc 
	                  generalizedaffinepreimage4.cc generators2.cc 
	                  generators3.cc generators4.cc generators5.cc 
	                  generators6.cc generators7.cc gramschmidt1.cc 
	                  h79widening3.cc h79widening4.cc 
	                  h79widening5.cc h79widening6.cc 
	                  h79widening7.cc h79widening8.cc 
	                  intersection10.cc intersection11.cc 
	                  intersection2.cc intersection3.cc 
	                  intersection4.cc intersection5.cc 
	                  intersection6.cc intersection7.cc 
	                  intersection8.cc intersection9.cc 
	                  limitedh79extrapolation2.cc 
	                  limitedh79extrapolation3.cc 
	                  limitedh79extrapolation4.cc 
	                  linearpartition2.cc linearpartition3.cc 
	                  linearpartition4.cc lpproblem2.cc 
	                  mapspacedims2.cc mapspacedims3.cc 
	                  mapspacedims4.cc max_min2.cc 
	                  minconstraints3.cc minconstraints4.cc 
	                  mingenerators3.cc polydifference3.cc 
	                  polydifference4.cc polydifference5.cc 
	                  polydifference6.cc polydifference7.cc 
	                  polydifference8.cc polydifference9.cc 
	                  polyhull10.cc polyhull11.cc polyhull3.cc 
	                  polyhull4.cc polyhull5.cc polyhull6.cc 
	                  polyhull7.cc polyhull8.cc polyhull9.cc 
	                  relations10.cc relations11.cc relations12.cc 
	                  relations13.cc relations14.cc relations15.cc 
	                  relations16.cc relations17.cc relations18.cc 
	                  relations19.cc relations4.cc relations5.cc 
	                  relations6.cc relations7.cc relations8.cc 
	                  relations9.cc removespacedims10.cc 
	                  removespacedims3.cc removespacedims4.cc 
	                  removespacedims5.cc removespacedims6.cc 
	                  removespacedims7.cc removespacedims8.cc 
	                  removespacedims9.cc timeelapse3.cc 
	                  timeelapse4.cc timeelapse5.cc timeelapse6.cc 
	                  timeelapse7.cc timeelapse8.cc timeelapse9.cc 
	                  topclosed2.cc topclosed3.cc topclosure2.cc 
	                  topclosure3.cc topclosure4.cc universe3.cc 
	                  universe4.cc universe5.cc universe6.cc 
	                  universe7.cc valgrind_suppressions 
	                  writegensys2.cc writegensys3.cc 
	                  writepolyhedron3.cc 

Log message:
	Second merge from main trunk.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/BUGS.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4&r2=1.4.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.21.2.1&r2=1.21.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.34.2.1&r2=1.34.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.164.2.1&r2=1.164.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.37.2.1&r2=1.37.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.15.2.1&r2=1.15.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.25.2.1&r2=1.25.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.161.2.4&r2=1.161.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.33.2.1&r2=1.33.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.31.2.1&r2=1.31.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.197.2.1&r2=1.197.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/instchk.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=1.2.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.lsm.in.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6&r2=1.6.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.26&r2=1.26.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/CREDITS.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1&r2=1.1.20.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.11.2.1&r2=1.11.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.23.2.1&r2=1.23.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/NEWS.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5&r2=1.5.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/README.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.11.2.1&r2=1.11.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.17.2.1&r2=1.17.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.16.2.1&r2=1.16.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/.cvsignore.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1&r2=1.1.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Watchdog.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/utils/.cvsignore.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1&r2=1.1.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/utils/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/Makefile.am?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/README?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/.cvsignore.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1&r2=1.1.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/changelog.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1&r2=1.1.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/control.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7&r2=1.7.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.install.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1&r2=1.1.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-pwl.copyright.in.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-pwl.install.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1&r2=1.1.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.copyright.in.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.dirs.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2&r2=1.2.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.install.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3&r2=1.3.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/rules.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4&r2=1.4.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-gprolog.links.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-sicstus.links.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-swi.links.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-yap.links.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.20.2.1&r2=1.20.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.48.2.1&r2=1.48.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.14.2.1&r2=1.14.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int16.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int16_a.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int32.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int32_a.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int64.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int64_a.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int8.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int8_a.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz_a.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/examples/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl-config.1?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lcdd.1?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lpsol.1?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/.cvsignore.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2&r2=1.2.18.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.37.2.1&r2=1.37.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.177.2.1&r2=1.177.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.60.2.2&r2=1.60.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.18.2.1&r2=1.18.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.23.2.1&r2=1.23.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.31.2.1&r2=1.31.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.19.2.1&r2=1.19.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.11.2.1&r2=1.11.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.19.2.1&r2=1.19.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.140.2.4&r2=1.140.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.55.2.4&r2=1.55.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.10.2.1&r2=1.10.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.28.2.1&r2=1.28.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.135.2.3&r2=1.135.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.164.2.3&r2=1.164.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.46.2.1&r2=1.46.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_clpq.pl.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.15.2.1&r2=1.15.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_clpq2.pl.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.11.2.1&r2=1.11.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_pl_check.pl.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.14.2.1&r2=1.14.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.36.2.1&r2=1.36.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.pl.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.82.2.1&r2=1.82.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.49.2.1&r2=1.49.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/README.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1&r2=1.1.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gnu_pl_check.pl.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.54.2.1&r2=1.54.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog_sd.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.31.2.1&r2=1.31.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/.cvsignore.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5&r2=1.5.10.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.57.2.1&r2=1.57.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_sicstus_sd.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.81.2.1&r2=1.81.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_pl_check.pl.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.54.2.1&r2=1.54.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swiprolog.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.105.2.2&r2=1.105.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pl_check.pl.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.38.2.1&r2=1.38.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_pchk_int16.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=1.2.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_pchk_int16_a.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=1.2.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_pchk_int32.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=1.2.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_pchk_int32_a.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=1.2.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_pchk_int64_a.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2&r2=1.2.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_pchk_int8.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_pchk_int8_a.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=1.2.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.H.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.42.2.1&r2=1.42.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.72.2.1&r2=1.72.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clpq.P.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.14.2.1&r2=1.14.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clpq2.P.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.12.2.1&r2=1.12.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_check.P.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.19.2.1&r2=1.19.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.40.2.1&r2=1.40.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.99.2.1&r2=1.99.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_pl_check.pl.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.8.2.1&r2=1.8.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/clpq.pl.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/clpq2.pl.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_pchk_int16.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_pchk_int16_a.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_pchk_int32.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_pchk_int32_a.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_pchk_int64_a.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_pchk_int8.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_pchk_int8_a.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_check.pl.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.12.2.2&r2=1.12.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_fpu_control.m4?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_binary_format.m4?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float_binary_format.m4?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_binary_format.m4?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_text_md5sum.m4?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.14.2.1&r2=1.14.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_swi_prolog.m4.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ppl.m4.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_is_iec_559.m4.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float_is_iec_559.m4.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double.m4.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_is_iec_559.m4.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_long.m4.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.types.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.inlines.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.types.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.templates.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.templates.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.types.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.defs.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.inlines.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.types.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.inlines.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.types.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.defs.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.inlines.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.types.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Status.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Status.idefs.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Status.inlines.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.templates.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.templates.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.templates.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-sparc.inlines.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu.types.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/.cvsignore.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.idefs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.10.2.1&r2=1.10.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.48.2.1&r2=1.48.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.101.2.3&r2=1.101.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.12.2.1&r2=1.12.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.9.2.1&r2=1.9.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.16.2.1&r2=1.16.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.37.2.1&r2=1.37.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.28.2.1&r2=1.28.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.41.2.1&r2=1.41.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.45.2.1&r2=1.45.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.types.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.8.2.1&r2=1.8.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient_traits_template.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.4.1&r2=1.3.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.52.2.1&r2=1.52.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.110.2.2&r2=1.110.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.60.2.1&r2=1.60.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.13.2.1&r2=1.13.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.19.2.4&r2=1.19.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.11.2.1&r2=1.11.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.16.2.1&r2=1.16.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.13.2.1&r2=1.13.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.14.2.1&r2=1.14.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.58.2.1&r2=1.58.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.50.2.1&r2=1.50.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=1.2.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.15.2.1&r2=1.15.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.15.2.1&r2=1.15.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.13.2.1&r2=1.13.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.8.2.1&r2=1.8.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.types.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.9.2.1&r2=1.9.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.65.2.1&r2=1.65.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.111.2.2&r2=1.111.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.57.2.1&r2=1.57.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.13.2.1&r2=1.13.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.10.2.1&r2=1.10.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.12.2.1&r2=1.12.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.21.2.1&r2=1.21.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.13.2.1&r2=1.13.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.24.2.1&r2=1.24.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.2.42&r2=1.1.2.43
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.types.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.13.2.2&r2=1.13.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.13.2.1&r2=1.13.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.12.2.1&r2=1.12.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.9.2.1&r2=1.9.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.30.2.1&r2=1.30.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.18.2.1&r2=1.18.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.129.2.2&r2=1.129.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.86.2.1&r2=1.86.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.69.2.1&r2=1.69.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.46.2.1&r2=1.46.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.16.2.1&r2=1.16.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.39.2.1&r2=1.39.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.30.2.1&r2=1.30.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.idefs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.10.2.1&r2=1.10.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.10.2.1&r2=1.10.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.27.2.1&r2=1.27.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.10.2.1&r2=1.10.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.25.2.1&r2=1.25.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.25.2.1&r2=1.25.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.32.2.1&r2=1.32.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.284.2.1&r2=1.284.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.126.2.1&r2=1.126.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.34.2.1&r2=1.34.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.58.2.2&r2=1.58.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.67.2.1&r2=1.67.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.13.2.1&r2=1.13.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.12.2.1&r2=1.12.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.types.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=1.2.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ptr_Iterator.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ptr_Iterator.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.11.2.1&r2=1.11.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding_Dir.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.91.2.1&r2=1.91.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.98.2.1&r2=1.98.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.8.2.1&r2=1.8.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Scalar_Products.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=1.2.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Scalar_Products.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Scalar_Products.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Scalar_Products.types.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Topology.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.10.4.1&r2=1.10.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.47.2.1&r2=1.47.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.12.2.1&r2=1.12.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.9.2.1&r2=1.9.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.28.2.1&r2=1.28.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.28.2.1&r2=1.28.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.8.2.1&r2=1.8.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.26.2.1&r2=1.26.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.54.2.1&r2=1.54.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.41.2.1&r2=1.41.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.29.2.1&r2=1.29.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.33.2.1&r2=1.33.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_numeric_limits.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/compiler.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-c99.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-ia32.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-none.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.25.2.1&r2=1.25.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.types.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.3&r2=1.2.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_numeric_limits.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/namespaces.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=1.2.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl-config.cc.in.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.9.2.1&r2=1.9.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.hh.in.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.11.2.1&r2=1.11.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/float.types.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.12.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partial_Function.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partial_Function.defs.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partial_Function.inlines.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partial_Function.types.hh?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/valgrind_suppressions?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.246.2.1&r2=1.246.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Random_Number_Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Random_Number_Generator.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.29.2.1&r2=1.29.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.16.2.1&r2=1.16.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.20.2.1&r2=1.20.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/PFunction.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/PFunction.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ehandlers.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ehandlers.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.12.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bounded1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/frompolyhedron1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.28.2.1&r2=1.28.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addconstraints1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinedimension1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/ascii_dump_load1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdsdifference1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdshull1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bgp99extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhmz05widening1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhz03widening1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76narrowing1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/closure1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.8.2.1&r2=1.8.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/concatenate1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/constraints1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/contains1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/empty1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/equality1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/fromgensys1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.2&r2=1.6.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.2&r2=1.3.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/geomcovers1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/h79widening1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedbhmz05extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedcc76extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedh79extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/mapspacedims1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/maxspacedim.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/minconstraints1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.8.2.1&r2=1.8.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.8.2.1&r2=1.8.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/removespacedims1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/run_tests.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.10.4.1&r2=1.10.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/timeelapse1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/universe1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/writebdshape1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.7.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage10.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.10.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.8.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/ascii_dump_load2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdsdifference2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdsdifference3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdsdifference4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdsdifference5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdsdifference6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdsdifference7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdshull2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdshull3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdshull4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhmz05widening2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhmz05widening3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhmz05widening4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhmz05widening5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhmz05widening6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhmz05widening7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhmz05widening8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76extrapolation2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76extrapolation3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76extrapolation4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76extrapolation5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76extrapolation6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76narrowing2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76narrowing3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76narrowing4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76narrowing5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/concatenate2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/concatenate3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/concatenate4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/concatenate5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/constraints2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/contains2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/contains3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/empty2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/empty3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/empty4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/empty5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/exceptions1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.8.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/exceptions2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/exceptions3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.8.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage10.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage11.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage12.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage13.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage14.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.8.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedbhmz05extrapolation2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedbhmz05extrapolation3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedbhmz05extrapolation4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedbhmz05extrapolation5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedbhmz05extrapolation6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedbhmz05extrapolation7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedbhmz05extrapolation8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedbhmz05extrapolation9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedcc76extrapolation2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedcc76extrapolation3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/mapspacedims2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/mapspacedims3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/mapspacedims4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.8.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/removespacedims2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/removespacedims3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/timeelapse2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/timeelapse3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/timeelapse4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/timeelapse5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/writebdshape2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/.cvsignore?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addcongruence1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addcongruences1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraint1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerator1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerators1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addspacedims1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinedim1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinepreimage1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinepreimage2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bhz03widening1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounded1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounds1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/certificate1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/concatenate1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruence1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruences1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruences2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/contains1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/copyconstruct1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/coveringbox1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/coveringbox2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/discrete1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/disjoint1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/equals1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/expandspacedim1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/foldspacedims1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffineimage1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffineimage2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinepreimage1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinepreimage2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generator1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generators1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/griddifference1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/intersection1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/isempty1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/isuniverse1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolation1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolation2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolation3.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mapspacedims1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/maxmin1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/membytes1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mincongruences1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mingenerators1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/outputoperator1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/timeelapse1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/topclosed1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/topclosure1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening3.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/writecongruencesystem.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruence1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruences1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/cnncconversion1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/congruences1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/nncminimize1.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/nncminimize2.cc?cvsroot=ppl&only_with_tag=simplex&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.37.2.4&r2=1.37.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraint1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraints1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraints2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerator1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerator2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerators1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerators2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addspacedims1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addspacedims2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affineimage1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affineimage2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinetrans.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/append1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/ascii_dump_load1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/ascii_dump_load2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/ascii_dump_load3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bgp99extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bounded1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffineimage1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.4.1&r2=1.3.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=1.2.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedbhrz03extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedh79extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bounds1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/concatenate1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/constraints1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/contains1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/contains2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/disjoint1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/disjoint2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/dualhypercubes.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/empty1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/equals1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/expandspacedim1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/expandspacedim2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/foldspacedims1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/foldspacedims2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffineimage1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffineimage2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=1.2.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=1.2.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/geomcovers1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/intersection1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/limitedh79extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linearpartition1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linearsystem1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=1.1.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linexpression1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/lpproblem1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.3&r2=1.3.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/mapspacedims1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/max_min1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/maxspacedim1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/mc91.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/minconstraints1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/minconstraints2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/mingenerators1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/mingenerators2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.14.2.1&r2=1.14.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/onepoint.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polydifference1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polydifference2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhull1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhull2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polypowerset1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/powerset1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=1.2.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/randphull1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/removespacedims1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/removespacedims2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/timeelapse1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/timeelapse2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/topclosed1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/topclosure1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/universe1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/universe2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/watchdog1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/writeconsys1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/writegensys1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/writepolyhedron1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/writepolyhedron2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/writerelation1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/CbecomesNNC1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/LP_Problem3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.2.3&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/NNCbecomesC1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/NNCminimize1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/NNCminimize2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/NNCminimize3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/NNCminimize4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/NNCminimize5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/NNCminimize6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraint2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraint3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraints10.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraints11.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraints12.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraints13.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraints3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraints4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraints5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraints6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraints7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraints8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstraints9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerator3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerator4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerator5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerators10.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerators11.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerators12.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerators13.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerators3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerators4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerators5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerators6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerators7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerators8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerators9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addspacedims10.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addspacedims11.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addspacedims12.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addspacedims13.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addspacedims3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addspacedims4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addspacedims5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addspacedims6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addspacedims7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addspacedims8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addspacedims9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affineimage3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affineimage4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affineimage5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affineimage6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affineimage7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affineimage8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affineimage9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinepreimage10.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinepreimage11.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinepreimage3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinepreimage4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinepreimage5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinepreimage6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinepreimage7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinepreimage8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinepreimage9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/ascii_dump_load4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/ascii_dump_load5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/ascii_dump_load6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/ascii_dump_load7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bgp99extrapolation2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening10.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening11.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening12.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening13.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening14.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening15.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening16.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening17.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening18.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening19.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03widening9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffineimage2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffineimage3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffinepreimage3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bounds2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/concatenate2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/concatenate3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/concatenate4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/concatenate5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/concatenate6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/concatenate7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/constraints2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/constraints3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/constraints4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/constraints5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/contains3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/contains4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/contains5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/disjoint3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffineimage10.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffineimage11.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffineimage12.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffineimage13.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffineimage14.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffineimage3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffineimage4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffineimage5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffineimage6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffineimage7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffineimage8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffineimage9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffinepreimage3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizedaffinepreimage4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/gramschmidt1.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/intersection10.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/intersection11.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/intersection2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/intersection3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/intersection4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/intersection5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/intersection6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/intersection7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/intersection8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/intersection9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/limitedh79extrapolation2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/limitedh79extrapolation3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/limitedh79extrapolation4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linearpartition2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linearpartition3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linearpartition4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/lpproblem2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.3.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/mapspacedims2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/mapspacedims3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/mapspacedims4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/max_min2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/minconstraints3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/minconstraints4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/mingenerators3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polydifference3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polydifference4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polydifference5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polydifference6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polydifference7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polydifference8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polydifference9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhull10.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhull11.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhull3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhull4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhull5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhull6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhull7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhull8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhull9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations10.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations11.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations12.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations13.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations14.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations15.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations16.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations17.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations18.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations19.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/removespacedims10.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/removespacedims3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/removespacedims4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/removespacedims5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/removespacedims6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/removespacedims7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/removespacedims8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/removespacedims9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/timeelapse3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/timeelapse4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/timeelapse5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/timeelapse6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/timeelapse7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/timeelapse8.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/timeelapse9.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/topclosed2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/topclosed3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/topclosure2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/topclosure3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/topclosure4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/universe3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/universe4.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/universe5.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/universe6.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/universe7.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/valgrind_suppressions.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/writegensys2.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.5.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/writegensys3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/writepolyhedron3.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.4.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/.cvsignore.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1&r2=1.1.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/Makefile.am.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.10.2.1&r2=1.10.2.2