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

[Tobias Nipkow]

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