isabelle: Admin/isatest/isatest-stats@4562584d9d66 (annotated)

22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	1	#!/usr/bin/env bash
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	2	#
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	3	# $Id$
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	4	# Author: Makarius
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	5	#
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	6	# DESCRIPTION: Standard statistics.
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	7
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	8	THIS=$(cd "$(dirname "$0")"; pwd -P)
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	9
27086 b7c8b3bb8954 added at-poly-5.1-para-e; wenzelm parents: 27028 diff changeset	10	PLATFORMS="at-poly at-sml-dev at64-poly at-poly-5.1-para-e at64-poly-5.1-para at-mac-poly-5.1-para afp"
24831 887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	11
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	12	ISABELLE_SESSIONS="\
27448 28914fe628c8 moved HOL-Plain up; wenzelm parents: 27429 diff changeset	13	HOL-Plain \
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	14	HOL \
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	15	HOL-Algebra \
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	16	HOL-Auth \
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	17	HOL-Bali \
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	18	HOL-Complex \
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	19	HOL-Complex-ex \
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	20	HOL-Extraction \
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	21	HOL-Hoare \
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	22	HOL-HoareParallel \
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	23	HOL-Lambda \
26172 fa302c5bc2f2 added HOL-Library; wenzelm parents: 25547 diff changeset	24	HOL-Library \
24489 d4967d2188d6 added some more entries; wenzelm parents: 24317 diff changeset	25	HOL-MetisExamples \
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	26	HOL-MicroJava \
27478 ac3b0f881d89 more sessions; wenzelm parents: 27448 diff changeset	27	HOL-NSA \
23443 fd8ffc8a5709 added HOL-Nominal-Examples; wenzelm parents: 22410 diff changeset	28	HOL-Nominal-Examples \
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	29	HOL-NumberTheory \
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	30	HOL-SET-Protocol \
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	31	HOL-UNITY \
27478 ac3b0f881d89 more sessions; wenzelm parents: 27448 diff changeset	32	HOL-Word \
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	33	HOL-ex \
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	34	ZF \
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	35	ZF-Constructible\
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	36	ZF-UNITY"
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	37
24831 887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	38	AFP_SESSIONS="\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	39	CoreC++\
27199 0a451e1e6176 proper name for LinearQuantifierElim; wenzelm parents: 27086 diff changeset	40	LinearQuantifierElim\
24831 887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	41	HOL-DiskPaxos\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	42	HOL-Fermat3_4\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	43	HOL-Flyspeck-Tame\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	44	HOL-Group-Ring-Module\
27028 12c329e4d1cc more AFP sessions; wenzelm parents: 27023 diff changeset	45	HOL-JinjaThreads\
24831 887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	46	HOL-Jinja\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	47	HOL-JiveDataStoreModel\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	48	HOL-POPLmark-deBruijn\
27028 12c329e4d1cc more AFP sessions; wenzelm parents: 27023 diff changeset	49	HOL-Program-Conflict-Analysis\
24831 887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	50	HOL-RSAPSS\
27028 12c329e4d1cc more AFP sessions; wenzelm parents: 27023 diff changeset	51	HOL-Recursion-Theory-I\
24831 887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	52	HOL-SumSquares\
27028 12c329e4d1cc more AFP sessions; wenzelm parents: 27023 diff changeset	53	HOL-Topology\
27023 6b2386074e5c more AFP sessions; wenzelm parents: 26172 diff changeset	54	HOL-Valuation\
27028 12c329e4d1cc more AFP sessions; wenzelm parents: 27023 diff changeset	55	Simpl-BDD\
12c329e4d1cc more AFP sessions; wenzelm parents: 27023 diff changeset	56	Simpl"
24831 887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	57
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	58	for PLATFORM in $PLATFORMS
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	59	do
24831 887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	60	if [ "$PLATFORM" = afp ]; then
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	61	SESSIONS="$AFP_SESSIONS"
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	62	else
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	63	SESSIONS="$ISABELLE_SESSIONS"
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	64	fi
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	65
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	66	"$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" ${1:-100} $SESSIONS
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	67	cat > "stats/$PLATFORM.html" <<EOF
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	68	<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	69	<html>
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	70	<head><title>Development Snapshot -- Performance Statistics</title></head>
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	71
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	72	<body>
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	73	<h1>$PLATFORM</h1>
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	74	EOF
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	75
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	76	for SESSION in $SESSIONS
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	77	do
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	78	echo "<br><img src="$PLATFORM/$SESSION.png"><br>" >> "stats/$PLATFORM.html"
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	79	done
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	80
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	81	echo "</body>" >> "stats/$PLATFORM.html"
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	82	echo "</html>" >> "stats/$PLATFORM.html"
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	83
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	84	done

author	wenzelm
	Wed, 24 Sep 2008 19:39:25 +0200
changeset 28345	4562584d9d66
parent 27478	ac3b0f881d89
child 28530	843b35caa8c4
permissions	-rwxr-xr-x