[PPL-devel] ppl/src Init.cc Polyhedron.cc Polyhedron.defs. ...
Enea Zaffanella
zaffanella at spartacus.cs.unipr.it
Thu Feb 20 16:30:58 CET 2003
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2003-02-20 16:30:57
Modified files:
src : Init.cc Polyhedron.cc Polyhedron.defs.hh
globals.hh
Log message:
The averaging_constraints technique is now called combining_constraints.
Added optional pointer argument to BHRZ03_widening_assign to implement
the ``widening-with-tokens'' technique.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.304&r2=1.305
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.183&r2=1.184
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=ppl&r1=1.28&r2=1.29
More information about the PPL-devel
mailing list