[CakeML-Dev] bootstrap timing

[Ramana Kumar]

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

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>