Re: [isabelle] Refinement Framework exceeds resources ?



On 27/10/17 10:37, Walther Neuper wrote:
> 
> I tried them and now suspect, that the reason for the problem is caused
> by updating my computer from ubuntu 14.04 LTS to 16.04 yesterday.

Do you have the Ubuntu package lib32stdc++6 installed? Otherwise Poly/ML
uses x86_64 mode and requires much more heap space.


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.