On 22/02/17 10:14, Lars Hupel wrote:
>
> 11:07:25.458 Iptables_Semantics_Examples: theory
> Analyze_Synology_Diskstation
> 19:01:48.518 Run out of store - interrupting threads
>
> So, nothing happens for a while and then we get an out of memory error.
> Note that the "slow" sessions are executed on 64 bit with an abundance
> of memory.
More now I have switched back to Poly/ML 5.6 (18f3d341f8c0), until I
find time to look what is really going on there.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
