> The canonical build parameters for this machine appear to be:
>
> isabelle build -j8 -o threads=6
I find this combination (8*6 = 48 threads) to be surprising, given that
that machine has only access to 22 physical (non-HT) cores. Judging from
your list below, this is the minimum number of thr
Dear Florian,
thanks for the explanation and the hint on style.
The below pattern works perfectly in our formalization.
Cheers,
René
> Am 31.08.2017 um 14:03 schrieb Florian Haftmann
> :
>
> Note that the pattern above is avoided nowadays by an interpretation
> with mixin definitions:
>
> lo
Alas, it would appear I have spoken too soon!
I experienced a strange build failure with RC1 yesterday and, fearing
the worst, did my experiment from a few weeks ago again, with the
following result:
– building "Pure" fails in around 6 % of the cases
– this does not change even after a cold reboo