On 28/07/18 22:09, Makarius wrote:
> On 12/05/18 00:50, Makarius wrote:
>> On 10/05/18 00:10, Makarius wrote:
>>
>> In Isabelle/a8f40dd73c61 I have made the parallelism a little bit more
>> ambitious, and keep watching resulting performance charts at
>>
On 12/05/18 00:50, Makarius wrote:
> On 10/05/18 00:10, Makarius wrote:
>>
>> In the past couple of weeks I have sporadically tried to work around
>> this resource problem, but failed so far.
>>
>> The latest attempt is Isabelle/f6a22490cca8. As usual, it "works for me
>> on my usual test
On 10/05/18 00:10, Makarius wrote:
> On 10/03/18 11:06, Makarius wrote:
>> 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
On 10/05/18 00:10, Makarius wrote:
>
> In the past couple of weeks I have sporadically tried to work around
> this resource problem, but failed so far.
>
> The latest attempt is Isabelle/f6a22490cca8. As usual, it "works for me
> on my usual test machines", but there is a remaining chance of
On 10/03/18 11:06, Makarius wrote:
> 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
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
On 07/03/18 14:09, Makarius wrote:
> On 03/03/18 12:09, Clemens Ballarin wrote:
>> While building HOL-Proof I observe a deadlock, usually after 13 min CPU
>> time. It can be worked around with ISABELLE_BUILD_OPTIONS="threads=1".
>> The deadlock occurs most of the time. The earliest changeset I
On 03/03/18 12:09, Clemens Ballarin wrote:
> While building HOL-Proof I observe a deadlock, usually after 13 min CPU
> time. It can be worked around with ISABELLE_BUILD_OPTIONS="threads=1".
> The deadlock occurs most of the time. The earliest changeset I was able
> to reproduce this with is
>
While building HOL-Proof I observe a deadlock, usually after 13 min CPU
time. It can be worked around with ISABELLE_BUILD_OPTIONS="threads=1".
The deadlock occurs most of the time. The earliest changeset I was able
to reproduce this with is
changeset: 67675:738f170f43ee
user: