Re: [isabelle] Report of Crash of Isabelle 2014

On Sat, 27 Dec 2014, Elsa L. Gunter wrote:

Dear Isabelle Maintainers,
When using Isabelle2014 on MacBook Pro running OCX 10.8.5 on a 3.06 GHz Intel Core 2 Duo with 8 Gg memory, while loading a collection of theories from the latest stable version of the Archive of Formal Proofs (the List-Infinite and JinjaThreads archives), I received the following Error message:

 Welcome to Isabelle/HOL (Isabelle2014: August 2014)
 Assertion failed: (baseAddr > (PolyWord*)obj && baseAddr <
 ((PolyWord*)obj)+length), function ScanAddressesInObject, file
 gc_mark_phase.cpp, line 439.

This breakdown of the Poly/ML runtime system has already been discussed a few time on this mailing list, e.g. see

Myself, I see this crash happen at intervals of a few weeks. If it happens more frequently elswhere, I would be interested in more side-conditions.

Ultimately, we need to find a way to reproduce it more reliably, such that David Matthews can do something about it.


        1,232,671 Participants

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.