[isabelle-dev] [158c513a39f5] JVM crash
makarius at sketis.net
Sat Aug 19 21:04:57 CEST 2017
On 19/08/17 20:31, Manuel Eberl wrote:
>> If you still have that, can you send it to me?
>> Since the JVM crash happened during scalac compilation, I recommend to
>> enforce a fresh build, e.g. like this:
The log says "java_command: isabelle.Isabelle_Tool build -b
HOL-Analysis" so this was really the "isabelle build", after scalac
compilation was finished.
Reading the tea leaves further, I see the following potential reasons of
* jdk-8u144 (see Isabelle/98afae4308f5)
* scala-2.12.3 (see Isabelle/96ad7d5ff613)
* hardware: AMD Ryzen 7 1800X Eight-Core Processor
I've seen occasional press articles discussing problems of AMD Ryzen,
More information about the isabelle-dev