[PPL-devel] ppl/interfaces ppl_interface_generator_common_ ...
Patricia Hill
hill at cs.unipr.it
Wed Nov 1 12:53:25 CET 2006
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill at cs.unipr.it 2006-11-01 12:53:25
Modified files:
interfaces : ppl_interface_generator_common_dat.m4
interfaces/C : ppl_interface_generator_c_cc_code.m4
ppl_interface_generator_c_dat.m4
ppl_interface_generator_c_h_code.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:
Several improvements - mainly wrt the generation of code
for the widening and extrapolation operators.
All extrapolations (including the widenings) for all the simple domains
are now generated. The only missing procedure now is the narrowing.
Names of some of the patterns to be replaced have also been revised.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_dat.m4.diff?cvsroot=ppl&r1=1.9&r2=1.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_cc_code.m4.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_dat.m4.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_h_code.m4.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_dat.m4.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_icc_code.m4.diff?cvsroot=ppl&r1=1.14&r2=1.15
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.26&r2=1.27
More information about the PPL-devel
mailing list