[isabelle-dev] Timing for AFP/CakeML_Codegen

Tobias Nipkow nipkow at in.tum.de
Mon Mar 25 13:17:06 CET 2024

On 25/03/2024 13:08, Makarius wrote:
> On 25/03/2024 11:48, Tobias Nipkow wrote:
>>> Looking briefly at CakeML_Codegen, I don't see anything suspicious for the 
>>> past 30 days. I've also queried the underlying database for 120 days: nothing 
>>> to be seen --- at least not for threads=1 that is used here.
>> As I pointed out in that private thread, the problem started 10 months ago 
>> with a partiular changeset. Since then the running times have been stable.
> I did not see any changeset ids in that private threads. Looking more closely, 
> here they are: AFP/fccdd28b5d84 which says "adapted to Isabelle/84a7a0029c82".

You had to look more closely, i.e. follow the link I posted.


>      Makarius
> _______________________________________________
> 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/20240325/97fe498e/attachment.bin>

More information about the isabelle-dev mailing list