Wed, 21 Nov 2012 15:50:54 +0100 |
wenzelm |
more generous timeout for SML/NJ, which is approx. 40-80 times slower than Poly/ML;
|
file |
diff |
annotate
|
Tue, 20 Nov 2012 13:27:24 +0100 |
wenzelm |
global default for session timeout;
|
file |
diff |
annotate
|
Sat, 27 Oct 2012 20:59:50 +0200 |
wenzelm |
longer log, to accomodate final status line of isabelle build;
|
file |
diff |
annotate
|
Mon, 30 Jul 2012 16:40:21 +0200 |
wenzelm |
updated isatest to isabelle build, which also includes doc-src sessions;
|
file |
diff |
annotate
|
Sat, 14 Jul 2012 21:15:41 +0200 |
wenzelm |
removed some old/unused stuff;
|
file |
diff |
annotate
|
Sat, 14 Jul 2012 21:05:29 +0200 |
wenzelm |
actually remove former atbroy102/cygwin stuff (cf. 6301046146b6, 08cb859c53cd);
|
file |
diff |
annotate
|
Mon, 09 Jul 2012 21:08:40 +0200 |
krauss |
abandoned import of isatest reports into (old version of) mira -- unstable, and not worth the maintenance effort
|
file |
diff |
annotate
|
Wed, 27 Jun 2012 17:36:24 +0200 |
wenzelm |
more tests on lxbroy[234], which are 4 core Xeon machines;
|
file |
diff |
annotate
|
Tue, 26 Jun 2012 15:55:02 +0200 |
wenzelm |
use macbroy27 instead of macbroy28, which is broken for several weeks already;
|
file |
diff |
annotate
|
Wed, 28 Dec 2011 13:13:27 +0100 |
wenzelm |
discontinued broken macbroy5 and thus the obsolete ppc-darwin platform;
|
file |
diff |
annotate
|
Wed, 28 Dec 2011 13:08:18 +0100 |
wenzelm |
more selective target "full" -- avoid failure of HOL-Datatype_Benchmark on 32bit platforms;
|
file |
diff |
annotate
|
Wed, 14 Dec 2011 12:10:44 +0100 |
wenzelm |
some full isatest runs, which include benchmark targets;
|
file |
diff |
annotate
|
Sun, 18 Sep 2011 16:33:30 +0200 |
wenzelm |
isatest settings for macbroy6 (Mac OS X Lion);
|
file |
diff |
annotate
|
Mon, 14 Mar 2011 15:13:00 +0100 |
wenzelm |
isatest: fresh copy of settings avoids odd cumulative environment;
|
file |
diff |
annotate
|
Fri, 24 Sep 2010 15:37:36 +0200 |
wenzelm |
isatest: indicate Isabelle version;
|
file |
diff |
annotate
|
Mon, 16 Aug 2010 10:05:00 +0100 |
kleing |
removed non-BSD compatible option from cp
|
file |
diff |
annotate
|
Wed, 21 Jul 2010 16:29:20 +0200 |
wenzelm |
reactivate SML/NJ test on macbroy28, while macbroy23 is unavailable;
|
file |
diff |
annotate
|
Fri, 28 May 2010 11:37:38 +0200 |
wenzelm |
discontinued Sun/Solaris tests;
|
file |
diff |
annotate
|
Fri, 16 Apr 2010 10:15:00 +0200 |
wenzelm |
isatest: improved treatment of local files on atbroy102;
|
file |
diff |
annotate
|
Wed, 14 Apr 2010 11:11:23 +0200 |
wenzelm |
adapted PUBLISH_TEST for atbroy102, which only mounts /home/isatest;
|
file |
diff |
annotate
|
Fri, 02 Apr 2010 17:20:43 +0200 |
wenzelm |
isatest: basic setup for cygwin-poly on atbroy102;
|
file |
diff |
annotate
|
Mon, 26 Oct 2009 20:45:24 +0100 |
wenzelm |
reactivated test on sunbroy2 -- with full proof parallelism (requires Poly/ML-SVN-921);
|
file |
diff |
annotate
|
Thu, 15 Oct 2009 23:51:22 +0200 |
wenzelm |
sunbroy2: back to single-threaded mode for now -- deadlock in Poly/ML 5.3-SVN-900;
|
file |
diff |
annotate
|
Wed, 14 Oct 2009 16:45:26 +0200 |
wenzelm |
tuned make parameters for sunbroy2;
|
file |
diff |
annotate
|
Thu, 08 Oct 2009 20:56:40 +0200 |
krauss |
isatest: store test identifiers
|
file |
diff |
annotate
|
Thu, 03 Sep 2009 14:40:52 +0200 |
krauss |
isatest: collect test results and logs in testdata repository
|
file |
diff |
annotate
|
Thu, 27 Aug 2009 11:54:05 +0200 |
wenzelm |
avoid macbroy21 for now -- hardware problems;
|
file |
diff |
annotate
|
Tue, 04 Aug 2009 13:29:52 +0200 |
wenzelm |
options for more precise performance figures of at-poly, which happens to run on macbroy21;
|
file |
diff |
annotate
|
Fri, 24 Jul 2009 11:30:32 +0200 |
wenzelm |
make: keep going by default;
|
file |
diff |
annotate
|
Fri, 12 Jun 2009 20:26:34 +0200 |
wenzelm |
eliminated cvs ids;
|
file |
diff |
annotate
|
Fri, 12 Jun 2009 20:20:41 +0200 |
wenzelm |
more isatests;
|
file |
diff |
annotate
|
Sat, 06 Jun 2009 23:43:07 +0200 |
wenzelm |
no parallel make jobs on macbroy23, which is the machine where SML/XL is tested -- attempt to consume less resources;
|
file |
diff |
annotate
|
Fri, 05 Dec 2008 11:33:03 +1100 |
kleing |
run test for sunbroy2 on /tmp,
|
file |
diff |
annotate
|
Wed, 15 Oct 2008 00:18:19 +0200 |
kleing |
log start of test session
|
file |
diff |
annotate
|
Thu, 09 Oct 2008 09:18:32 +0200 |
kleing |
do logging to MASTERLOG centrally (avoid multiple writers over NFS as
|
file |
diff |
annotate
|
Wed, 08 Oct 2008 00:25:38 +0200 |
kleing |
make the test for experimental sessions in isatest-check actually work
|
file |
diff |
annotate
|
Sat, 04 Oct 2008 17:40:56 +0200 |
wenzelm |
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
|
file |
diff |
annotate
|
Sat, 04 Oct 2008 16:05:09 +0200 |
wenzelm |
replaced ISATOOL by ISABELLE_TOOL;
|
file |
diff |
annotate
|
Mon, 24 Mar 2008 15:55:22 +0100 |
wenzelm |
tuned settings for target platforms;
|
file |
diff |
annotate
|
Mon, 14 Jan 2008 23:19:28 +0100 |
isatest |
make at-sml-dev experimental
|
file |
diff |
annotate
|
Mon, 01 Oct 2007 02:59:10 +0200 |
isatest |
fixed dir in single-logic test
|
file |
diff |
annotate
|
Sun, 30 Sep 2007 16:51:46 +0200 |
isatest |
fix shell quoting confusion
|
file |
diff |
annotate
|
Sat, 29 Sep 2007 10:47:05 +0200 |
isatest |
swapped machines for at-sml-dev and at-sml-dev-p
|
file |
diff |
annotate
|
Sat, 29 Sep 2007 10:04:52 +0200 |
kleing |
accept single logic and target as argument
|
file |
diff |
annotate
|
Wed, 19 Sep 2007 13:52:54 +0200 |
isatest |
move at-sml-dev to 2-processor atbroy100
|
file |
diff |
annotate
|
Tue, 19 Jun 2007 00:02:16 +0200 |
wenzelm |
macbroy5: trying -j 2;
|
file |
diff |
annotate
|
Mon, 05 Mar 2007 22:23:23 +0100 |
kleing |
adjust paths
|
file |
diff |
annotate
|
Mon, 05 Mar 2007 22:12:20 +0100 |
kleing |
moved all isatest/cron job related files to own directory
|
file |
diff |
annotate
|