isabelle: Admin/isatest/isatest-stats@edceda92a435 (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	# Author: Makarius
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	4	#
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	5	# DESCRIPTION: Standard statistics.
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	6
44152 a07748619f53 somewhat more uniform THIS; wenzelm parents: 42461 diff changeset	7	THIS="$(cd "$(dirname "$0")"; pwd)"
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	8
51562 5fffa75d2432 separate isatest with skip_proofs, to give some impression of performance without most of the proofs; wenzelm parents: 51059 diff changeset	9	PLATFORMS="at-poly at-poly-test afp at64-poly mac-poly-M2 mac-poly-M4 mac-poly64-M2 mac-poly64-M4 mac-poly-M8 mac-poly-M8-skip_proofs mac-poly64-M8 at-sml-dev"
24831 887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	10
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	11	ISABELLE_SESSIONS="
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	12	HOL
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	13	HOL-Algebra
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	14	HOL-Auth
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	15	HOL-Bali
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	16	HOL-Cardinals
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	17	HOL-Codegenerator_Test
59181 385e20f2aab4 more accurate selection of sessions; wenzelm parents: 54395 diff changeset	18	HOL-Datatype_Examples
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	19	HOL-Decision_Procs
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	20	HOL-Eisbach
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	21	HOL-Hahn_Banach
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	22	HOL-Hoare
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	23	HOL-Hoare_Parallel
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	24	HOL-IMP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	25	HOL-IMPP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	26	HOL-IOA
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	27	HOL-Imperative_HOL
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	28	HOL-Import
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	29	HOL-Induct
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	30	HOL-Isar_Examples
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	31	HOL-Lattice
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	32	HOL-Library
46988 9f492f5b0cec renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP; wenzelm parents: 46651 diff changeset	33	HOL-Matrix_LP
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	34	HOL-Metis_Examples
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	35	HOL-MicroJava
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	36	HOL-Mirabelle
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	37	HOL-Mirabelle-ex
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	38	HOL-Multivariate_Analysis
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	39	HOL-Multivariate_Analysis-ex
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	40	HOL-Mutabelle
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	41	HOL-NSA
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	42	HOL-NSA-Examples
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	43	HOL-NanoJava
59181 385e20f2aab4 more accurate selection of sessions; wenzelm parents: 54395 diff changeset	44	HOL-Nitpick_Examples
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	45	HOL-Nominal
45142 97e81a8aa277 more complete stats, including small sessions which provide some clues on main HOL baseline performance; wenzelm parents: 44993 diff changeset	46	HOL-Nominal-Examples
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	47	HOL-Number_Theory
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	48	HOL-Old_Number_Theory
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	49	HOL-Predicate_Compile_Examples
45142 97e81a8aa277 more complete stats, including small sessions which provide some clues on main HOL baseline performance; wenzelm parents: 44993 diff changeset	50	HOL-Probability
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	51	HOL-Prolog
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	52	HOL-Proofs
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	53	HOL-Proofs-Extraction
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	54	HOL-Proofs-Lambda
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	55	HOL-Proofs-ex
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	56	HOL-Quickcheck_Benchmark
46651 1258eab48270 updated stats according to src/HOL/IsaMakefile; wenzelm parents: 45888 diff changeset	57	HOL-Quickcheck_Examples
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	58	HOL-Quotient_Examples
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	59	HOL-Record_Benchmark
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	60	HOL-SET_Protocol
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	61	HOL-SPARK
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	62	HOL-SPARK-Examples
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	63	HOL-SPARK-Manual
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	64	HOL-Statespace
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	65	HOL-TLA
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	66	HOL-TLA-Buffer
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	67	HOL-TLA-Inc
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	68	HOL-TLA-Memory
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	69	HOL-TPTP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	70	HOL-UNITY
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	71	HOL-Unix
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	72	HOL-Word
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	73	HOL-Word-Examples
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	74	HOL-Word-SMT_Examples
45142 97e81a8aa277 more complete stats, including small sessions which provide some clues on main HOL baseline performance; wenzelm parents: 44993 diff changeset	75	HOL-ZF
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	76	HOL-ex
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	77	HOLCF
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	78	HOLCF-FOCUS
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	79	HOLCF-IMP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	80	HOLCF-Library
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	81	HOLCF-Tutorial
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	82	HOLCF-ex
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	83	IOA
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	84	IOA-ABP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	85	IOA-NTP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	86	IOA-Storage
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	87	IOA-ex
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	88	Pure
53164 beb4ee344c22 clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL; wenzelm parents: 52283 diff changeset	89	Spec_Check
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	90	ZF
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	91	ZF-AC
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	92	ZF-Coind
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	93	ZF-Constructible
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	94	ZF-IMP
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	95	ZF-Induct
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	96	ZF-Resid
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	97	ZF-UNITY
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	98	ZF-ex
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	99	"
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	100
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	101	AFP_SESSIONS="
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	102	AODV
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	103	AVL-Trees
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	104	AWN
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	105	Abortable_Linearizable_Modules
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	106	Abstract-Hoare-Logics
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	107	Abstract-Rewriting
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	108	Abstract_Completeness
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	109	Affine_Arithmetic
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	110	Akra_Bazzi
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	111	Amortized_Complexity
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	112	ArrowImpossibilityGS
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	113	AutoFocus-Stream
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	114	Automatic_Refinement
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	115	BDD
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	116	BinarySearchTree
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	117	Binomial-Heaps
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	118	Binomial-Queues
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	119	Bondy
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	120	Boolean_Expression_Checkers
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	121	Bounded_Deducibility_Security
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	122	BytecodeLogicJmlTypes
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	123	CAVA_Automata
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	124	CAVA_Base
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	125	CAVA_LTL_Modelchecker
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	126	CAVA_buildchain1
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	127	CAVA_buildchain3
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	128	CCS
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	129	CISC-Kernel
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	130	Call_Arity
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	131	Case_Labeling
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	132	Category
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	133	Category2
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	134	Cauchy
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	135	Cayley_Hamilton
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	136	Certification_Monads
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	137	Circus
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	138	ClockSynchInst
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	139	CofGroups
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	140	Coinductive
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	141	Coinductive_Languages
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	142	Collections
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	143	Collections_Examples
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	144	Compiling-Exceptions-Correctly
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	145	Completeness
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	146	ComponentDependencies
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	147	ConcurrentGC
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	148	ConcurrentIMP
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	149	Consensus_Refined
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	150	Containers
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	151	Containers-Benchmarks
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	152	CoreC++
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	153	CryptoBasedCompositionalProperties
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	154	DPT-SAT-Solver
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	155	DataRefinementIBP
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	156	Datatype_Order_Generator
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	157	Decreasing-Diagrams
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	158	Decreasing-Diagrams-II
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	159	Density_Compiler
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	160	Depth-First-Search
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	161	Derangements
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	162	Deriving
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	163	Dijkstra_Shortest_Path
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	164	Discrete_Summation
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	165	DiskPaxos
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	166	Dynamic_Tables
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	167	Echelon_Form
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	168	Efficient-Mergesort
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	169	Encodability_Process_Calculi
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	170	Example-Submission
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	171	FFT
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	172	FOL-Fitting
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	173	FeatherweightJava
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	174	Featherweight_OCL
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	175	Fermat3_4
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	176	FileRefinement
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	177	FinFun
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	178	Finger-Trees
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	179	Finite_Automata_HF
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	180	Flyspeck-Tame
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	181	FocusStreamsCaseStudies
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	182	Formula_Derivatives
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	183	Formula_Derivatives-Examples
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	184	Free-Boolean-Algebra
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	185	Free-Groups
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	186	FunWithFunctions
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	187	FunWithTilings
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	188	Functional-Automata
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	189	GPU_Kernel_PL
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	190	Gabow_SCC
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	191	Gauss-Jordan-Elim-Fun
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	192	Gauss_Jordan
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	193	GenClock
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	194	General-Triangle
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	195	Girth_Chromatic
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	196	GoedelGod
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	197	GraphMarkingIBP
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	198	Graph_Theory
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	199	Group-Ring-Module
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	200	HOLCF-HOL-Library
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	201	HOLCF-Nominal2
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	202	HRB-Slicing
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	203	Heard_Of
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	204	HereditarilyFinite
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	205	Hermite
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	206	HotelKeyCards
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	207	Huffman
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	208	HyperCTL
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	209	IEEE_Floating_Point
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	210	Imperative_Insertion_Sort
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	211	Impossible_Geometry
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	212	Incompleteness
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	213	Inductive_Confidentiality
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	214	InformationFlowSlicing
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	215	InformationFlowSlicing_Inter
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	216	InformationFlowSlicing_Intra
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	217	Integration
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	218	JNF-AFP-Lib
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	219	JNF-HOL-Lib
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	220	Jinja
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	221	JinjaThreads
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	222	JiveDataStoreModel
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	223	Jordan_Hoelder
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	224	Jordan_Normal_Form
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	225	KAT_and_DRA
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	226	KBPs
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	227	Kleene_Algebra
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	228	Koenigsberg_Friendship
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	229	Koenigsberg_Friendship_Base
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	230	LTL_to_GBA
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	231	Lam-ml-Normalization
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	232	Landau_Symbols
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	233	LatticeProperties
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	234	Launchbury
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	235	Lazy-Lists-II
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	236	Lehmer
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	237	Lifting_Definition_Option
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	238	LightweightJava
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	239	LinearQuantifierElim
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	240	List-Index
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	241	List-Infinite
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	242	List_Interleaving
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	243	Locally-Nameless-Sigma
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	244	Lower_Semicontinuous
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	245	MSO_Examples
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	246	MSO_Regex_Equivalence
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	247	Markov_Models
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	248	Marriage
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	249	Matrix
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	250	Max-Card-Matching
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	251	MiniML
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	252	MonoBoolTranAlgebra
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	253	MuchAdoAboutTwo
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	254	Multirelations
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	255	Myhill-Nerode
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	256	Nat-Interval-Logic
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	257	Native_Word
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	258	Network_Security_Policy_Verification
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	259	Nominal2
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	260	Noninterference_CSP
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	261	Noninterference_Generic_Unwinding
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	262	Noninterference_Inductive_Unwinding
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	263	Noninterference_Ipurge_Unwinding
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	264	NormByEval
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	265	Old_Datatype_Show
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	266	Open_Induction
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	267	Ordinal
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	268	Ordinals_and_Cardinals
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	269	Ordinary_Differential_Equations
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	270	PCF
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	271	POPLmark-deBruijn
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	272	Partial_Function_MR
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	273	Perfect-Number-Thm
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	274	Pi_Calculus
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	275	Polynomials
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	276	Pop_Refinement
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	277	Possibilistic_Noninterference
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	278	Pratt_Certificate
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	279	Presburger-Automata
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	280	Priority_Queue_Braun
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	281	Probabilistic_Noninterference
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	282	Probabilistic_System_Zoo
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	283	Probabilistic_System_Zoo-BNFs
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	284	Probabilistic_System_Zoo-Non_BNFs
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	285	Program-Conflict-Analysis
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	286	Promela
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	287	PseudoHoops
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	288	Psi_Calculi
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	289	QR_Decomposition
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	290	RIPEMD-160-SPARK
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	291	RSAPSS
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	292	Ramsey-Infinite
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	293	Random_Graph_Subgraph_Threshold
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	294	Rank_Nullity_Theorem
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	295	Real_Impl
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	296	Recursion-Theory-I
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	297	Refine_Monadic
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	298	RefinementReactive
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	299	Regex_Equivalence
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	300	Regex_Equivalence_Examples
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	301	Regular-Sets
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	302	Regular_Algebras
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	303	Relation_Algebra
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	304	Rep_Fin_Groups
528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	305	Residuated_Lattices
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	306	Ribbon_Proofs
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	307	Robbins-Conjecture
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	308	Roy_Floyd_Warshall
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	309	SATSolverVerification
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	310	SIFPL
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	311	SIFUM_Type_Systems
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	312	Secondary_Sylow
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	313	Selection_Heap_Sort
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	314	SenSocialChoice
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	315	Separation_Algebra
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	316	Separation_Logic_Imperative_HOL
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	317	SequentInvertibility
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	318	Shivers-CFA
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	319	ShortestPath
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	320	Show
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	321	Simpl
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	322	Skew_Heap
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	323	Slicing
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	324	Sort_Encodings
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	325	Special_Function_Bounds
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	326	Splay_Tree
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	327	Sqrt_Babylonian
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	328	Statecharts
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	329	Stream-Fusion
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	330	Stream_Fusion_Code
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	331	Strong_Security
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	332	Sturm_Sequences
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	333	Sturm_Tarski
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	334	Stuttering_Equivalence
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	335	SumSquares
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	336	TLA
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	337	Tail_Recursive_Functions
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	338	Tarskis_Geometry
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	339	Topology
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	340	Transitive-Closure
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	341	Transitive-Closure-II
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	342	Tree-Automata
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	343	Trie
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	344	Tycon
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	345	UPF
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	346	UpDown_Scheme
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	347	Valuation
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	348	VectorSpace
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	349	Verified-Prover
61078 528dec1c400b updated sessions; wenzelm parents: 59182 diff changeset	350	Vickrey_Clarke_Groves
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	351	VolpanoSmith
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	352	WHATandWHERE_Security
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	353	Well_Quasi_Orders
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	354	WorkerWrapper
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	355	XML
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	356	pGCL
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	357	"
24831 887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	358
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	359	for PLATFORM in $PLATFORMS
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	360	do
24831 887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	361	if [ "$PLATFORM" = afp ]; then
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	362	SESSIONS="$AFP_SESSIONS"
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	363	else
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	364	SESSIONS="$ISABELLE_SESSIONS"
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	365	fi
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	366
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	367	"$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" ${1:-100} $SESSIONS
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	368	cat > "stats/$PLATFORM.html" <<EOF
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	369	<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	370	<html>
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	371	<head><title>Development Snapshot -- Performance Statistics</title></head>
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	372
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	373	<body>
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	374	<h1>$PLATFORM</h1>
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	375	EOF
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	376
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	377	for SESSION in $SESSIONS
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	378	do
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	379	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	380	done
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	381
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	382	echo "</body>" >> "stats/$PLATFORM.html"
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	383	echo "</html>" >> "stats/$PLATFORM.html"
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	384
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	385	done

author	blanchet
	Sat, 19 Dec 2015 20:02:51 +0100
changeset 61859	edceda92a435
parent 61078	528dec1c400b
child 62354	fdd6989cc8a0
permissions	-rwxr-xr-x