[isabelle-dev] Segmentation faults

Lawrence Paulson lp15 at cam.ac.uk
Sun May 12 20:20:28 CEST 2013


Just had a crash on my (Mac) laptop too.
Larry

On 12 May 2013, at 12:24, David Matthews <dm at prolingua.co.uk> wrote:

> On 11/05/2013 12:21, Tjark Weber wrote:
>> 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.
> 
> That's interesting.  Is there any way to establish a pattern to this? Does it happen with particular hardware/operating system?  It's almost impossible to debug problems like this unless there's some way I can reproduce them.
> 
> I notice you said you run "other ML code" since Larry also has both Isabelle and the Poly/ML distribution installed.  I had wondered if there could be some conflict; in particular the Isabelle version could be picking up the shared library from the Poly/ML distribution instead of its own.  The reverse is unlikely.
> 
> Anyway the more information I have the more likely I can do something.
> 
> David
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev




More information about the isabelle-dev mailing list