On 17/09/2012 16:22, Ramana Kumar wrote:
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've updated the release notes which list the changes but I really need
to go
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
On 17/09/2012 02:32, Michael Norrish wrote:
On 17/09/12 00:02, Rob Arthan wrote:
Object files now use standard text and data areas when exporting. In
particular this means that it is no longer necessary to use --segprot
on Mac
OS X to avoid a bus error.
I have make files that detect Mac OS
On Sat, Sep 15, 2012 at 9:16 AM, David Matthews
david.matth...@prolingua.co.uk wrote:
I have finally released Poly/ML 5.5 on the SourceForge site. I still need
to finish the release notes and update the Poly/ML web site.
I guess that also means updating the fixes-5.5 branch?
I just built
I cleaned out my build directory and tried again; now I have 5.5.0 as
expected. Thanks.
(I don't deal with svn commands directly; I maintain
https://aur.archlinux.org/packages.php?ID=28880 and the build scripts do
the checkout under the hood.)
Building HOL4 with 5.5.0 seems to be very slow,
David,
Many thanks for the new release. ProofPower builds and test fine on it. I don't
have any specific feedback on performance yet - the build process itself is
somewhat atypical.
On 15 Sep 2012, at 09:16, David Matthews wrote:
...
Object files now use standard text and data areas when
On 17/09/12 00:02, Rob Arthan wrote:
Object files now use standard text and data areas when exporting. In
particular this means that it is no longer necessary to use --segprot on Mac
OS X to avoid a bus error.
I have make files that detect Mac OS X and insert the -segprot option
I have finally released Poly/ML 5.5 on the SourceForge site. I still
need to finish the release notes and update the Poly/ML web site. The
major change is of course the complete rewrite of the storage management
with the garbage-collector now parallelised. In testing the GC sharing
pass