| Sat, 18 Jun 2011 17:42:28 +0200 |
wenzelm |
updated to jedit_build-20110618, which is required for sub/superscript rendering;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Fri, 10 Jun 2011 17:37:50 +0200 |
wenzelm |
isatest/makedist: build Isabelle/jEdit;
|
file |
diff |
annotate
|
| Fri, 10 Jun 2011 14:59:30 +0200 |
wenzelm |
use existing ghc on macbroy20;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Mon, 14 Mar 2011 15:13:00 +0100 |
wenzelm |
isatest: fresh copy of settings avoids odd cumulative environment;
|
file |
diff |
annotate
|
| Mon, 17 Jan 2011 17:27:26 +0100 |
wenzelm |
isatest: run at-poly on macbroy28 for slightly more robust isatest-doc;
|
file |
diff |
annotate
|
| Sat, 27 Nov 2010 11:51:05 +0100 |
wenzelm |
recovered global "Isabelle" symlink for isatest (cf. 7f745e4b7cce);
|
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
|
| 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.);
|
file |
diff |
annotate
|
| Sat, 17 Apr 2010 19:35:35 +0200 |
wenzelm |
isatest: more robust treatment of remote files, less reliance on mounted file system;
|
file |
diff |
annotate
|
| Fri, 16 Apr 2010 10:15:00 +0200 |
wenzelm |
isatest: improved treatment of local files on atbroy102;
|
file |
diff |
annotate
|
| Fri, 09 Apr 2010 11:35:50 +0200 |
wenzelm |
isatest: more uniform setup for Unix vs. Cygwin;
|
file |
diff |
annotate
|
| Fri, 02 Apr 2010 17:20:43 +0200 |
wenzelm |
isatest: basic setup for cygwin-poly on atbroy102;
|
file |
diff |
annotate
|
| Tue, 23 Mar 2010 17:26:41 +0100 |
wenzelm |
even less ambitious isatest for smlnj;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2010 13:55:03 +0100 |
wenzelm |
added at-poly-test, which is intended for performance tests of Poly/ML itself;
|
file |
diff |
annotate
|
| Fri, 19 Feb 2010 22:37:43 +0100 |
wenzelm |
disabled some old (fragile) isatests;
|
file |
diff |
annotate
|
| Wed, 17 Feb 2010 11:01:01 +0100 |
wenzelm |
giving up sunbroy2;
|
file |
diff |
annotate
|
| Wed, 30 Dec 2009 13:05:00 +0100 |
wenzelm |
less ambitious isatest for SML/NJ;
|
file |
diff |
annotate
|
| Thu, 19 Nov 2009 12:59:32 +0100 |
wenzelm |
some attempts to improve termination of isatest;
|
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
|
| Fri, 23 Oct 2009 20:48:14 +0200 |
wenzelm |
reactivated isatest on macbroy6 -- 3h later to avoid overlap with backup daemon;
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 22:35:28 +0200 |
wenzelm |
disable sunbroy2 for now;
|
file |
diff |
annotate
|
| Fri, 02 Oct 2009 20:10:25 +0200 |
wenzelm |
macbroy2: bigger jobs first, to avoid danger of swapping during daytime;
|
file |
diff |
annotate
|
| Mon, 28 Sep 2009 23:19:50 +0200 |
wenzelm |
reactivated at-sml-dev-e;
|
file |
diff |
annotate
|
| Wed, 23 Sep 2009 13:48:35 +0200 |
krauss |
atbroy101 is long dead, use atbroy99; comment out broken SML test invocation
|
file |
diff |
annotate
|
| Thu, 27 Aug 2009 11:54:05 +0200 |
wenzelm |
avoid macbroy21 for now -- hardware problems;
|
file |
diff |
annotate
|
| Sat, 08 Aug 2009 11:40:22 +0200 |
wenzelm |
refined mac-poly64 tests;
|
file |
diff |
annotate
|
| Tue, 21 Jul 2009 13:44:07 +0200 |
wenzelm |
disabled macbroy6 -- hardware repair;
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 21:51:44 +0200 |
wenzelm |
added isatest for x86_64-darwin;
|
file |
diff |
annotate
|
| Tue, 16 Jun 2009 22:48:17 +0200 |
wenzelm |
another attempt to get a reduced at-sml-dev-e test;
|
file |
diff |
annotate
|
| Sat, 13 Jun 2009 19:13:27 +0200 |
wenzelm |
moved at-mac-poly-5.1-para back to macbroy6, for continous performance figures;
|
file |
diff |
annotate
|
| Fri, 12 Jun 2009 20:28:45 +0200 |
wenzelm |
eliminated obsolete CVS2CL;
|
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
|
| Wed, 03 Jun 2009 07:51:11 +1000 |
kleing |
switch at-sml-dev-e back to full test on macbroy23
|
file |
diff |
annotate
|
| Mon, 01 Dec 2008 15:22:17 +0100 |
wenzelm |
renamed makedist_mercurial to makedist, deleting the old version;
|
file |
diff |
annotate
|
| Thu, 16 Oct 2008 00:18:53 +0200 |
kleing |
only test HOL image for smlnj
|
file |
diff |
annotate
|
| Wed, 15 Oct 2008 00:18:43 +0200 |
kleing |
give more time to do inital loggin and settings read
|
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
|
| Tue, 30 Sep 2008 04:06:55 +0200 |
kleing |
slightly different command line for makedist_mercurial
|
file |
diff |
annotate
|
| Sun, 28 Sep 2008 09:13:46 +0200 |
kleing |
use mercurial repository for isatest
|
file |
diff |
annotate
|
| Fri, 11 Jul 2008 00:35:19 +0200 |
kleing |
temporarily disable at-sml-dev-p
|
file |
diff |
annotate
|
| Tue, 08 Jul 2008 13:45:27 +0200 |
kleing |
migrated at-sml-dev-p to macbroy24, hoping for more reliable hardware
|
file |
diff |
annotate
|
| Mon, 07 Jul 2008 23:37:33 +0200 |
kleing |
retired mac-sml-dev.
|
file |
diff |
annotate
|
| Fri, 20 Jun 2008 22:41:41 +0200 |
isatest |
move at-sml-dev-e to macbroy23
|
file |
diff |
annotate
|
| Thu, 05 Jun 2008 09:01:17 +0200 |
isatest |
switch from gtar to tar
|
file |
diff |
annotate
|
| Mon, 21 Apr 2008 00:06:55 +0200 |
isatest |
move some at/a64 tests to intel mac hardware (running Linux)
|
file |
diff |
annotate
|
| Mon, 14 Jan 2008 23:19:28 +0100 |
isatest |
make at-sml-dev experimental
|
file |
diff |
annotate
|
| Wed, 05 Dec 2007 04:34:15 +0100 |
kleing |
switch poly to 5.1, removed -e flag from most sessions
|
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:43:54 +0200 |
kleing |
add -p 2 at-sml-dev test for HOL proof terms sessions only
|
file |
diff |
annotate
|
| Wed, 19 Sep 2007 13:52:54 +0200 |
isatest |
move at-sml-dev to 2-processor atbroy100
|
file |
diff |
annotate
|
| Wed, 29 Aug 2007 00:49:48 +0200 |
kleing |
mark all parallel sessions as experimental
|
file |
diff |
annotate
|
| Tue, 28 Aug 2007 00:18:10 +0200 |
kleing |
add parallel sessions for atbroy99 and macbroy6
|
file |
diff |
annotate
|
| Mon, 13 Aug 2007 12:56:03 +0200 |
isatest |
added atbroy9
|
file |
diff |
annotate
|
| Thu, 12 Apr 2007 02:59:44 +0200 |
kleing |
run annomaly from makedist
|
file |
diff |
annotate
|
| Mon, 05 Mar 2007 22:39:59 +0100 |
kleing |
clean up var/running dir before spawning new tests
|
file |
diff |
annotate
|
| Mon, 05 Mar 2007 22:23:23 +0100 |
kleing |
adjust paths
|
file |
diff |
annotate
|