testboard: Changelog

wenzelm [Mon, 08 May 2017 11:00:20 +0200] rev 65768

more precise profiles;

wenzelm [Mon, 08 May 2017 10:27:13 +0200] rev 65767

suppress "Pure" with its special threads=1 (Jenkins log does not provide threads in ISABELLE_BUILD_OPTIONS);

wenzelm [Mon, 08 May 2017 10:23:12 +0200] rev 65766

more specific workaround (see also ed7b5cd3a7f2);

wenzelm [Sun, 07 May 2017 23:57:20 +0200] rev 65765

cpu time is somewhat redundant for threads=1; tuned output;

wenzelm [Sun, 07 May 2017 23:18:23 +0200] rev 65764

clarified description vs. file name;

wenzelm [Sun, 07 May 2017 22:10:48 +0200] rev 65763

tuned output;

wenzelm [Sun, 07 May 2017 21:42:23 +0200] rev 65762

clarified types;

wenzelm [Sun, 07 May 2017 21:38:16 +0200] rev 65761

more operations;

wenzelm [Sun, 07 May 2017 17:40:41 +0200] rev 65760

more uniform charts; tuned headings;

wenzelm [Sun, 07 May 2017 17:29:38 +0200] rev 65759

always show ml_timing -- in another chart;

testboard