Mon, 29 Feb 2016 15:06:53 +0100 |
wenzelm |
removed junk;
|
file |
diff |
annotate
|
Sun, 28 Feb 2016 19:54:18 +0100 |
wenzelm |
simplified / unified isatest settings;
|
file |
diff |
annotate
|
Wed, 17 Feb 2016 23:06:24 +0100 |
wenzelm |
SML/NJ is no longer supported;
|
file |
diff |
annotate
|
Wed, 23 Dec 2015 23:15:42 +0100 |
wenzelm |
less ambitious test;
|
file |
diff |
annotate
|
Mon, 23 Nov 2015 23:25:41 +0100 |
wenzelm |
discontinued Mac OS X 10.7 Lion (macbroy6);
|
file |
diff |
annotate
|
Sat, 17 Oct 2015 23:07:28 +0200 |
wenzelm |
back to lxbroy3, which appears to be free at the moment;
|
file |
diff |
annotate
|
Tue, 06 Oct 2015 19:35:33 +0200 |
wenzelm |
parallel tests: 6h & 12h;
|
file |
diff |
annotate
|
Tue, 28 Jul 2015 18:27:39 +0200 |
wenzelm |
evade timeout problem on macbroy6 (potentially due to NFS oddities);
|
file |
diff |
annotate
|
Tue, 21 Jul 2015 14:07:06 +0200 |
wenzelm |
avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes;
|
file |
diff |
annotate
|
Tue, 14 Jul 2015 19:08:27 +0200 |
wenzelm |
more explicit command-line option for isabelle build;
|
file |
diff |
annotate
|
Sat, 22 Nov 2014 11:05:41 +0100 |
wenzelm |
isatest for Mac OS X Yosemite;
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 23:13:31 +0100 |
wenzelm |
less ambitious isatest: polyml-5.3.0 has problems with big sessions like HOL-Proofs;
|
file |
diff |
annotate
|
Mon, 29 Sep 2014 11:18:25 +0200 |
wenzelm |
faster machine for slow/bulky polyml-5.3.0 tests (notably HOL-Proofs);
|
file |
diff |
annotate
|
Mon, 19 May 2014 14:21:24 +0200 |
wenzelm |
more explicit identification for more robust adhoc change of environment /home/isatest/.isabelle/etc/settings -- notably for $ISABELLE_PLATFORM64;
|
file |
diff |
annotate
|
Tue, 17 Sep 2013 17:17:55 +0200 |
wenzelm |
actually use x86_64 machine;
|
file |
diff |
annotate
|
Mon, 16 Sep 2013 13:56:02 +0200 |
wenzelm |
explicit test of quick_and_dirty, which is rarely used in practice;
|
file |
diff |
annotate
|
Mon, 16 Sep 2013 11:22:06 +0200 |
wenzelm |
another move to avoid sporadic kill of poly, which is presumably due to resource management on lxbroy2, lxbroy3 etc.;
|
file |
diff |
annotate
|
Sun, 28 Jul 2013 20:10:21 +0200 |
wenzelm |
avoid machine running batch process for months;
|
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
|
Wed, 05 Sep 2012 11:19:01 +0200 |
wenzelm |
no need to wait 3h on macbroy30 (unlike former macbroy6, cf. 6e5b994070c1);
|
file |
diff |
annotate
|
Wed, 29 Aug 2012 21:20:46 +0200 |
wenzelm |
more formal isabelle makedist from repository;
|
file |
diff |
annotate
|
Fri, 17 Aug 2012 10:46:42 +0200 |
wenzelm |
updated to jedit_build-20120813, pointing to another contrib directory as a change;
|
file |
diff |
annotate
|
Tue, 14 Aug 2012 10:44:03 +0200 |
wenzelm |
always retain doc-src (as regular component);
|
file |
diff |
annotate
|
Wed, 01 Aug 2012 15:50:50 +0200 |
wenzelm |
clarified ISABELLE_FULL_TEST;
|
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 09:28:26 +1000 |
Gerwin Klein |
make sure var/running dir exists for isatest
|
file |
diff |
annotate
|
Mon, 09 Jul 2012 09:15:28 +1000 |
Gerwin Klein |
removed switched-off atbroy102 from isatest; no cygwin test currently running, needs a working server somewhere
|
file |
diff |
annotate
|
Sat, 07 Jul 2012 19:41:59 +0200 |
wenzelm |
prefer lxbroy[23] as standard test machines;
|
file |
diff |
annotate
|