[PPL-devel] ppl ./CREDITS ./ChangeLog ./NEWS ./README ./RE ...

Roberto Bagnara roberto at cs.unipr.it
Sat Dec 25 23:03:10 CET 2004 

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	altnum
Changes by:	roberto at cs.unipr.it	2004-12-25 23:03:10

Modified files:
	.              : CREDITS ChangeLog NEWS README README.configure 
	                 STANDARDS TODO config.guess config.rpath 
	                 config.sub configure.ac install-sh ppl.lsm.in 
	                 ppl.spec.in 
	Watchdog       : ChangeLog Makefile.am NEWS README config.guess 
	                 config.sub configure.ac install-sh 
	                 pwl_header.bottom pwl_header.middle 
	                 pwl_header.top 
	demos/ppl_lcdd : Makefile.am ppl_lcdd.cc 
	demos/ppl_lpsol: Makefile.am ppl_lpsol.c 
	doc            : Makefile.am definitions.dox devref.tex user.tex 
	interfaces/C   : ppl_c.cc ppl_c.h.in 
	interfaces/Prolog: Prolog_interface.dox exceptions.hh 
	                   ppl_prolog.icc track_allocation.hh 
	interfaces/Prolog/Ciao: Makefile.am ciao_clpq.pl ciao_clpq2.pl 
	                        ciao_pl_check.pl ppl_ciao.pl 
	interfaces/Prolog/GNU: Makefile.am gnu_pl_check.pl 
	                       ppl_gprolog.pl 
	interfaces/Prolog/SICStus: Makefile.am ppl_sicstus_sd.cc 
	interfaces/Prolog/SWI: Makefile.am ppl_swiprolog.cc 
	                       swi_pl_check.pl 
	interfaces/Prolog/XSB: Makefile.am ppl_xsb.H ppl_xsb.cc 
	                       xsb_clpq.P xsb_clpq2.P xsb_pl_check.P 
	interfaces/Prolog/YAP: Makefile.am ppl_yap.cc 
	interfaces/Prolog/tests: clpq.pl clpq2.pl pl_check.pl 
	src            : Checked_Number.defs.hh 
	                 Checked_Number.inlines.hh Coefficient.types.hh 
	                 Coefficient_traits_template.hh 
	                 Determinate.defs.hh Determinate.inlines.hh 
	                 GMP_Integer.defs.hh GMP_Integer.types.hh 
	                 Generator_System.defs.hh Interval.defs.hh 
	                 Interval.inlines.hh Limits.hh 
	                 Linear_Expression.defs.hh Linear_Row.cc 
	                 Linear_System.cc Linear_System.defs.hh 
	                 Linear_System.inlines.hh Makefile.am 
	                 Native_Integer.defs.hh 
	                 Native_Integer.inlines.hh 
	                 Native_Integer.types.hh 
	                 Polyhedra_Powerset.defs.hh 
	                 Polyhedra_Powerset.inlines.hh 
	                 Polyhedron.defs.hh Polyhedron_nonpublic.cc 
	                 Polyhedron_public.cc Powerset.defs.hh 
	                 Powerset.inlines.hh Saturation_Row.cc 
	                 Saturation_Row.inlines.hh 
	                 Widening_Function.defs.hh checked.defs.hh 
	                 checked.inlines.hh checked_int.inlines.hh 
	                 globals.defs.hh initializer.hh 
	                 ppl_header.bottom ppl_header.middle 
	                 swapping_sort.icc 
	tests          : BBox.cc 
	tests/Polyhedron: Makefile.am addgenerator1.cc addgenerator2.cc 
	                  bhz03widening2.cc bhz03widening3.cc 
	                  bhz03widening5.cc bhz03widening6.cc 
	                  expandspacedim1.cc foldspacedims1.cc 
	                  foldspacedims2.cc polydifference9.cc 
	                  watchdog1.cc 
Added files:
	demos/ppl_lpsol: dummy.cc 
	doc            : README.doc 
	m4             : ac_cxx_double_is_iec_559.m4 
	                 ac_cxx_float_is_iec_559.m4 
	                 ac_cxx_long_double_is_iec_559.m4 
	tests/Polyhedron: timeelapse9.cc 
