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

Applications profiled by Test Test


Date Command Number of dumps Details (new window)
2016/07/26 at 00:24:41 alt-ergo.opt 'Dekker-Jessie_program-WP_parameter__Dekker_safety_2.why' '-use-fpa' '-prelude' 'fpa-theory-2016-07-21-18h00.why' '-no-tcp' '-nb-triggers' '1' '-no-Ematching' '-timelimit' '30'43/43See the graphs
2016/07/26 at 00:15:47 alt-ergo.opt 'Dekker.jessie/Dekker/Dekker-Jessie_program-WP_parameter__Dekker_safety_2.why' '-use-fpa' '-prelude' 'fpa-theory-2016-07-21-18h00.why' '-no-tcp' '-nb-triggers' '1' '-no-Ematching' '-timelimit' '30'2/2See the graphs
2016/07/26 at 00:14:42 alt-ergo.opt 'Dekker.jessie/Dekker/Dekker-Jessie_program-WP_parameter__Dekker_safety_1.why' '-use-fpa' '-prelude' 'fpa-theory-2016-07-21-18h00.why' '-no-tcp' '-nb-triggers' '1' '-no-Ematching'2/2See the graphs
2016/02/01 at 10:40:21 alt-ergo-1.20~ 'p4_3_part4-B_translation-ccgg_1573.why' 'p4_3_part4-B_translation-ccgg_1573.why.zip' '-no-tcp' '-normalize-instances' '-no-Ematching' '-nb-triggers' '1'44/44+1See the graphs