| 2014-07-21 |
kleing |
ghc mac installation repaired; test back on.
|
file |
diff |
annotate
|
| 2014-07-19 |
kleing |
attempt to run without ISABELLE_GHC setting again on mac-poly
|
file |
diff |
annotate
|
| 2014-07-15 |
kleing |
add ISABELLE_GHC settings for isatest
|
file |
diff |
annotate
|
| 2014-05-14 |
wenzelm |
updated isatest;
|
file |
diff |
annotate
|
| 2013-09-24 |
wenzelm |
tuned isatest options;
|
file |
diff |
annotate
|
| 2013-09-17 |
wenzelm |
updated to official polyml-5.5.1;
|
file |
diff |
annotate
|
| 2013-08-30 |
wenzelm |
some tests on /home/polyml/polyml-svn, which is approaching polyml-5.5.1;
|
file |
diff |
annotate
|
| 2013-01-13 |
wenzelm |
more exhaustive full test, to avoid surprises with makedist_library;
|
file |
diff |
annotate
|
| 2013-01-02 |
wenzelm |
enable Z3 for full test (cf. 6f48853f08d5);
|
file |
diff |
annotate
|
| 2012-11-29 |
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
|
| 2012-09-17 |
wenzelm |
prefer official polyml-5.5.0;
|
file |
diff |
annotate
|
| 2012-09-13 |
wenzelm |
more standard init_components -- particularly important to pick up correct jdk/scala version;
|
file |
diff |
annotate
|
| 2012-08-08 |
wenzelm |
eliminated obsolete ISABELLE_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| 2012-08-08 |
wenzelm |
updated ML settings;
|
file |
diff |
annotate
|
| 2012-07-31 |
wenzelm |
updated isatest settings for isabelle build;
|
file |
diff |
annotate
|
| 2012-04-19 |
wenzelm |
back to isatest with official polyml-5.4.1 (cf. ffa6e10df091);
|
file |
diff |
annotate
|
| 2012-04-14 |
wenzelm |
more ambitious isatest settings using polyml-svn (e.g. 1487);
|
file |
diff |
annotate
|
| 2012-01-04 |
wenzelm |
prefer explicit version information;
|
file |
diff |
annotate
|
| 2012-01-03 |
blanchet |
reenable Kodkodi in Isatest now that Nitpick has been ported to 'a set constructor
|
file |
diff |
annotate
|
| 2011-12-28 |
wenzelm |
disable kodkodi for now to prevent isatest failure of HOL-Nitpick_Examples due to 'a set constructor;
|
file |
diff |
annotate
|
| 2011-12-18 |
wenzelm |
tuned settings;
|
file |
diff |
annotate
|
| 2010-12-20 |
wenzelm |
updated to polyml-5.4.0;
|
file |
diff |
annotate
|
| 2010-06-04 |
wenzelm |
less ambitious settings;
|
file |
diff |
annotate
|
| 2010-04-09 |
wenzelm |
isatest: more uniform setup for Unix vs. Cygwin;
|
file |
diff |
annotate
|
| 2010-02-09 |
wenzelm |
isatest: activated HOL-Nitpick_Examples (by adding component kodkodi) on some platforms where it mostly works as expected;
|
file |
diff |
annotate
|
| 2010-01-04 |
wenzelm |
discontinued special HOL_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| 2009-11-09 |
wenzelm |
switched some isatest sessions to official Poly/ML 5.3.0;
|
file |
diff |
annotate
|
| 2009-10-30 |
wenzelm |
back to polyml-svn -- performance impact is minimal, slowdown was caused by accumulated cruft of long-running Mac OS;
|
file |
diff |
annotate
|
| 2009-10-25 |
wenzelm |
more uniform ISABELLE_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| 2009-10-25 |
wenzelm |
switch to polyml-5.2.1 to see if it impacts performance;
|
file |
diff |
annotate
|
| 2009-07-30 |
wenzelm |
ISABELLE_USEDIR_OPTIONS: -q 2 by default;
|
file |
diff |
annotate
|
| 2009-07-25 |
wenzelm |
internal session timing;
|
file |
diff |
annotate
|
| 2009-07-23 |
wenzelm |
tuned ML_OPTIONS;
|
file |
diff |
annotate
|
| 2009-07-22 |
wenzelm |
less ambitious settings;
|
file |
diff |
annotate
|
| 2009-07-20 |
wenzelm |
replaced usedir option -Q by more fine-grained -q;
|
file |
diff |
annotate
|
| 2009-06-16 |
wenzelm |
less ambitious ML_OPTIONS;
|
file |
diff |
annotate
|
| 2009-06-13 |
wenzelm |
proper ISABELLE_HOME_USER;
|
file |
diff |
annotate
|
| 2009-06-12 |
wenzelm |
more isatests;
|
file |
diff |
annotate
|