Removed files:
	Watchdog       : pwl_filter_doxygen.sed pwl_filter_install.sed 
	doc            : README 

Log message:
	Seventh merge from main trunk.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.8.2.4&r2=1.8.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.16.4.1&r2=1.16.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.86.2.6&r2=1.86.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.17.2.2&r2=1.17.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.5.4.2&r2=1.5.4.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.11.2.2&r2=1.11.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.69.2.6&r2=1.69.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.22.2.3&r2=1.22.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.rpath.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.21.2.2&r2=1.21.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.114.2.15&r2=1.114.2.16
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/install-sh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.8.2.3&r2=1.8.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.lsm.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.4.6.1&r2=1.4.6.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.18.2.1&r2=1.18.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.6.4.1&r2=1.6.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.8.2.4&r2=1.8.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/NEWS.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3.4.1&r2=1.3.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/README.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.6.2.3&r2=1.6.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.6.2.2&r2=1.6.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.19.2.2&r2=1.19.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/install-sh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.5.2.3&r2=1.5.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/pwl_header.bottom.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=1.1.12.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/pwl_header.middle.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2&r2=1.2.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/pwl_header.top.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/pwl_filter_doxygen.sed.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/pwl_filter_install.sed.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.18.2.9&r2=1.18.2.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/dummy.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.4.3&r2=1.1.4.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.4.4&r2=1.1.4.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.25.2.2&r2=1.25.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.128.2.6&r2=1.128.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.13.2.2&r2=1.13.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.14.2.2&r2=1.14.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.6.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.104.2.7&r2=1.104.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.27.2.4&r2=1.27.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.109.2.6&r2=1.109.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.11.2.1&r2=1.11.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.128.2.8&r2=1.128.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/track_allocation.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.27.2.4&r2=1.27.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_clpq.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.9.2.1&r2=1.9.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_clpq2.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.4.2.2&r2=1.4.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_pl_check.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.64.2.4&r2=1.64.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.34.2.3&r2=1.34.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gnu_pl_check.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.43.2.2&r2=1.43.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.41.2.4&r2=1.41.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_sicstus_sd.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.60.2.6&r2=1.60.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.34.2.4&r2=1.34.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swiprolog.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.85.2.7&r2=1.85.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pl_check.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=1.1.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.21.2.3&r2=1.21.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.H.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.30.2.2&r2=1.30.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.51.2.7&r2=1.51.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clpq.P.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.8.2.1&r2=1.8.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clpq2.P.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.6.2.1&r2=1.6.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=altnum&r1=1.7.2.2&r2=1.7.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.25.2.3&r2=1.25.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.78.2.7&r2=1.78.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/clpq.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/clpq2.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_check.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_is_iec_559.m4?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float_is_iec_559.m4?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_is_iec_559.m4?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.14&r2=1.1.2.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.15&r2=1.1.2.16
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.types.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient_traits_template.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.35.2.5&r2=1.35.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.36.2.4&r2=1.36.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.types.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.16.2.4&r2=1.16.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.12.2.7&r2=1.12.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Limits.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&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=altnum&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2.2.3&r2=1.2.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2.2.3&r2=1.2.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2.2.3&r2=1.2.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.70.2.19&r2=1.70.2.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.types.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2.2.4&r2=1.2.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.4.2.4&r2=1.4.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.228.2.7&r2=1.228.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.18.2.10&r2=1.18.2.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.21.2.7&r2=1.21.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.4.2.4&r2=1.4.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.21&r2=1.1.2.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.14&r2=1.1.2.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.22&r2=1.1.2.23
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2.2.8&r2=1.2.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/initializer.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.bottom.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.5&r2=1.5.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.middle.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/swapping_sort.icc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.4.2.2&r2=1.4.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/timeelapse9.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerator1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerator2.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening2.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening3.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening5.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening6.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/expandspacedim1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/foldspacedims1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/foldspacedims2.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polydifference9.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/watchdog1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2

More information about the PPL-devel mailing list