From d030b84329fe6651504c3c481121494f02224350 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 28 Oct 2005 21:35:00 +0000 Subject: [PATCH] New "global performances" bench (for native code). --- helm/matita/scripts/public_html/bench.php | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php index 07b468cc8..49bfe6235 100644 --- a/helm/matita/scripts/public_html/bench.php +++ b/helm/matita/scripts/public_html/bench.php @@ -35,6 +35,8 @@ $query_auto = urlencode( $query_csc = urlencode("Performances (byte and GC) per mark@@@select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) as sum_time, SEC_TO_TIME(SUM(TIME_TO_SEC(timeuser))) as sum_timeuser from bench where options = 'gc-on' and compilation = 'byte'group by mark order by mark desc;"); +$query_csc_opt = urlencode("Performances (opt and GC) per mark@@@select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) as sum_time, SEC_TO_TIME(SUM(TIME_TO_SEC(timeuser))) as sum_timeuser from bench where options = 'gc-on' and compilation = 'opt'group by mark order by mark desc;"); + ?> @@ -49,7 +51,8 @@ $query_csc = urlencode("Performances (byte and GC) per mark@@@select mark, SEC_T
  • Broken tests
  • Garbage collector killer
  • Auto performances
    • -
  • Global performances
    • +
  • Global performances (bytecode)
    • +
  • Global performances (nativecode)
  • All table contents

    • -- 2.39.2