| Tue, 12 Nov 2013 12:04:17 +0100 |
wenzelm |
updated sessions;
|
file |
diff |
annotate
|
| Tue, 24 Sep 2013 11:57:43 +0200 |
blanchet |
adapted to reflect renaming of session
|
file |
diff |
annotate
|
| Fri, 23 Aug 2013 12:40:55 +0200 |
wenzelm |
clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2013 12:03:37 +0200 |
wenzelm |
updated isatest stats;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Sat, 26 Jan 2013 16:51:43 +0100 |
wenzelm |
manual update of sessions, based on "isabelle build -nvc";
|
file |
diff |
annotate
|
| Fri, 19 Oct 2012 21:18:34 +0200 |
wenzelm |
ignore old stuff and thus speed up the script greatly;
|
file |
diff |
annotate
|
| Wed, 12 Sep 2012 05:29:21 +0200 |
blanchet |
renamed "Ordinals_and_Cardinals" to "Cardinals"
|
file |
diff |
annotate
|
| Tue, 20 Mar 2012 13:02:07 +0100 |
wenzelm |
more stats;
|
file |
diff |
annotate
|
| Sat, 17 Mar 2012 12:52:40 +0100 |
wenzelm |
renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2012 19:47:00 +0100 |
wenzelm |
updated stats according to src/HOL/IsaMakefile;
|
file |
diff |
annotate
|
| Thu, 15 Dec 2011 13:40:20 +0100 |
wenzelm |
more stats;
|
file |
diff |
annotate
|
| Wed, 19 Oct 2011 14:40:49 +0200 |
wenzelm |
further cleanup of stats (cf. 97e81a8aa277);
|
file |
diff |
annotate
|
| Fri, 14 Oct 2011 11:34:30 +0200 |
wenzelm |
more complete stats, including small sessions which provide some clues on main HOL baseline performance;
|
file |
diff |
annotate
|
| Mon, 19 Sep 2011 22:45:57 +0200 |
wenzelm |
more isatest stats;
|
file |
diff |
annotate
|
| Thu, 11 Aug 2011 12:53:41 +0200 |
wenzelm |
somewhat more uniform THIS;
|
file |
diff |
annotate
|
| Fri, 22 Apr 2011 15:25:01 +0200 |
wenzelm |
stats for mac-poly-M2;
|
file |
diff |
annotate
|
| Fri, 28 Jan 2011 15:14:52 +0100 |
wenzelm |
more precise stats;
|
file |
diff |
annotate
|
| Thu, 19 Aug 2010 18:44:26 +0200 |
wenzelm |
updated some isatest settings;
|
file |
diff |
annotate
|
| Tue, 27 Jul 2010 12:59:22 +0200 |
wenzelm |
more precise stats;
|
file |
diff |
annotate
|
| Fri, 28 May 2010 11:37:38 +0200 |
wenzelm |
discontinued Sun/Solaris tests;
|
file |
diff |
annotate
|
| Sat, 01 May 2010 00:23:57 +0200 |
wenzelm |
more stats;
|
file |
diff |
annotate
|
| Wed, 03 Mar 2010 20:21:30 +0100 |
wenzelm |
stats for at-poly-test;
|
file |
diff |
annotate
|
| Sun, 03 Jan 2010 15:09:02 +0100 |
wenzelm |
updated stats;
|
file |
diff |
annotate
|
| Tue, 27 Oct 2009 23:16:18 +0100 |
wenzelm |
reactivated sun-poly, as parallel test;
|
file |
diff |
annotate
|
| Thu, 22 Oct 2009 17:09:29 +0200 |
wenzelm |
updated session name;
|
file |
diff |
annotate
|
| Tue, 20 Oct 2009 20:03:23 +0200 |
wenzelm |
modernized session SET_Protocol;
|
file |
diff |
annotate
|
| Tue, 20 Oct 2009 19:52:04 +0200 |
wenzelm |
modernized session Metis_Examples;
|
file |
diff |
annotate
|
| Mon, 21 Sep 2009 16:00:34 +0200 |
haftmann |
adjusted to new Number Theory scenario
|
file |
diff |
annotate
|
| Thu, 27 Aug 2009 17:09:37 +0200 |
wenzelm |
more stats;
|
file |
diff |
annotate
|