Re: [isabelle] Isabelle2021-1-RC3: excessive Poly/ML heap requirements



On 28/11/2021 13:49, Lars Hupel wrote:
>> The question: Is this really a new problem for Isabelle2021-1 that was absent
>> in Isabelle2021?
> 
> Yes, this problem is new. As I said, I've ported the application to
> Isabelle2021-1 and never experienced that kind of excessive heap usage before.

So how is the situation with these Poly/ML versions?

#bundled with Isabelle2021
polyml-test-f86ae3dc1686

#official release after Isabelle2021
polyml-5.8.2


We need some tangible empirical results to proceed.


	Makarius




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