[PPL-devel] ppl Watchdog/src/Watchdog.cc doc/devref.doxyco ...

Roberto Bagnara bagnara at cs.unipr.it
Mon May 8 18:16:45 CEST 2006 

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	octagons
Changes by:	bagnara at cs.unipr.it	2006-05-08 18:16:45

Modified files:
	Watchdog/src   : Watchdog.cc 
	doc            : devref.doxyconf-html.in 
	                 devref.doxyconf-latex.in 
	interfaces/Prolog: ppl_prolog.icc 
	src            : BD_Shape.defs.hh BD_Shape.inlines.hh 
	                 BD_Shape.templates.hh Congruence.cc 
	                 Congruence.defs.hh Congruence.inlines.hh 
	                 Congruence_System.cc DB_Matrix.defs.hh 
	                 DB_Matrix.inlines.hh DB_Row.defs.hh 
	                 DB_Row.inlines.hh Grid.templates.hh 
	                 Grid_Generator.cc Grid_Generator.defs.hh 
	                 Grid_Generator_System.cc 
	                 Grid_Generator_System.inlines.hh Grid_Status.cc 
	                 Grid_conversion.cc Grid_nonpublic.cc 
	                 Grid_public.cc Grid_simplify.cc 
	                 Linear_Expression.defs.hh Makefile.am 
	tests          : ppl_test.cc ppl_test.hh 
	tests/BD_Shape : Makefile.am addconstraints1.cc 
	                 affinedimension1.cc affineimage1.cc 
	                 affinepreimage1.cc affinepreimage2.cc 
	                 bdsdifference1.cc bdshull1.cc 
	                 bhmz05widening1.cc cc76extrapolation1.cc 
	                 cc76narrowing1.cc contains1.cc fromgensys1.cc 
	                 generalizedaffineimage2.cc 
	                 generalizedaffinepreimage2.cc intersection1.cc 
	                 limitedbhmz05extrapolation1.cc 
	                 limitedcc76extrapolation1.cc relations2.cc 
	                 relations3.cc removespacedims1.cc 
	                 timeelapse1.cc 
	tests/Grid     : affineimage2.cc asciidumpload1.cc join1.cc 
	                 maxmin1.cc outputoperator1.cc 
	                 writecongruencesystem.cc 
	tests/Octagon  : affineimage1.cc affinepreimage1.cc 
	                 ascii_dump_load1.cc bhmz05widening1.cc 
	                 cc76extrapolation1.cc cc76narrowing1.cc 
	                 contains1.cc generalizedaffineimage3.cc 
	                 generalizedaffinepreimage2.cc intersection1.cc 
	                 limitedbhmz05extrapolation1.cc 
	                 limitedcc76extrapolation1.cc octdifference1.cc 
	                 octhull1.cc removespacedims1.cc timeelapse1.cc 
	tests/Polyhedron: Makefile.am 
Added files:
	src            : DB_Matrix.templates.hh DB_Row.templates.hh 
	tests/BD_Shape : bounded1.cc frompolyhedron1.cc 

Log message:
	First merge from main trunk.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Watchdog.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.2&r2=1.2.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.71.4.2&r2=1.71.4.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.11.4.2&r2=1.11.4.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.176&r2=1.176.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.templates.hh?cvsroot=ppl&only_with_tag=octagons&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.templates.hh?cvsroot=ppl&only_with_tag=octagons&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.67&r2=1.67.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.123&r2=1.123.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.defs.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.20&r2=1.20.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.inlines.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.25.2.1&r2=1.25.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.defs.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.17.6.1&r2=1.17.6.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.inlines.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.17&r2=1.17.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.5&r2=1.5.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.15&r2=1.15.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.inlines.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Status.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.24&r2=1.24.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.151.2.5&r2=1.151.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.4&r2=1.4.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.46.2.3&r2=1.46.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bounded1.cc?cvsroot=ppl&only_with_tag=octagons&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/frompolyhedron1.cc?cvsroot=ppl&only_with_tag=octagons&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.41&r2=1.41.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addconstraints1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.11.4.1&r2=1.11.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinedimension1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.7&r2=1.7.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.12.4.1&r2=1.12.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.12.4.1&r2=1.12.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.11&r2=1.11.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdsdifference1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.8.4.1&r2=1.8.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdshull1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.8.4.1&r2=1.8.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhmz05widening1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.8.4.1&r2=1.8.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.12.4.1&r2=1.12.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76narrowing1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.12.4.1&r2=1.12.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/contains1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.10&r2=1.10.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/fromgensys1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.11&r2=1.11.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage2.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.13.4.1&r2=1.13.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.9&r2=1.9.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.11.4.1&r2=1.11.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedbhmz05extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.7.4.1&r2=1.7.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedcc76extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.7.4.1&r2=1.7.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations2.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.16&r2=1.16.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.13&r2=1.13.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/removespacedims1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.12.4.1&r2=1.12.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/timeelapse1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.11.4.1&r2=1.11.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage2.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.5&r2=1.5.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.10&r2=1.10.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/maxmin1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/outputoperator1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.5&r2=1.5.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/writecongruencesystem.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.5&r2=1.5.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ascii_dump_load1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/bhmz05widening1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76narrowing1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffineimage3.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedbhmz05extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octdifference1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octhull1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.88&r2=1.88.4.1

More information about the PPL-devel mailing list