NEWS
changeset 61892 5c68d06f97b3
parent 61859 76189756ff65
parent 61887 acdfc76a6c33
child 61895 e44d5b953f16
     1.1 --- a/NEWS	Sat Dec 19 17:03:17 2015 +0100
     1.2 +++ b/NEWS	Mon Dec 21 21:34:14 2015 +0100
     1.3 @@ -672,6 +672,13 @@
     1.4  tools, but can also cause INCOMPATIBILITY for tools that don't observe
     1.5  the proof context discipline.
     1.6  
     1.7 +* The following combinators for low-level profiling of the ML runtime
     1.8 +system are available:
     1.9 +
    1.10 +  profile_time          (*CPU time*)
    1.11 +  profile_time_thread   (*CPU time on this thread*)
    1.12 +  profile_allocations   (*overall heap allocations*)
    1.13 +
    1.14  
    1.15  *** System ***
    1.16