NEWS
changeset 61885 acdfc76a6c33
parent 61848 9250e546ab23
child 61892 5c68d06f97b3
     1.1 --- a/NEWS	Mon Dec 21 14:18:57 2015 +0100
     1.2 +++ b/NEWS	Mon Dec 21 15:09:35 2015 +0100
     1.3 @@ -669,6 +669,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