From: Enrico Tassi Date: Sun, 26 Jun 2005 15:16:57 +0000 (+0000) Subject: the web interface for the benchmarking system X-Git-Tag: INDEXING_NO_PROOFS~62 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=663f8e1c82196b9e3f817bf059edcfcfe22993c3;p=helm.git the web interface for the benchmarking system --- diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php new file mode 100644 index 000000000..7c3f7a3b7 --- /dev/null +++ b/helm/matita/scripts/public_html/bench.php @@ -0,0 +1,72 @@ + + + + + + + +

QUERY the benchmark system

+

Common Queries

+

+

+

+

Custom Query

+
+ + + + + + + + +
Marks: +
Compilations: +
Options: +
Tests: +
Test results: +
Group By: +
+
+ + diff --git a/helm/matita/scripts/public_html/common.php b/helm/matita/scripts/public_html/common.php new file mode 100644 index 000000000..09de758b2 --- /dev/null +++ b/helm/matita/scripts/public_html/common.php @@ -0,0 +1,31 @@ +"; + echo ""; + foreach ($a as $k => $v) { + foreach( array_keys($v) as $k1 => $i) { + echo ""; + } + } + echo ""; +} + +?> diff --git a/helm/matita/scripts/public_html/composequery.php b/helm/matita/scripts/public_html/composequery.php new file mode 100644 index 000000000..683df4daa --- /dev/null +++ b/helm/matita/scripts/public_html/composequery.php @@ -0,0 +1,40 @@ + $x) { + $v = $_GET[$x]; + if($v != "--") { + if($fst == false) { + $rc = $rc . " and "; + } else { + $rc = $rc . " "; + } + $fst = false; + $rc = $rc . $x . " = '" . $v . "'"; + } + } + return $rc; + } + + $gb = $_GET['groupby']; + if($gb != "--") + $what = "mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) as sum_time, SEC_TO_TIME(SUM(TIME_TO_SEC(timeuser))) as sum_timeuser"; + else + $what = "mark, time, timeuser, compilation, test, result, options"; + $clause = clause_for($c); + if($clause != "") + $query = "select $what from bench where " . clause_for($c); + else + $query = "select $what from bench "; + if( $gb != "--"){ + $query = $query. "group by $gb"; + } + $query = $query. ";"; + + header("Location: showquery.php?query=".urlencode("Custom:@@@" . $query)); + exit; +?> diff --git a/helm/matita/scripts/public_html/index.html b/helm/matita/scripts/public_html/index.html new file mode 100644 index 000000000..e08234d20 --- /dev/null +++ b/helm/matita/scripts/public_html/index.html @@ -0,0 +1,11 @@ + + + + + + + +

MATITA BENCHMARKING SYSTEM

+

Go to the benchmark query page

+ + diff --git a/helm/matita/scripts/public_html/showquery.php b/helm/matita/scripts/public_html/showquery.php new file mode 100644 index 000000000..bd54d6a63 --- /dev/null +++ b/helm/matita/scripts/public_html/showquery.php @@ -0,0 +1,45 @@ + + + + + + +

QUERY results

+ $q) { ?> +

+

+ +

+ + "; + foreach( $q[0] as $name => $txt) { + echo ""; + } + echo "\n"; + foreach ($q as $k => $v) { + echo ""; + foreach( $v as $name => $txt) { + echo ""; + } + echo "\n"; + } + ?> +
$name
$txt
+ +

BACK to the query page

+ +