Zili Wang (Jul 12 2024 at 21:20): Zili Wang (Jul 12 2024 at 21:20):After I run sledgehammer in in Isabelle2024, whether it times out, finds a proof, or is manually canceled, there will be instances of eprover (which I can see in the Windows task manager) that continue to eat up more and more system RAM until my entire laptop freezes. This will eventually crash Isabelle as well if it's left long enough. The work around I'm using for now is to manually end the eprover processes from task manager. Wondering if anyone else has run into this bug?
I am running Windows 11 natively.
Mathias Fleury (Jul 13 2024 at 15:49):there is discussion on the mailing list about that. My understanding is that we do not know for sure what changed in the latest e version
Last updated: Dec 21 2024 at 16:20 UTC