[PPL-devel] ppl src/Octagon.inlines.hh src/Octagon.templat ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	octagons
Changes by:	bagnara at cs.unipr.it	2006-04-05 17:15:13

Modified files:
	src            : Octagon.inlines.hh Octagon.templates.hh 
	                 globals.defs.hh globals.inlines.hh 
	tests          : ppl_test.hh 

Log message:
	Lots of corrections.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.36&r2=1.36.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.14&r2=1.14.6.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&r2=1.46.2.1