Just had a crash on my (Mac) laptop too. Larry On 12 May 2013, at 12:24, David Matthews <d...@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-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
