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



What is your OS version?

Arch, approximately kernel 5.15

Can you can try this with other versions of Poly/ML? Here are some formal
component names:

I haven't had a chance yet but it turns out that setting --max-heap to 4G allows me to work without interruption. I will try other Poly/ML next.

--
Lars Hupel, lars.hupel at innoq.com, https://www.innoq.com
innoQ Deutschland GmbH, Krischerstr. 100, 40789 Monheim am Rhein, Germany




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