CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@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?cvsro...