changeset 61892 | 5c68d06f97b3 |
parent 61891 | 76189756ff65 |
parent 61885 | acdfc76a6c33 |
child 61895 | e44d5b953f16 |
--- a/NEWS Sat Dec 19 17:03:17 2015 +0100 +++ b/NEWS Mon Dec 21 21:34:14 2015 +0100 @@ -672,6 +672,13 @@ tools, but can also cause INCOMPATIBILITY for tools that don't observe the proof context discipline. +* The following combinators for low-level profiling of the ML runtime +system are available: + + profile_time (*CPU time*) + profile_time_thread (*CPU time on this thread*) + profile_allocations (*overall heap allocations*) + *** System ***