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/41 | See the graphs |
| 2015/08/27 at 13:59:13 | compact 'Unfolder.vio' | 1/1 | See the graphs |
| 2015/08/27 at 13:53:25 | compact 'Unfolder.vio' | 1/1 | See the graphs |
| 2015/08/27 at 12:10:16 | compact 'Unfolder.vio' | 2/2 | See the graphs |
| 2015/06/01 at 13:52:42 | coqtop '-R' 'theories' 'Ssreflect' '-I' 'src' '-compile' 'theories/ssrald' | 2/2 | See the graphs |
| 2015/06/01 at 13:51:11 | coqtop '-R' 'theories' 'Ssreflect' '-I' 'src' '-compile' 'theories/bigop' | 2/2+1 | See the graphs |