Re: [isabelle] Isabelle2021-1-RC3: excessive Poly/ML heap requirements
On 23/11/2021 15:45, Lars Hupel wrote:
> I'm porting a small but substantial application (~ 7kLOC, but no custom
> tactics or commands) to Isabelle2021-1.
> I noticed during regular development with Isabelle/jEdit that Poly/ML quite
> aggressively allocates memory. I have a quad-core machine with 24 GB of
> memory, and it is not uncommon for me to see heap sizes > 10 GB.
What is your OS version?
Can you can try this with other versions of Poly/ML? Here are some formal
#bundled with Isabelle2021
#official release after Isabelle2021
#approximations of polyml-5.9 for Isabelle2021-1
This archive was generated by a fusion of
Pipermail (Mailman edition) and