[isabelle-dev] [158c513a39f5] JVM crash

Makarius 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?
> Sure.
>> 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
the crash:

  * 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 mailing list