On 17/11/2021 00:41, Makarius wrote:
On 16/11/2021 22:08, Makarius wrote:Moreover, this change will save a lot of Java heap: https://isabelle.sketis.net/repos/isabelle-release/rev/5eac4b13d1f1 Thus we should be back to a half-decent situation.Half-decent in that version means 2h for presentation.
For the AFP test hardware we seem to be back more or less to where we were, i.e. about 40 mins for presentation.
Thanks a lot for that!! Tobias
(I will make one more round to see if the session dependency situation can be
further clarified. This will allow better persistance of results, e.g. for
incremental presentation.)
Makarius
_______________________________________________
Afp-submit mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/afp-submit
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
