[PPL-devel] ppl/interfaces ppl_interface_generator_common. ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2006-12-01 16:31:06

Modified files:
	interfaces     : ppl_interface_generator_common.m4 
	                 ppl_interface_generator_common_dat.m4 
	interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 
	                   ppl_interface_generator_prolog_icc_code.m4 
	interfaces/Prolog/tests: 
	                         ppl_interface_generator_predicate_check_code.m4 

Log message:
	Use the H79 certificate for more widenings.
	Provided code for extrapolation operators for the disjuncts
	for the BGP99 extrapolation. However this is not enabled as the
	C++ code does not support this yet.
	
	Allow for the replacement to be "NONE" as well as the alternative.
	If either are "NONE" then the code is not generated.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common.m4.diff?cvsroot=ppl&r1=1.15&r2=1.16
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_dat.m4.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_dat.m4.diff?cvsroot=ppl&r1=1.27&r2=1.28
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_icc_code.m4.diff?cvsroot=ppl&r1=1.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_interface_generator_predicate_check_code.m4.diff?cvsroot=ppl&r1=1.44&r2=1.45