[isabelle-dev] 20 years of AFP

[Tobias Nipkow]

Very nice! Thank you Fabian! Looking forward to a release version.

Tobias

On 19/03/2024 13:21, Fabian Huch wrote:
> Today marks 20 years of AFP -- to celebrate, here are a few timings with the new 
> parallel build (Isabelle/08b83f91a1b2 and AFP/b61f72e5cba6):
> 
> build -a
> 0:08:47 elapsed time, 3:02:23 cpu time, factor 20.75
> 
> build -A: -X slow -a
> 0:43:11 elapsed time, 72:49:01 cpu time, factor 101.17
> 
> build -A: -a
> 2:07:56 elapsed time, 87:35:19 cpu time, factor 41.08
> 
> Cheers!
> 
> 
> Fabian
> 
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4950 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240322/3f2c9d5e/attachment.bin>