| Sat, 05 Dec 2015 16:09:41 +0100 |
switched from Isabelle2014 to Isabelle2015, intermediate state
|
file | diff | annotate |
| Mon, 21 Jul 2014 15:23:57 +0200 |
ghc mac installation repaired; test back on.
|
file | diff | annotate |
| Sat, 19 Jul 2014 21:32:54 +0200 |
attempt to run without ISABELLE_GHC setting again on mac-poly
|
file | diff | annotate |
| Tue, 15 Jul 2014 11:13:43 +0200 |
add ISABELLE_GHC settings for isatest
|
file | diff | annotate |
| Wed, 14 May 2014 13:07:47 +0200 |
updated isatest;
|
file | diff | annotate |
| Tue, 24 Sep 2013 11:28:18 +0200 |
tuned isatest options;
|
file | diff | annotate |
| Tue, 17 Sep 2013 21:20:55 +0200 |
updated to official polyml-5.5.1;
|
file | diff | annotate |
| Fri, 30 Aug 2013 21:14:38 +0200 |
some tests on /home/polyml/polyml-svn, which is approaching polyml-5.5.1;
|
file | diff | annotate |
| Sun, 13 Jan 2013 22:07:00 +0100 |
more exhaustive full test, to avoid surprises with makedist_library;
|
file | diff | annotate |
| Wed, 02 Jan 2013 13:06:54 +0100 |
enable Z3 for full test (cf. 6f48853f08d5);
|
file | diff | annotate |
| Thu, 29 Nov 2012 16:52:13 +0100 |
prefer 32 bit platform for ISABELLE_FULL_TEST, to make memory problems more explicit instead of disk thrashing (notably in HOL-Quickcheck_Benchmark);
|
file | diff | annotate |
| Mon, 17 Sep 2012 15:52:50 +0200 |
prefer official polyml-5.5.0;
|
file | diff | annotate |
| Thu, 13 Sep 2012 11:13:00 +0200 |
more standard init_components -- particularly important to pick up correct jdk/scala version;
|
file | diff | annotate |
| Wed, 08 Aug 2012 12:10:22 +0200 |
eliminated obsolete ISABELLE_USEDIR_OPTIONS;
|
file | diff | annotate |
| Wed, 08 Aug 2012 11:53:14 +0200 |
updated ML settings;
|
file | diff | annotate |
| Tue, 31 Jul 2012 22:00:19 +0200 |
updated isatest settings for isabelle build;
|
file | diff | annotate |
| Thu, 19 Apr 2012 13:15:06 +0200 |
back to isatest with official polyml-5.4.1 (cf. ffa6e10df091);
|
file | diff | annotate |
| Sat, 14 Apr 2012 20:10:10 +0200 |
more ambitious isatest settings using polyml-svn (e.g. 1487);
|
file | diff | annotate |
| Wed, 04 Jan 2012 11:01:08 +0100 |
prefer explicit version information;
|
file | diff | annotate |
| Wed, 04 Jan 2012 00:30:53 +0100 |
reenable Kodkodi in Isatest now that Nitpick has been ported to 'a set constructor
|
file | diff | annotate |
| Wed, 28 Dec 2011 15:08:12 +0100 |
disable kodkodi for now to prevent isatest failure of HOL-Nitpick_Examples due to 'a set constructor;
|
file | diff | annotate |
| Sun, 18 Dec 2011 14:28:14 +0100 |
tuned settings;
|
file | diff | annotate |
| Mon, 20 Dec 2010 23:30:32 +0100 |
updated to polyml-5.4.0;
|
file | diff | annotate |
| Fri, 04 Jun 2010 11:31:33 +0200 |
less ambitious settings;
|
file | diff | annotate |
| Fri, 09 Apr 2010 11:35:50 +0200 |
isatest: more uniform setup for Unix vs. Cygwin;
|
file | diff | annotate |
| Tue, 09 Feb 2010 13:54:27 +0100 |
isatest: activated HOL-Nitpick_Examples (by adding component kodkodi) on some platforms where it mostly works as expected;
|
file | diff | annotate |
| Mon, 04 Jan 2010 11:55:23 +0100 |
discontinued special HOL_USEDIR_OPTIONS;
|
file | diff | annotate |
| Mon, 09 Nov 2009 21:34:42 +0100 |
switched some isatest sessions to official Poly/ML 5.3.0;
|
file | diff | annotate |
| Fri, 30 Oct 2009 10:42:39 +0100 |
back to polyml-svn -- performance impact is minimal, slowdown was caused by accumulated cruft of long-running Mac OS;
|
file | diff | annotate |
| Sun, 25 Oct 2009 13:14:00 +0100 |
more uniform ISABELLE_USEDIR_OPTIONS;
|
file | diff | annotate |
| Sun, 25 Oct 2009 11:58:11 +0100 |
switch to polyml-5.2.1 to see if it impacts performance;
|
file | diff | annotate |
| Thu, 30 Jul 2009 23:23:52 +0200 |
ISABELLE_USEDIR_OPTIONS: -q 2 by default;
|
file | diff | annotate |
| Sat, 25 Jul 2009 14:32:35 +0200 |
internal session timing;
|
file | diff | annotate |
| Thu, 23 Jul 2009 16:09:50 +0200 |
tuned ML_OPTIONS;
|
file | diff | annotate |
| Wed, 22 Jul 2009 10:48:25 +0200 |
less ambitious settings;
|
file | diff | annotate |
| Tue, 21 Jul 2009 13:46:18 +0200 |
less ambitious ML_OPTIONS;
|
file | diff | annotate |
| Mon, 20 Jul 2009 19:57:32 +0200 |
replaced usedir option -Q by more fine-grained -q;
|
file | diff | annotate |
| Sat, 13 Jun 2009 11:33:50 +0200 |
proper ISABELLE_HOME_USER;
|
file | diff | annotate |
| Fri, 12 Jun 2009 20:20:41 +0200 |
more isatests;
|
file | diff | annotate |