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

Re: [tlaplus] TLA tools



On 15.11.18 08:03, Markus Kuppe wrote:
> 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

Can you please also check if the current nightly build [1] fixes your
incompatibility issues?

Thanks
Markus

[1] https://tla.msr-inria.inria.fr/tlatoolbox/ci/dist/