CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-01-27 13:01:08
Modified files:
src : verify.cc
Log message:
Improved the method `verify_exact_solution()' so that also in
the case of weighted-average recurrences if the system fails in the
validation of the solution then tries to verify the solution of the
associated first order recurrence.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-01-27 12:33:00
Modified files:
tests : heap
Log message:
Changed the mark from `yv' to `yp' to the linear finite order
recurrences solved with the order reduction method.
Marked with `yp' also the non-linear recurrences for which the system
is not able to verify the solution but is able to verify the solution
of the associated linear recurrence.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…
