CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2003-04-10 14:08:35

Modified files: src : ConSys.cc GenSys.cc Polyhedron_widenings.cc conversion.cc

Log message: Strong normalization of rows called when EXTRA_NORMALIZATION is set; otherwise use (simple) normalization.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot...