On 14.12.2012 09:40, Lars Noschinski wrote:
On 28.11.2012 10:11, Lars Noschinski wrote:
Hi everyone,
mira still crashes from time to time. Sometimes, it is not a programming
error, but some external error condition which could maybe be handled
more gracefully:
Next error condition: Isabelle fails to produce any heap image. I have
no idea what failed there (the commit on which it failed seems to be
working and the crash ),
First I thought, the reason it failed was that it was still using an old
version of Mira (16f40e322e50) from 9 months ago, still unaware of the
changes related to the components. But even after updating the mira
repository and restarting, it still fails.
> but it should not crash mira (see attached logs).
This still stands.
-- Lars
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
