ocaml 3.09 transition

[helm.git] / helm / matita / scripts / public_html / bench.php
diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php

index 95243617ce97eb68504330e956fd7bab6486b633..49bfe6235c74c0621494013a9021d15455b8ff39 100644 (file)
--- a/helm/matita/scripts/public_html/bench.php
+++ b/helm/matita/scripts/public_html/bench.php
@@ -12,7 +12,7 @@ $query_fail = urlencode(
    "select mark, count(distinct test) as fail_no from bench where result = 'fail' group by mark order by mark desc;"
    . "###" . 
    "Tests failed:@@@" .
-  "select distinct mark, test, result from bench where result = 'fail' sort by mark desc;" 
+  "select distinct mark, test, result from bench where result = 'fail' order by mark desc;" 
  );
  $query_gc = urlencode(
    "GC usage @@@" .
@@ -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;");
+
  ?>
  
  <html>
@@ -49,7 +51,8 @@ $query_csc = urlencode("Performances (byte and GC) per mark@@@select mark, SEC_T
        <li><a href="showquery.php?query=<? echo $query_fail; ?>">Broken tests</a></li>
        <li><a href="showquery.php?query=<? echo $query_gc; ?>">Garbage collector killer</a></li>
        <li><a href="showquery.php?query=<? echo $query_auto; ?>">Auto performances</a></li>
-      <li><a href="showquery.php?query=<? echo $query_csc; ?>">Global performances</a></li>
+      <li><a href="showquery.php?query=<? echo $query_csc; ?>">Global performances (bytecode)</a></li>
+      <li><a href="showquery.php?query=<? echo $query_csc_opt; ?>">Global performances (nativecode)</a></li>
        <li><a href="showquery.php?query=<? echo $quey_all; ?>">All table contents</a></li>
        </ul>
      </p>