[PURRS-devel] purrs/src Recurrence.cc
Tatiana Zolo
zolo at spartacus.cs.unipr.it
Fri Dec 12 09:56:33 CET 2003
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo at cs.unipr.it 2003-12-12 09:56:33
Modified files:
src : Recurrence.cc
Log message:
Activated the new verification's process on linear finite
order recurrences with constant coefficients (which are not solved by
the order reduction method).
Added some FIXME.
The time of the "make check" is remarkably improved.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsroot=purrs&r1=1.146&r2=1.147
More information about the PURRS-devel
mailing list