CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-02-08 13:07:29

Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4

Log message: In the last commit, the message said "the change has a "fixme" since this indicates that the way the replacements for all patterns is handled needs improving and that this local change should be made more general." This is now fixed and the main replacement macros now incorporate this improvement. Improved the specification of the replacements for the binary operators for the Pointset_Powerset domains. A few minor improvements to avoid unnecessary computations.

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...