Admin/isatest/isatest-makedist
Tue, 17 Sep 2013 17:17:55 +0200 wenzelm actually use x86_64 machine;
Mon, 16 Sep 2013 13:56:02 +0200 wenzelm explicit test of quick_and_dirty, which is rarely used in practice;
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.;
Sun, 28 Jul 2013 20:10:21 +0200 wenzelm avoid machine running batch process for months;
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;
Wed, 05 Sep 2012 11:19:01 +0200 wenzelm no need to wait 3h on macbroy30 (unlike former macbroy6, cf. 6e5b994070c1);
Wed, 29 Aug 2012 21:20:46 +0200 wenzelm more formal isabelle makedist from repository;
Fri, 17 Aug 2012 10:46:42 +0200 wenzelm updated to jedit_build-20120813, pointing to another contrib directory as a change;
Tue, 14 Aug 2012 10:44:03 +0200 wenzelm always retain doc-src (as regular component);
Wed, 01 Aug 2012 15:50:50 +0200 wenzelm clarified ISABELLE_FULL_TEST;
Mon, 30 Jul 2012 16:40:21 +0200 wenzelm updated isatest to isabelle build, which also includes doc-src sessions;
Sat, 14 Jul 2012 21:15:41 +0200 wenzelm removed some old/unused stuff;
Sat, 14 Jul 2012 21:05:29 +0200 wenzelm actually remove former atbroy102/cygwin stuff (cf. 6301046146b6, 08cb859c53cd);
Mon, 09 Jul 2012 09:28:26 +1000 Gerwin Klein make sure var/running dir exists for isatest
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
Sat, 07 Jul 2012 19:41:59 +0200 wenzelm prefer lxbroy[23] as standard test machines;
Wed, 27 Jun 2012 17:36:24 +0200 wenzelm more tests on lxbroy[234], which are 4 core Xeon machines;
Wed, 27 Jun 2012 17:33:49 +0200 wenzelm moved crontab to lxbroy2, one of the newer server machines;
Tue, 26 Jun 2012 15:55:02 +0200 wenzelm use macbroy27 instead of macbroy28, which is broken for several weeks already;
Sat, 14 Apr 2012 19:09:34 +0200 wenzelm use official TextArea.isCaretVisible and thus follow the "blink" flag;
Sat, 14 Apr 2012 11:46:35 +0200 wenzelm updated Scala/JVM versions;
Wed, 21 Mar 2012 11:36:47 +0100 wenzelm improved isatest arguments for macbroy2;
Tue, 13 Mar 2012 23:45:34 +0100 wenzelm updated to jedit_build-20120313 with jedit-4.5.0;
Wed, 28 Dec 2011 13:13:27 +0100 wenzelm discontinued broken macbroy5 and thus the obsolete ppc-darwin platform;
Wed, 28 Dec 2011 13:08:18 +0100 wenzelm more selective target "full" -- avoid failure of HOL-Datatype_Benchmark on 32bit platforms;
Sat, 17 Dec 2011 16:24:14 +0100 wenzelm updated jedit_build component;
Sat, 15 Oct 2011 17:00:17 +0200 wenzelm prefer recent polyml-5.4.1, but retain potentially fragile polyml-5.2.1 as experimental test;
Sun, 18 Sep 2011 16:33:30 +0200 wenzelm isatest settings for macbroy6 (Mac OS X Lion);
Wed, 22 Jun 2011 16:32:36 +0200 wenzelm updated to jedit-4.4.1 and jedit_build-20110622;
Mon, 20 Jun 2011 22:48:41 +0200 wenzelm updated to jedit_build-20110620;
Sun, 19 Jun 2011 21:38:48 +0200 wenzelm updated to jedit_build-20110619;
Sat, 18 Jun 2011 17:42:28 +0200 wenzelm updated to jedit_build-20110618, which is required for sub/superscript rendering;
Sat, 11 Jun 2011 14:27:23 +0200 wenzelm reverted 5fcd0ca1f582 -- isatest provides its own libgmp3 via LD_LIBRARY_PATH, which are also required for swipl;
Fri, 10 Jun 2011 17:37:50 +0200 wenzelm isatest/makedist: build Isabelle/jEdit;
Fri, 10 Jun 2011 14:59:30 +0200 wenzelm use existing ghc on macbroy20;
Wed, 20 Apr 2011 13:10:54 +0200 wenzelm migrated macbroy6 to macbroy30, which is the new "mobile" server (2 cores, 4 GB, Mac OS 10.5);
Mon, 14 Mar 2011 15:13:00 +0100 wenzelm isatest: fresh copy of settings avoids odd cumulative environment;
Mon, 17 Jan 2011 17:27:26 +0100 wenzelm isatest: run at-poly on macbroy28 for slightly more robust isatest-doc;
Sat, 27 Nov 2010 11:51:05 +0100 wenzelm recovered global "Isabelle" symlink for isatest (cf. 7f745e4b7cce);
Wed, 21 Jul 2010 16:29:20 +0200 wenzelm reactivate SML/NJ test on macbroy28, while macbroy23 is unavailable;
Fri, 28 May 2010 11:37:38 +0200 wenzelm discontinued Sun/Solaris tests;
Wed, 21 Apr 2010 11:11:42 +0200 wenzelm marked cygwin-poly as "e" test, which means further stages do not depend on it (website etc.);
Sat, 17 Apr 2010 19:35:35 +0200 wenzelm isatest: more robust treatment of remote files, less reliance on mounted file system;
Fri, 16 Apr 2010 10:15:00 +0200 wenzelm isatest: improved treatment of local files on atbroy102;
Fri, 09 Apr 2010 11:35:50 +0200 wenzelm isatest: more uniform setup for Unix vs. Cygwin;
Fri, 02 Apr 2010 17:20:43 +0200 wenzelm isatest: basic setup for cygwin-poly on atbroy102;
Tue, 23 Mar 2010 17:26:41 +0100 wenzelm even less ambitious isatest for smlnj;
Sat, 27 Feb 2010 13:55:03 +0100 wenzelm added at-poly-test, which is intended for performance tests of Poly/ML itself;
Fri, 19 Feb 2010 22:37:43 +0100 wenzelm disabled some old (fragile) isatests;
Wed, 17 Feb 2010 11:01:01 +0100 wenzelm giving up sunbroy2;
Wed, 30 Dec 2009 13:05:00 +0100 wenzelm less ambitious isatest for SML/NJ;
Thu, 19 Nov 2009 12:59:32 +0100 wenzelm some attempts to improve termination of isatest;
Mon, 26 Oct 2009 20:45:24 +0100 wenzelm reactivated test on sunbroy2 -- with full proof parallelism (requires Poly/ML-SVN-921);
Fri, 23 Oct 2009 20:48:14 +0200 wenzelm reactivated isatest on macbroy6 -- 3h later to avoid overlap with backup daemon;
Sat, 17 Oct 2009 22:35:28 +0200 wenzelm disable sunbroy2 for now;
Fri, 02 Oct 2009 20:10:25 +0200 wenzelm macbroy2: bigger jobs first, to avoid danger of swapping during daytime;
Mon, 28 Sep 2009 23:19:50 +0200 wenzelm reactivated at-sml-dev-e;
Wed, 23 Sep 2009 13:48:35 +0200 krauss atbroy101 is long dead, use atbroy99; comment out broken SML test invocation
Thu, 27 Aug 2009 11:54:05 +0200 wenzelm avoid macbroy21 for now -- hardware problems;
Sat, 08 Aug 2009 11:40:22 +0200 wenzelm refined mac-poly64 tests;
less more (0) -60 tip