Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more heap -- hoping for more stability of HOL-Proofs;
authorwenzelm
Thu, 25 Jun 2015 22:56:33 +0200
changeset 60579 915da29bf5d9
parent 60578 c708dafe2220
child 60580 7e741e22d7fc
more heap -- hoping for more stability of HOL-Proofs;
Admin/isatest/settings/at64-poly file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/settings/at64-poly	Thu Jun 25 21:45:00 2015 +0200
+++ b/Admin/isatest/settings/at64-poly	Thu Jun 25 22:56:33 2015 +0200
@@ -4,7 +4,7 @@
 
 ML_PLATFORM="$ISABELLE_PLATFORM64"
 ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-ML_OPTIONS="--minheap 2000 --maxheap 8000 --gcthreads 1"
+ML_OPTIONS="--minheap 4000 --maxheap 16000 --gcthreads 1"
 
 ISABELLE_HOME_USER=~/isabelle-at64-poly
isabelle