20 Jun
2003
20 Jun
'03
2:31 p.m.
CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-06-20 16:31:43
Modified files: tests : heap
Log message: Changed the mark to 8 functional equations from `ulv' to `ul' because now the system uses the sharper bounds and, only for the lower, the solution holds for `n >= beta' and not for `n >=1'.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=purr...