[PURRS-devel] purrs/src verify.cc
Tatiana Zolo
zolo at cs.unipr.it
Tue Feb 17 16:57:18 CET 2004
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo at cs.unipr.it 2004-02-17 16:57:18
Modified files:
src : verify.cc
Log message:
Improved the method `validate_initial_conditions()' in the case
of not symbolic solution.
Minor bug fixed in the method `verify_finite_order()' in the case
of not symbolic solution.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=purrs&r1=1.16&r2=1.17
More information about the PURRS-devel
mailing list