Admin/isatest/isatest-stats
Tue, 12 Nov 2013 12:04:17 +0100 wenzelm updated sessions;
Tue, 24 Sep 2013 11:57:43 +0200 blanchet adapted to reflect renaming of session
Fri, 23 Aug 2013 12:40:55 +0200 wenzelm clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL;
Sat, 01 Jun 2013 12:03:37 +0200 wenzelm updated isatest stats;
Wed, 27 Mar 2013 21:07:10 +0100 wenzelm separate isatest with skip_proofs, to give some impression of performance without most of the proofs;
Sat, 26 Jan 2013 16:51:43 +0100 wenzelm manual update of sessions, based on "isabelle build -nvc";
Fri, 19 Oct 2012 21:18:34 +0200 wenzelm ignore old stuff and thus speed up the script greatly;
Wed, 12 Sep 2012 05:29:21 +0200 blanchet renamed "Ordinals_and_Cardinals" to "Cardinals"
Tue, 20 Mar 2012 13:02:07 +0100 wenzelm more stats;
Sat, 17 Mar 2012 12:52:40 +0100 wenzelm renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP;
Fri, 24 Feb 2012 19:47:00 +0100 wenzelm updated stats according to src/HOL/IsaMakefile;
Thu, 15 Dec 2011 13:40:20 +0100 wenzelm more stats;
Wed, 19 Oct 2011 14:40:49 +0200 wenzelm further cleanup of stats (cf. 97e81a8aa277);
Fri, 14 Oct 2011 11:34:30 +0200 wenzelm more complete stats, including small sessions which provide some clues on main HOL baseline performance;
Mon, 19 Sep 2011 22:45:57 +0200 wenzelm more isatest stats;
Thu, 11 Aug 2011 12:53:41 +0200 wenzelm somewhat more uniform THIS;
Fri, 22 Apr 2011 15:25:01 +0200 wenzelm stats for mac-poly-M2;
Fri, 28 Jan 2011 15:14:52 +0100 wenzelm more precise stats;
Thu, 19 Aug 2010 18:44:26 +0200 wenzelm updated some isatest settings;
Tue, 27 Jul 2010 12:59:22 +0200 wenzelm more precise stats;
Fri, 28 May 2010 11:37:38 +0200 wenzelm discontinued Sun/Solaris tests;
Sat, 01 May 2010 00:23:57 +0200 wenzelm more stats;
Wed, 03 Mar 2010 20:21:30 +0100 wenzelm stats for at-poly-test;
Sun, 03 Jan 2010 15:09:02 +0100 wenzelm updated stats;
Tue, 27 Oct 2009 23:16:18 +0100 wenzelm reactivated sun-poly, as parallel test;
Thu, 22 Oct 2009 17:09:29 +0200 wenzelm updated session name;
Tue, 20 Oct 2009 20:03:23 +0200 wenzelm modernized session SET_Protocol;
Tue, 20 Oct 2009 19:52:04 +0200 wenzelm modernized session Metis_Examples;
Mon, 21 Sep 2009 16:00:34 +0200 haftmann adjusted to new Number Theory scenario
Thu, 27 Aug 2009 17:09:37 +0200 wenzelm more stats;
Thu, 06 Aug 2009 22:30:27 +0200 wenzelm more platforms;
Wed, 29 Jul 2009 21:40:04 +0200 wenzelm proper Jinja-Slicing;
Thu, 25 Jun 2009 13:40:03 +0200 wenzelm more stats;
Sun, 14 Jun 2009 02:38:09 +0200 wenzelm more isatest platforms;
Tue, 24 Mar 2009 13:12:23 +0100 wenzelm process at-sml-dev last -- takes very long (why?);
Sat, 21 Mar 2009 12:35:34 +0100 wenzelm more stats;
Thu, 26 Feb 2009 16:59:04 +0100 wenzelm include HOL-Decision_Procs in stats;
Thu, 01 Jan 2009 10:42:48 +0100 wenzelm updated sessions;
Wed, 15 Oct 2008 19:43:11 +0200 wenzelm removed obsolete Complex sessions;
Wed, 08 Oct 2008 19:30:15 +0200 wenzelm added HOL-Main;
Thu, 03 Jul 2008 19:17:52 +0200 wenzelm more sessions;
Wed, 02 Jul 2008 21:43:57 +0200 wenzelm moved HOL-Plain up;
Tue, 01 Jul 2008 20:10:59 +0200 wenzelm added HOL-Plain;
Sat, 14 Jun 2008 15:58:36 +0200 wenzelm proper name for LinearQuantifierElim;
Thu, 05 Jun 2008 14:28:02 +0200 wenzelm added at-poly-5.1-para-e;
Fri, 30 May 2008 23:10:53 +0200 wenzelm more AFP sessions;
Fri, 30 May 2008 01:46:52 +0200 wenzelm more AFP sessions;
Thu, 28 Feb 2008 00:04:47 +0100 wenzelm added HOL-Library;
Wed, 05 Dec 2007 20:16:36 +0100 wenzelm removed -e flag from most sessions;
Thu, 04 Oct 2007 16:21:31 +0200 wenzelm cover AFP logs as well, using "afp" pseudo-platform;
Thu, 30 Aug 2007 17:09:02 +0200 wenzelm added some more entries;
Sat, 18 Aug 2007 00:22:22 +0200 wenzelm added at-poly-5.1-para;
Wed, 20 Jun 2007 23:15:25 +0200 wenzelm added HOL-Nominal-Examples;
Mon, 05 Mar 2007 22:12:20 +0100 kleing moved all isatest/cron job related files to own directory
less more (0) tip