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

Roberto Bagnara roberto at cs.unipr.it
Thu Aug 19 17:43:47 CEST 2004 

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	altnum
Changes by:	roberto at cs.unipr.it	2004-08-19 17:43:47

Modified files:
	.              : BUGS CREDITS ChangeLog Makefile.am NEWS README 
	                 STANDARDS TODO config.guess config.sub 
	                 configure.ac depcomp install-sh ltmain.sh 
	                 ppl.lsm.in ppl.spec.in 
	Watchdog       : ChangeLog Makefile.am NEWS README Watchdog.cc 
	                 Watchdog.defs.hh Watchdog.inlines.hh 
	                 config.guess config.sub configure.ac depcomp 
	                 install-sh ltmain.sh 
	demos          : Makefile.am 
	demos/ppl_lcdd : Makefile.am ppl_lcdd.cc 
	doc            : Makefile.am definitions.dox 
	                 devref-browse.doxyconf-latex.in 
	                 devref-print.doxyconf-latex.in 
	                 devref.doxyconf-html.in devref.tex ppl.sty 
	                 user-browse.doxyconf-latex.in 
	                 user-print.doxyconf-latex.in 
	                 user.doxyconf-html.in user.tex 
	interfaces/C   : Makefile.am ppl_c.cc ppl_c.h.in 
	interfaces/Prolog: Prolog_interface.dox pl_check.pl 
	                   ppl_prolog.icc 
	interfaces/Prolog/Ciao: Makefile.am ciao_pl_check.pl ppl_ciao.pl 
	interfaces/Prolog/GNU: ppl_gprolog.pl 
	interfaces/Prolog/SICStus: ppl_sicstus_sd.cc 
	interfaces/Prolog/SWI: .cvsignore ppl_swiprolog.cc 
	interfaces/Prolog/XSB: ppl_xsb.H ppl_xsb.cc xsb_pl_check.P 
	interfaces/Prolog/YAP: ppl_yap.cc 
	src            : AskTell.defs.hh BHRZ03_Certificate.defs.hh 
	                 BHRZ03_Certificate.inlines.hh 
	                 BoundingBox.inlines.hh C_Polyhedron.cc 
	                 C_Polyhedron.defs.hh C_Polyhedron.inlines.hh 
	                 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 Init.cc 
	                 Makefile.am Matrix.defs.hh 
	                 NNC_Polyhedron.defs.hh 
	                 NNC_Polyhedron.inlines.hh Ph_Status.idefs.hh 
	                 Poly_Con_Relation.defs.hh 
	                 Poly_Gen_Relation.defs.hh 
	                 Polyhedra_PowerSet.defs.hh 
	                 Polyhedra_PowerSet.inlines.hh 
	                 Polyhedron.defs.hh Polyhedron.inlines.hh 
	                 Polyhedron.types.hh Polyhedron_chdims.cc 
	                 Polyhedron_nonpublic.cc Polyhedron_public.cc 
	                 Polyhedron_widenings.cc PowerSet.defs.hh 
	                 PowerSet.inlines.hh Row.defs.hh 
	                 SatMatrix.defs.hh algorithms.hh conversion.cc 
	                 globals.cc globals.hh minimize.cc simplify.cc 
	                 version.hh.in 
	tests          : .cvsignore Makefile.am bgp99extrapolation1.cc 
	                 bhz03widening1.cc bhz03widening2.cc 
	                 boundingbox1.cc boundingbox2.cc boundingbox3.cc 
	                 boundingbox4.cc exceptions3.cc h79widening6.cc 
	                 linearpartition1.cc linearpartition2.cc 
	                 linearpartition3.cc watchdog1.cc 
Added files:
	.              : README.configure 
	Watchdog       : Doubly_Linked_Object.defs.hh 
	                 Doubly_Linked_Object.inlines.hh 
	                 Doubly_Linked_Object.types.hh EList.defs.hh 
	                 EList.inlines.hh EList.types.hh 
	                 EList_Iterator.defs.hh 
	                 EList_Iterator.inlines.hh 
	                 EList_Iterator.types.hh Handler.defs.hh 
	                 Handler.inlines.hh Handler.types.hh 
	                 Pending_Element.cc Pending_Element.defs.hh 
	                 Pending_Element.inlines.hh 
	                 Pending_Element.types.hh Pending_List.cc 
	                 Pending_List.defs.hh Pending_List.inlines.hh 
	                 Pending_List.types.hh Time.cc Time.defs.hh 
	                 Time.inlines.hh Time.types.hh 
	demos/ppl_lcdd/examples: .cvsignore Makefile.am 
	demos/ppl_lpsol: .cvsignore Makefile.am expected ppl_lpsol.c 
	demos/ppl_lpsol/examples: .cvsignore Makefile.am afiro.mps 
	                          bgprtr.mps ex1.mps sample.mps 
	                          unboundedmin.mps 
	doc            : fdl.txt gpl.txt 
	src            : H79_Certificate.cc H79_Certificate.defs.hh 
	                 H79_Certificate.inlines.hh 
	                 H79_Certificate.types.hh 
	                 Widening_Function.defs.hh 
	                 Widening_Function.inlines.hh 
	                 Widening_Function.types.hh 
	tests          : bgp99extrapolation2.cc bhz03widening3.cc 
	                 bhz03widening4.cc bhz03widening5.cc 
	                 bhz03widening6.cc boundingbox5.cc expanddim1.cc 
	                 expanddim2.cc folddims1.cc folddims2.cc 
	                 linearpartition4.cc polydifference8.cc 
