[m-dev.] request for test cases to exercise tabling statistics

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Nov 8 14:00:57 AEDT 2007

On Mon, 5 Nov 2007, Zoltan Somogyi wrote:

> I have a draft diff for fixing the current code for collecting statistics
> about tabling. This diff makes the system collect a better set of measures
> and hopefully fixes the bugs people found.
> So far, I have a couple of test cases, but these are just variants of
> fibonacci. I would prefer some real test cases. If you have a program
> that uses tabling, please consider sending it to me.

Some of the stock cutting examples in G12 use memoisation, e.g.

mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au

More information about the developers mailing list