[PURRS-devel] purrs/src verify.cc
Tatiana Zolo
zolo at spartacus.cs.unipr.it
Fri Jan 9 15:29:29 CET 2004
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo at cs.unipr.it 2004-01-09 15:29:29
Modified files:
src : verify.cc
Log message:
Temporary commented the step 1 of the validation of the lower and
upper bounds because now in the homogeneous part of the solution
occurs the new symbolic function `Sc()'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=purrs&r1=1.6&r2=1.7
More information about the PURRS-devel
mailing list