18 Sep
2012
18 Sep
'12
8:24 p.m.
Building HOL4 with 5.5.0 seems to be very slow, compared to 5.4.1. I don't have numbers yet, just an impression. Any clues why this might be? Are the release notes online?
I encountered poor performance the first time I did a HOL4 build under Poly/ML 5.5, but now I?m almost certain that this must have been due to other processes that were running at the same time.
I?ve now built HOL4 using Poly/ML 5.5 a few times and on a couple of different machines. Scott Owens has also done a build as well. My conclusion is that, in the context of HOL4, version 5.5 offers a modest speedup over 5.4.1 (I?d say under 10% faster overall).
Anthony Fox