[CakeML-Dev] bootstrap timing

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Sun Nov 13 22:05:21 UTC 2016

I'm going over the bootstrap again after the various merges that have
happened recently (esp. asm_ok). I'll send some timing info some this week

I just noticed that there seems to be a serious regression in
word_to_stack. On 8e76897 it ran for 7h36m. (Previously it's only taken
1-2h.) Was there a major complexity change recently? More likely something
was not added to the compset..?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161114/914bd58f/attachment.html>

More information about the Developers mailing list