Re: [isabelle-dev] [158c513a39f5] JVM crash

2017-09-04 Thread Manuel Eberl
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

Re: [isabelle-dev] Towards the Isabelle2017 release

2017-09-04 Thread Thiemann, Rene
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

Re: [isabelle-dev] isabelle build timing

2017-09-04 Thread Lars Hupel
> 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