Email Gateway (Aug 19 2022 at 16:53): Email Gateway (Aug 19 2022 at 16:53):From: "Elsa L. Gunter" <egunter@illinois.edu>
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:
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
Email Gateway (Aug 19 2022 at 16:53):From: Makarius <makarius@sketis.net>
This breakdown of the Poly/ML runtime system has already been discussed a
few time on this mailing list, e.g. see
https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2014-August/msg00243.html
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.
Makarius
http://stop-ttip.org 1,232,671 Participants
Last updated: Apr 25 2024 at 04:18 UTC