[isabelle-dev] Slow builds due to excessive heap images

Tobias Nipkow nipkow at in.tum.de
Wed Nov 8 12:35:33 CET 2017

On 07/11/2017 23:13, Makarius wrote:
> For Flyspeck-Tame a small performance loss remains. It might be worth
> trying to configure the Isabelle/HOL codegen to use FixedInt instead of
> regular (unbounded) Int. Thus it could become faster with Poly/ML 5.7.1
> than with 5.6.

Just as for Isabelle itself, I don't want generated code to abort with overflow 
or even worse to overflow silently.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5156 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20171108/80eeac22/attachment.bin>

More information about the isabelle-dev mailing list