From 663f8e1c82196b9e3f817bf059edcfcfe22993c3 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 26 Jun 2005 15:16:57 +0000 Subject: [PATCH] the web interface for the benchmarking system --- helm/matita/scripts/public_html/bench.php | 72 +++++++++++++++++++ helm/matita/scripts/public_html/common.php | 31 ++++++++ .../scripts/public_html/composequery.php | 40 +++++++++++ helm/matita/scripts/public_html/index.html | 11 +++ helm/matita/scripts/public_html/showquery.php | 45 ++++++++++++ 5 files changed, 199 insertions(+) create mode 100644 helm/matita/scripts/public_html/bench.php create mode 100644 helm/matita/scripts/public_html/common.php create mode 100644 helm/matita/scripts/public_html/composequery.php create mode 100644 helm/matita/scripts/public_html/index.html create mode 100644 helm/matita/scripts/public_html/showquery.php 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

+ + + 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

+ + -- 2.39.2

Marks:	+
Compilations:	+
Options:	+
Tests:	+
Test results:	+
Group By:	+