[isabelle-dev] [Afp-submit] AFP build times out in file/theory presentation

Tobias Nipkow nipkow at in.tum.de
Wed Nov 17 07:23:01 CET 2021

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!!


> (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
> Afp-submit at mailman46.in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/afp-submit
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20211117/c2eb06cc/attachment-0001.bin>

More information about the isabelle-dev mailing list