[PPL-devel] ppl/interfaces ppl_interface_generator_common_ ...
Patricia Hill
hill at cs.unipr.it
Mon Sep 22 17:02:32 CEST 2008
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill at cs.unipr.it 2008-09-22 17:02:32
Modified files:
interfaces : ppl_interface_generator_common_dat.m4
interfaces/Prolog: Makefile.am
ppl_interface_generator_prolog_cc_files.m4
ppl_interface_generator_prolog_hh_files.m4
Log message:
The file ppl_prolog_domains.cc is not needed.
Ensure that in the generated tests a powerset of grids is built
by default from congruences and not constraints.
This fixes a bug when testing ppl_predicate_check_test
for the Pointset_Powerset_Grid domain.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_dat.m4.diff?cvsroot=ppl&r1=1.86&r2=1.87
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am.diff?cvsroot=ppl&r1=1.60&r2=1.61
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4.diff?cvsroot=ppl&r1=1.9&r2=1.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_hh_files.m4.diff?cvsroot=ppl&r1=1.8&r2=1.9
More information about the PPL-devel
mailing list