mcl cons monitoring support?

[Martin Stanley <mts@cs.toronto.edu>]

In the Kantrowitz monitoring package:

Has anyone implemented support for cons metering under mcl 2.0b1p3?

Thanks in advance.

Martin

PS - I find the timing stuff very useful.

-------------------------------------------------------------------------------
Martin Stanley                                  Department of Computer Science
mts@ai.toronto.edu  -or-                        University of Toronto
mts@ai.utoronto.ca                              Pratt Building, Room 265A
                                                6 Kings College Circle
                                                Toronto, Ontario
                                                (416) 978-7569
-------------------------------------------------------------------------------