CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-02-04 12:41:00 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 Log message: Fixed some bugs, simplified and improved some code and improved the documentation for new and changed the macros. Now the interfaces compile and tests run ok with all Pointset_Powersets of polyhedra, weakly relational domains and grids. Also the interfaces compile and tests run ok with any products of the same domains. 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...