Re: [isabelle] Refinement Framework exceeds resources ?



On 2017-10-27 11:57, Makarius wrote:
> 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.
It is installed now, thank you.

Further evaluation has to wait until I have solved my imports problem.

Walther




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