[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
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.
line 84: 8858 Abort trap: 6 "$POLY" -q -i $ML_OPTIONS
--eval "$(perl "$ISABELLE_HOME/lib/scripts/recode.pl" "$MLTEXT")"
--error-exit < /dev/null
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and