| 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
|
| Mon, 05 Mar 2007 22:12:20 +0100 |
kleing |
moved all isatest/cron job related files to own directory
|
file |
diff |
annotate
|