[PPL-devel] ppl/src Makefile.am Polyhedron.defs.hh Polyhed ...
Enea Zaffanella
zaffanella at cs.unipr.it
Fri May 7 19:43:18 CEST 2004
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2004-05-07 19:43:18
Modified files:
src : Makefile.am Polyhedron.defs.hh
Polyhedron_widenings.cc
Log message:
Changed to use the new BHRZ03_Certificate class.
Current implementation for NNC polyhedra is an inefficient kludge,
but should be correct. It will become efficient as soon as we implement
lazy procedures for eps-minimization of NNC polyhedra.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&r1=1.69&r2=1.70
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.226&r2=1.227
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.diff?cvsroot=ppl&r1=1.15&r2=1.16
More information about the PPL-devel
mailing list