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

Re: [tlaplus] TLA tools

From: Markus Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Thu, 15 Nov 2018 08:03:59 -0800
References: <a5a81408-05c2-4e18-9adf-37e082f7b26e@googlegroups.com> <e96845a3-8208-b87d-a56b-648cb75241c7@lemmster.de> <f4c3e690-80a7-4dc9-8618-e37e93efbf6c@googlegroups.com> <ead1ebd1-ff64-3936-2139-35c848eb8f31@lemmster.de> <a895780d-34b1-41ab-9275-732a654644cd@googlegroups.com>

On 15.11.18 05:34, Michel Charpentier wrote:
> I'm now running into difficulties with Java 11.  Is any TLC
> (command-line or toolbox) supposed to be working with Java 11?

Hi Michel,

Java 11 hasn't been tested extensively and for now I would advise to
keep using Java 1.8.  That said, TLC and SANY both work with Oracle Java
11.0.1 x86_64 here.

What difficulties do you actually see?

Thanks

Markus

Follow-Ups:
- Re: [tlaplus] TLA tools
  - From: Markus Kuppe

References:
- TLA tools
  - From: Michel Charpentier
- Re: [tlaplus] TLA tools
  - From: Markus Kuppe
- Re: [tlaplus] TLA tools
  - From: Michel Charpentier
- Re: [tlaplus] TLA tools
  - From: Markus Kuppe
- Re: [tlaplus] TLA tools
  - From: Michel Charpentier

Prev by Date: Re: [tlaplus] TLA tools
Next by Date: Re: [tlaplus] TLA tools
Previous by thread: Re: [tlaplus] TLA tools
Next by thread: Re: [tlaplus] TLA tools
Index(es):
- Date
- Thread