[isabelle] Report of Crash of Isabelle 2014



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.

message_output terminated
/Applications/Isabelle2014.app/Contents/Resources/Isabelle2014/lib/scripts/run-polyml-5.5.2: line 84: 8858 Abort trap: 6 "$POLY" -q -i $ML_OPTIONS --eval "$(perl "$ISABELLE_HOME/lib/scripts/recode.pl" "$MLTEXT")" --error-exit < /dev/null

standard_output terminated
standard_error terminated
process terminated
command_input terminated
process_manager terminated
Return code: 134

It had at least six files it was in the middle of processing, including files from each archive, and I don't know which made it crash. When I load things incrementally, I do not have the problem.
---Elsa





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