[isabelle-dev] Deadlock while building HOL-Proof
makarius at sketis.net
Thu Mar 8 13:08:11 CET 2018
On 07/03/18 21:01, Makarius wrote:
> In the first round I made some fine-tuning, without getting to the
> bottom of the actual problem:
> changeset: 67778:a25f9076a0b3
> changeset: 67779:fd2558014196
Today HOL-Proofs happened to work again for f95a163c58bb (before these
changes) and 7655e6369c9f (afterwards), see also
-- both had a timeout in the past few days.
So this fine-tuning alone does not really change anything.
> 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
I will continue with the investigations here.
More information about the isabelle-dev