[PPL-devel] ppl/interfaces/Prolog ppl_interface_generator_ ...
Patricia Hill
hill at cs.unipr.it
Thu Jun 8 08:21:19 CEST 2006
CVSROOT: /cvs/ppl
Module name: ppl
Branch: interfaces
Changes by: hill at cs.unipr.it 2006-06-08 08:21:19
Modified files:
interfaces/Prolog: ppl_interface_generator_prolog_icc.m4
interfaces/Prolog/Ciao: ppl_interface_generator_ciao_pl.m4
Log message:
Corrected a bug in _ciao_pl.m4.
Corrected a bug in the addition of the extra widening
code in _icc.m4.
Also removed code that checked the number of binop replacements for
that class: this is because, now LP_Problem is a fixed class, all
the classes denote domains with at least one binary operator.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_icc.m4.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.1.2.10&r2=1.1.2.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.1.2.4&r2=1.1.2.5
More information about the PPL-devel
mailing list