[PPL-devel] ppl ./ChangeLog ./NEWS ./STANDARDS ./config.gu ...

Mon Oct 14 21:37:08 CEST 2002

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	alt_nnc
Changes by:	roberto at cs.unipr.it	2002-10-14 21:37:08

Modified files:
	.              : ChangeLog NEWS STANDARDS config.guess 
	                 config.h.in config.sub configure.ac ltmain.sh 
	                 ppl.spec.in 
	doc            : Makefile.am definitions.dox 
	                 devref-browse.doxyconf-latex.in 
	                 devref-print.doxyconf-latex.in 
	                 devref.doxyconf-html.in fdl.dox gpl.dox 
	interfaces/C   : ppl_c.cc ppl_c.h 
	interfaces/Prolog: Prolog_interface.dox clpq2.pl pl_check.pl 
	                   ppl_prolog.icc 
	interfaces/Prolog/Ciao: ppl_ciao.pl 
	interfaces/Prolog/GNU: ppl_gprolog.pl 
	interfaces/Prolog/SICStus: Makefile.am ppl_sicstus_sd.cc 
	interfaces/Prolog/SWI: ppl_swiprolog.cc 
	interfaces/Prolog/XSB: ppl_xsb.H ppl_xsb.cc 
	interfaces/Prolog/YAP: ppl_yap.cc 
	src            : AskTell.defs.hh BoundingBox.defs.hh 
	                 C_Polyhedron.cc C_Polyhedron.defs.hh ConSys.cc 
	                 ConSys.defs.hh ConSys.inlines.hh Constraint.cc 
	                 Constraint.defs.hh Constraint.inlines.hh 
	                 Determinate.defs.hh Determinate.inlines.hh 
	                 GenSys.cc GenSys.defs.hh Generator.cc 
	                 Generator.defs.hh Generator.inlines.hh 
	                 Integer.defs.hh Integer.inlines.hh 
	                 LinExpression.cc LinExpression.defs.hh 
	                 LinExpression.inlines.hh Makefile.am Matrix.cc 
	                 Matrix.defs.hh NNC_Polyhedron.defs.hh 
	                 Poly_Con_Relation.cc Poly_Con_Relation.defs.hh 
	                 Poly_Gen_Relation.cc Poly_Gen_Relation.defs.hh 
	                 Polyhedron.cc Polyhedron.defs.hh 
	                 Polyhedron.inlines.hh PowerSet.defs.hh 
	                 PowerSet.inlines.hh Row.cc Row.defs.hh 
	                 SatMatrix.cc SatMatrix.defs.hh SatRow.cc 
	                 SatRow.defs.hh Status.cc Status.defs.hh 
	                 conversion.cc globals.hh minimize.cc 
	                 simplify.cc 
	tests          : Makefile.am bbrz02widening1.cc 
	                 bbrz02widening6.cc bbrz02widening7.cc 
	                 bbrz02widening9.cc boundingbox2.cc 
	                 exceptions1.cc exceptions2.cc mc91.cc 
	                 memory1.cc 
Added files:
	doc            : bib2dox bib2html1.sed bib2html2.sed 
	src            : algorithms.hh 
	tests          : addconstraint2.cc addconstraint3.cc 
	                 addconstraints10.cc addconstraints11.cc 
	                 addconstraints12.cc adddimensions11.cc 
	                 addgenerator3.cc addgenerators11.cc 
	                 affineimage3.cc affineimage4.cc affineimage5.cc 
	                 affinepreimage5.cc affinepreimage6.cc 
	                 affinepreimage7.cc ascii_dump_load1.cc 
	                 ascii_dump_load2.cc ascii_dump_load3.cc 
	                 bbrz02widening10.cc bbrz02widening11.cc 
	                 bbrz02widening12.cc bbrz02widening13.cc 
	                 bbrz02widening14.cc bbrz02widening15.cc 
	                 bbrz02widening16.cc bbrz02widening17.cc 
	                 bbrz02widening18.cc concatenate5.cc 
	                 contains1.cc files.cc files.hh 
	                 generalizedaffineimage1.cc 
	                 generalizedaffineimage10.cc 
	                 generalizedaffineimage2.cc 
	                 generalizedaffineimage3.cc 
	                 generalizedaffineimage4.cc 
	                 generalizedaffineimage5.cc 
	                 generalizedaffineimage6.cc 
	                 generalizedaffineimage7.cc 
	                 generalizedaffineimage8.cc 
	                 generalizedaffineimage9.cc h79widening5.cc 
	                 intersection10.cc linearpartition1.cc 
	                 linearpartition2.cc linearpartition3.cc 
	                 minconstraints2.cc minconstraints3.cc 
	                 mingenerators2.cc mingenerators3.cc 
	                 polydifference7.cc polyhull7.cc polyhull8.cc 
	                 relations10.cc relations11.cc relations12.cc 
	                 relations13.cc relations14.cc relations15.cc 
	                 relations16.cc stronglyminimize1.cc 
	                 stronglyminimize2.cc stronglyminimize3.cc 
	                 timeelapse6.cc timeelapse7.cc topclosed3.cc 
	                 topclosure2.cc 
