CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2004-08-16 12:08:44

Modified files: src : Makefile.am Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Polyhedron.defs.hh Added files: src : H79_Certificate.cc H79_Certificate.defs.hh H79_Certificate.inlines.hh H79_Certificate.types.hh

Log message: Added the H79 widening certificate. The certificate-based widening methods for the Polyhedra_Powerset domain made generic by parameterizing the certificate used. The instance using the BHRZ03_Certificate still have the old name (so as old code still works).

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.defs.hh?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.inlines.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.types.hh?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inlines... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv...