CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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_gener... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gener... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_in...