Removed files:
	tests          : hypercubes.cc 

Log message:
	Fourth merge from main trunk.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.9&r2=1.9.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.28.2.3&r2=1.28.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.14.4.2&r2=1.14.4.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.57.2.2&r2=1.57.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.5&r2=1.5.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.15&r2=1.15.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2dox?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html1.sed?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html2.sed?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.19&r2=1.19.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.88.2.1&r2=1.88.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.21&r2=1.21.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.21&r2=1.21.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.22&r2=1.22.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/fdl.dox.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.1&r2=1.1.12.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/gpl.dox.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.2&r2=1.2.12.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.41.4.3&r2=1.41.4.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.39.2.3&r2=1.39.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.60.4.1&r2=1.60.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.22.2.1&r2=1.22.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.21.2.1&r2=1.21.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.61.2.2&r2=1.61.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.pl.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.20.2.1&r2=1.20.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.16.4.1&r2=1.16.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Makefile.am.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.28&r2=1.28.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_sicstus_sd.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.24.2.1&r2=1.24.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swiprolog.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.48.2.1&r2=1.48.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.H.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.41.2.1&r2=1.41.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.6.2.2&r2=1.6.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.3.2.2&r2=1.3.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.3.4.1&r2=1.3.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.13.2.2&r2=1.13.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.40.2.5&r2=1.40.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.62.2.4&r2=1.62.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.23.2.3&r2=1.23.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.29.2.4&r2=1.29.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.67.2.4&r2=1.67.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.39.2.3&r2=1.39.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.6.2.4&r2=1.6.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.7.2.4&r2=1.7.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.60.2.7&r2=1.60.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.76.2.4&r2=1.76.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.36.2.5&r2=1.36.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.72.2.5&r2=1.72.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.36.2.3&r2=1.36.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.12.4.1&r2=1.12.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.49.2.2&r2=1.49.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.21.2.2&r2=1.21.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.48.2.1&r2=1.48.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.40.2.1&r2=1.40.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.31.2.2&r2=1.31.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.16.2.2&r2=1.16.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.2.6.1&r2=1.2.6.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.11.2.2&r2=1.11.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.2.6.1&r2=1.2.6.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.10.2.2&r2=1.10.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.199.2.16&r2=1.199.2.17
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.137.2.5&r2=1.137.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.42.2.5&r2=1.42.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.10.2.3&r2=1.10.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.11.2.3&r2=1.11.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.40.4.1&r2=1.40.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.52.2.2&r2=1.52.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.17.4.1&r2=1.17.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.21.2.2&r2=1.21.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.9&r2=1.9.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.17.2.2&r2=1.17.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.11.6.1&r2=1.11.6.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.19.2.2&r2=1.19.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.29.4.1&r2=1.29.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.19.4.2&r2=1.19.4.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.22.2.2&r2=1.22.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.16.4.1&r2=1.16.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraint2.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraint3.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints10.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.5.4.1&r2=1.5.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints11.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.6.4.1&r2=1.6.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints12.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions11.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator3.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators11.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage3.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage4.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage5.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage5.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage6.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage7.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load1.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load2.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load3.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening10.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening11.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening12.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening13.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening14.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening15.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening16.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening17.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening18.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/concatenate5.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/contains1.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.hh?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage1.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage10.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage2.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage3.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage4.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage5.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage6.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage7.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage8.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage9.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening5.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/intersection10.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition1.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition2.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition3.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/minconstraints2.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/minconstraints3.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mingenerators2.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mingenerators3.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference7.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polyhull7.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polyhull8.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations10.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations11.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations12.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations13.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations14.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations15.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations16.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/stronglyminimize1.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/stronglyminimize2.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/stronglyminimize3.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse6.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse7.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosed3.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosure2.cc?cvsroot=ppl&only_with_tag=alt_nnc&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.82.2.2&r2=1.82.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening1.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening6.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening7.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening9.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.7.4.3&r2=1.7.4.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.11.2.2&r2=1.11.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.7.2.2&r2=1.7.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mc91.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.3.2.2&r2=1.3.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.5.4.2&r2=1.5.4.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/hypercubes.cc.diff?cvsroot=ppl&only_with_tag=alt_nnc&r1=1.1.2.3&r2=NONE