[PURRS-devel] purrs/tests heap

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...