[CakeML-Dev] bootstrap timing
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...
More information about the Developers