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

Applications profiled by Boris Yakobowski


Date Command Number of dumps Details (new window)
2015/02/04 at 11:33:35 frama-c '-load-module' './.frama-c/Frama_c_journal.cmxs'22/22See the graphs
2015/02/03 at 18:14:24 ocamlopt.opt '-shared' '-o' './.frama-c/Frama_c_journal.cmxs' '-w' 'Ly' '-warn-error' 'A' '-I' '/home/boris/lib/frama-c' '-I' '/home/boris/lib/frama-c/plugins' '-I' './.frama-c' './.frama-c/frama_c_journal.ml'1/1See the graphs
2015/02/03 at 18:14:23 frama-c '-load-script' './.frama-c/frama_c_journal.ml'18/18See the graphs
2015/02/03 at 14:12:40 frama-c7/7See the graphs
2015/02/03 at 14:06:52 toplevel.opt7/7See the graphs