Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Spurious abort while building sessions (de Vil...

view this post on Zulip Email Gateway (Aug 22 2022 at 18:37):

From: Paulo Emílio de Vilhena <pevilhena2@gmail.com>
Hello,

I have a similar problem with some theories: Isabelle will abort whenever I
open a certain theory on jedit. I've tried to enhance the swap size but it
didn't work (I wasn't running out of RAM actually). Does someone have an
idea on how to solve this problem?

Thanks,

Paulo

view this post on Zulip Email Gateway (Aug 22 2022 at 18:37):

From: Makarius <makarius@sketis.net>
Just the usual questions:

* What is your hardware like? How many CPU cores? How much memory?

* What is your precise OS version?

* On Linux: Are you using 32bit Poly/ML (for better scalability)? This
requires lib32stdc++6 on Ubuntu or Debian.

Makarius

Last updated: Apr 16 2024 at 04:18 UTC