[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Most recent JRE version compatible with TLA+ Toolbox?

From: Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
Date: Thu, 2 Jun 2022 09:14:01 -0700
References: <4eceed2c-5e49-4ad9-8326-694b3b834f5fn@googlegroups.com>

Hi Paolo,

the TLA+ Toolbox bundles its own JVM, which - as of today - is Java 14.  The Toolbox and TLC also run fine on newer releases such as Java 18.

Markus

> On May 31, 2022, at 4:33 AM, Paolo Garroni <pfgrrn@xxxxxxxxx> wrote:
> 
> The TLA Toolbox reportedly runs on Java 1.8, but security concerns suggest more recent versions (say, Java 17 or higher). Anyone confirm what mix would work fine?

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/4598CA9E-1BFD-4F5F-8D49-333E2F03AEC6%40lemmster.de.

Follow-Ups:
- Re: [tlaplus] Most recent JRE version compatible with TLA+ Toolbox?
  - From: Paolo Garroni

Prev by Date: Re: [tlaplus] Action name in error trace
Next by Date: Re: [tlaplus] Most recent JRE version compatible with TLA+ Toolbox?
Previous by thread: [tlaplus] Re: Example specs of the video course
Next by thread: Re: [tlaplus] Most recent JRE version compatible with TLA+ Toolbox?
Index(es):
- Date
- Thread