Removed files:
	interfaces/C/lpenum: .cvsignore Makefile.am afiro.mps bgprtr.mps 
	                     ex1.mps expected lpenum.c sample.mps 
	                     unboundedmin.mps 
	src            : statistics.hh 

Log message:
	First merge from main trunk.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/BUGS.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2&r2=1.2.12.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.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/ChangeLog.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.16&r2=1.16.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.24.2.1&r2=1.24.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.86&r2=1.86.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.69&r2=1.69.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.22&r2=1.22.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.21&r2=1.21.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.114.2.4&r2=1.114.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/depcomp.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/install-sh.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/ltmain.sh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.18&r2=1.18.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.lsm.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.4&r2=1.4.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.18&r2=1.18.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Doubly_Linked_Object.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Doubly_Linked_Object.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Doubly_Linked_Object.types.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/EList.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/EList.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/EList.types.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/EList_Iterator.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/EList_Iterator.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/EList_Iterator.types.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Handler.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Handler.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Handler.types.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_Element.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_Element.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_Element.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_Element.types.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_List.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_List.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_List.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Pending_List.types.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Time.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Time.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Time.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Time.types.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.6&r2=1.6.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Makefile.am.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/Watchdog/NEWS.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3&r2=1.3.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/README.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.19&r2=1.19.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/depcomp.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/Watchdog/install-sh.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/Watchdog/ltmain.sh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/Makefile.am.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/demos/ppl_lcdd/Makefile.am.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/demos/ppl_lcdd/ppl_lcdd.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.18&r2=1.18.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/.cvsignore?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/Makefile.am?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/.cvsignore?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/examples/.cvsignore?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/examples/Makefile.am?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/examples/afiro.mps?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/examples/bgprtr.mps?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/examples/ex1.mps?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/examples/sample.mps?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/examples/unboundedmin.mps?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/fdl.txt?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/gpl.txt?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&r2=1.25.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.128&r2=1.128.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.35&r2=1.35.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.35&r2=1.35.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.36&r2=1.36.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.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/doc/ppl.sty.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/doc/user-browse.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.19&r2=1.19.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-print.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.19&r2=1.19.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.21&r2=1.21.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.14&r2=1.14.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.16&r2=1.16.2.1
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&r2=1.104.2.1
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&r2=1.27.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/.cvsignore.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.13&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/afiro.mps.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/bgprtr.mps.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/ex1.mps.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/expected.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.39&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/sample.mps.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/unboundedmin.mps.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
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&r2=1.109.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.81&r2=1.81.2.1
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&r2=1.128.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&r2=1.27.2.1
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&r2=1.2.2.1
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&r2=1.64.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&r2=1.43.2.1
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&r2=1.60.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/.cvsignore.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/interfaces/Prolog/SWI/ppl_swiprolog.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.85&r2=1.85.2.1
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&r2=1.30.2.1
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&r2=1.51.2.1
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&r2=1.7.2.1
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&r2=1.78.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.types.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.types.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.20&r2=1.20.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.defs.hh.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/src/BHRZ03_Certificate.inlines.hh.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/src/BoundingBox.inlines.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/src/C_Polyhedron.cc.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/C_Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.21&r2=1.21.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.82.2.1&r2=1.82.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.32&r2=1.32.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.40&r2=1.40.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.86.2.1&r2=1.86.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.48.2.1&r2=1.48.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&r2=1.35.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.36&r2=1.36.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.85.2.1&r2=1.85.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.95.2.1&r2=1.95.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.48.2.1&r2=1.48.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.85.2.1&r2=1.85.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.42.2.1&r2=1.42.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.70.2.6&r2=1.70.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.56&r2=1.56.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.24&r2=1.24.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.idefs.hh.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/src/Poly_Con_Relation.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.23&r2=1.23.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.21&r2=1.21.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.20&r2=1.20.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.31&r2=1.31.2.1
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.1&r2=1.228.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.90.2.1&r2=1.90.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.types.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.9&r2=1.9.2.1
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.1&r2=1.18.2.2
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.1&r2=1.21.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.17.2.1&r2=1.17.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.46&r2=1.46.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.55&r2=1.55.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.77.2.1&r2=1.77.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.33&r2=1.33.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.27&r2=1.27.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.51.2.1&r2=1.51.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.13.2.1&r2=1.13.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.35.2.1&r2=1.35.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.35&r2=1.35.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.34&r2=1.34.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.hh.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/statistics.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bgp99extrapolation2.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening3.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening4.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening5.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening6.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox5.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/expanddim1.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/expanddim2.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/folddims1.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/folddims2.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition4.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference8.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/.cvsignore.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/tests/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.195.2.1&r2=1.195.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bgp99extrapolation1.cc.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/tests/bhz03widening1.cc.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/tests/bhz03widening2.cc.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/tests/boundingbox1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.33&r2=1.33.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.18&r2=1.18.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox3.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox4.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions3.cc.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/tests/h79widening6.cc.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/tests/linearpartition1.cc.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/tests/linearpartition2.cc.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/tests/linearpartition3.cc.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/tests/watchdog1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.18&r2=1.18.2.1

More information about the PPL-devel mailing list