On 08/03/18 13:08, Makarius wrote: > >> Since David Matthews has make a lot of changes concerning fine-points of >> heap management in the past few months, I would like to test it with >> some Poly/ML repository version. But this does not build on macOS at the >> moment. > > I will continue with the investigations here.
I have now tested it with various experimental versions of Poly/ML: the problem persists. Looking more closely at the ML statistics of the process (after killing it) reveals that the ML world is fine and active, only my future thread farm is somehow blocked. This indicates that the problem is in my area of responsibility. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev