ocp-memprof: A Non-Intrusive Memory Profiler For OCaml Applications

Applications profiled by Pierre-Marie P├ędrot


Date Command Number of dumps Details (new window)
2015/08/30 at 16:08:49 compact 'Unfolder.vio'41/41See the graphs
2015/08/27 at 13:59:13 compact 'Unfolder.vio'1/1See the graphs
2015/08/27 at 13:53:25 compact 'Unfolder.vio'1/1See the graphs
2015/08/27 at 12:10:16 compact 'Unfolder.vio'2/2See the graphs
2015/06/01 at 13:52:42 coqtop '-R' 'theories' 'Ssreflect' '-I' 'src' '-compile' 'theories/ssrald'2/2See the graphs
2015/06/01 at 13:51:11 coqtop '-R' 'theories' 'Ssreflect' '-I' 'src' '-compile' 'theories/bigop'2/2+1See the graphs