| Sun, 28 Feb 2016 19:54:18 +0100 |
wenzelm |
simplified / unified isatest settings;
|
file |
diff |
annotate
|
| Fri, 24 Apr 2015 14:56:47 +0200 |
wenzelm |
clarified settings for default Poly/ML version: test the actual Isabelle component;
|
file |
diff |
annotate
|
| Fri, 25 Jul 2014 16:50:49 +0200 |
wenzelm |
some reshuffling of Poly/ML version to evade failing tests;
|
file |
diff |
annotate
|
| Thu, 24 Jul 2014 14:56:30 +0200 |
wenzelm |
less ambitious isatest, avoid "Exception- InternalError: Backing up too far (32bit) raised while compiling" in polyml-5.4.1;
|
file |
diff |
annotate
|
| Mon, 21 Jul 2014 15:23:57 +0200 |
kleing |
ghc mac installation repaired; test back on.
|
file |
diff |
annotate
|
| Sat, 19 Jul 2014 21:32:54 +0200 |
kleing |
attempt to run without ISABELLE_GHC setting again on mac-poly
|
file |
diff |
annotate
|
| Tue, 15 Jul 2014 11:13:43 +0200 |
kleing |
add ISABELLE_GHC settings for isatest
|
file |
diff |
annotate
|
| Thu, 29 Nov 2012 16:52:13 +0100 |
wenzelm |
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
|
| Thu, 13 Sep 2012 11:13:00 +0200 |
wenzelm |
more standard init_components -- particularly important to pick up correct jdk/scala version;
|
file |
diff |
annotate
|
| Wed, 08 Aug 2012 12:10:22 +0200 |
wenzelm |
eliminated obsolete ISABELLE_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2012 15:50:50 +0200 |
wenzelm |
clarified ISABELLE_FULL_TEST;
|
file |
diff |
annotate
|
| Tue, 31 Jul 2012 22:00:19 +0200 |
wenzelm |
updated isatest settings for isabelle build;
|
file |
diff |
annotate
|
| Thu, 19 Apr 2012 13:15:06 +0200 |
wenzelm |
back to isatest with official polyml-5.4.1 (cf. ffa6e10df091);
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 20:10:10 +0200 |
wenzelm |
more ambitious isatest settings using polyml-svn (e.g. 1487);
|
file |
diff |
annotate
|
| Wed, 04 Jan 2012 11:01:08 +0100 |
wenzelm |
prefer explicit version information;
|
file |
diff |
annotate
|
| Wed, 04 Jan 2012 00:30:53 +0100 |
blanchet |
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 |
wenzelm |
disable kodkodi for now to prevent isatest failure of HOL-Nitpick_Examples due to 'a set constructor;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2011 16:58:37 +0200 |
wenzelm |
updated to polyml-5.4.1;
|
file |
diff |
annotate
|
| Sat, 16 Jul 2011 18:11:14 +0200 |
wenzelm |
updated to Poly/ML SVN 1328, which is considered 5.4.2;
|
file |
diff |
annotate
|
| Mon, 31 Jan 2011 17:19:23 +0100 |
wenzelm |
tuned isatest settings;
|
file |
diff |
annotate
|
| Tue, 25 Jan 2011 22:59:03 +0100 |
wenzelm |
tuned isatest settings (for Poly/ML SVN 1278);
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 23:30:32 +0100 |
wenzelm |
updated to polyml-5.4.0;
|
file |
diff |
annotate
|
| Fri, 09 Apr 2010 11:35:50 +0200 |
wenzelm |
isatest: more uniform setup for Unix vs. Cygwin;
|
file |
diff |
annotate
|
| Wed, 17 Feb 2010 22:32:05 +0100 |
wenzelm |
isatest: activated HOL-Nitpick_Examples for x86_64-darwin -- should now work with kodkodi-1.2.8;
|
file |
diff |
annotate
|
| Sat, 06 Feb 2010 23:26:17 +0100 |
wenzelm |
tuned isatest ML_OPTIONS;
|
file |
diff |
annotate
|
| Sat, 09 Jan 2010 16:31:19 +0100 |
wenzelm |
tuned isatest ML_OPTIONS;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 11:55:23 +0100 |
wenzelm |
discontinued special HOL_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| Mon, 09 Nov 2009 21:34:42 +0100 |
wenzelm |
switched some isatest sessions to official Poly/ML 5.3.0;
|
file |
diff |
annotate
|
| Sun, 25 Oct 2009 13:14:00 +0100 |
wenzelm |
more uniform ISABELLE_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| Fri, 02 Oct 2009 10:35:13 +0200 |
wenzelm |
less ambitious heap settings;
|
file |
diff |
annotate
|