[isabelle-dev] Segmentation faults

Tjark Weber webertj at in.tum.de
Sat May 11 13:21:03 CEST 2013


On Thu, 2013-05-02 at 16:18 +0100, Lawrence Paulson wrote:
> I am getting a lot of poly/ML segmentation faults, and they are making
> it very difficult to do my work, especially as my theories take at
> least 15 minutes to load. If it then simply crashes then I'm not
> getting anywhere.
> Has anybody else had this problem with Poly/ML?

Since nobody else replied: I do get occasional segfaults from Poly/ML
(not only running Isabelle, but also other ML code). David Matthews is
usually quite responsive to bug reports.


More information about the isabelle-dev mailing list