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

Applications profiled by Guillaume Bury


Date Command Number of dumps Details (new window)
2015/03/17 at 18:05:53 main.native '/home/guigui/build/zipperposition/pelletier_problems/pb46.p' '-s' '4G' '--inst.nb' '1'15/15See the graphs
2015/03/17 at 17:44:49 main.native '/home/guigui/build/zipperposition/pelletier_problems/equivalence.p' '-s' '4G' '-t' '30s' '--inst.nb' '1'13/13See the graphs