| Wed, 15 Jul 2015 11:25:51 +0200 |
wenzelm |
back to uniform BUILD_ARGS: first some options, then some sessions (cf. 4fce5d462afc);
|
file |
diff |
annotate
|
| Tue, 14 Jul 2015 19:08:27 +0200 |
wenzelm |
more explicit command-line option for isabelle build;
|
file |
diff |
annotate
|
| Mon, 13 Jul 2015 11:05:50 +0200 |
wenzelm |
refrain from testing HOL-Proofs for x86_64-linux: takes more than 4h;
|
file |
diff |
annotate
|
| Wed, 08 Jul 2015 00:04:15 +0200 |
wenzelm |
more generous timeout for the sake of HOL-Proofs in at64-poly;
|
file |
diff |
annotate
|
| Sun, 21 Dec 2014 16:26:22 +0100 |
wenzelm |
increase chances of success;
|
file |
diff |
annotate
|
| Fri, 19 Dec 2014 23:33:08 +0100 |
wenzelm |
more generous timeout, to increase chances of at64-poly;
|
file |
diff |
annotate
|
| Mon, 22 Sep 2014 21:45:59 +0200 |
wenzelm |
clarified timeout for isatest;
|
file |
diff |
annotate
|
| 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
|