[isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory
hupel at in.tum.de
Mon Feb 22 10:17:30 CET 2016
> That suggests that you're running the 32-bit version of Poly/ML in which
> case the heap is limited to around 3-3.5G by the system and the problem
> you're having is the total 4G memory limit. Switch to the 64-bit
> version as a starting point. I was assuming that with 32G of memory you
> were running the 64-bit version already.
No, I initially planned to, but Makarius usually advises against it. I'm
not sure how to proceed here.
More information about the isabelle-dev