Changes between Version 13 and Version 14 of RTSsummaryEvents

Show
Ignore:
Timestamp:
12/21/11 08:13:15 (18 months ago)
Author:
MikolajKonarski (IP: 95.160.111.162)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • RTSsummaryEvents

    v13 v14  
    22 
    33A sample output of +RTS -s, annotated with the new required events. More concrete event proposals will follow. 
     4Note that eventually we'd like to generate such a summary for any user-selected time interval of runtime 
     5and we may need more or different events for this or we may choose to skip some information (for example 
     6the INIT or EXIT times do not make sense for an interval). 
    47 
    58{{{