27 Jan
2004
27 Jan
'04
11:33 a.m.
CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@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=purr...