Re: [tlaplus] error in TLA toolbox installation

[Daniel Espinosa <danespin@xxxxxxxxx>]

Hi, in my case I've installed all the latest tla tools components, I've seen in the videos how automagically the IDE starts without loading any .tla file, just a clean IDE to start from scratch. But I haven't find any way to launch the IDE, all the instructions to launch the programs (tlc.TLC, etc) require an argument or more, I provided a file.tla but then look for a .cfg. I've seen posts to read a chapter of Specifying Systems, but even this recent video shows how automagically the IDE loads without loading any input file to launch it: https://www.google.com/search?channel=fs&client=ubuntu-sn&q=beginning+with+tla%2B+tools#fpstate=ive&vld=cid:48fee981,vid:U2FAnyPygrA

Could someone tell me how to launch the IDE without any .cfg or .tla as prerequisite to run it? I think should be something like:

java -XX:+UseParallelGC -jar ./tla2tools.jar   <something_here>

El lunes, 27 de marzo de 2023 a las 9:48:20 UTC-6, Markus Kuppe escribió:

Hi,

based on the information in the log (eclipse.buildId=1.4.2), you might have downloaded an old, outdated version of the TLA+ Toolbox that is no longer compatible with recent Java VMs. I recommend downloading the latest TLA+ Toolbox version (v1.7.1), from the following link: https://github.com/tlaplus/tlaplus/releases/tag/v1.7.1#latest-tla-files

Once you've downloaded the latest version, follow the installation instructions provided at https://lamport.azurewebsites.net/tla/toolbox.html (Obtaining the Toolbox > Installing the Toolbox).

Markus

> On Mar 25, 2023, at 12:22 AM, 'St Paul, MN USA' via tlaplus <tla...@xxxxxxxxxxxxxxxx> wrote:
>
> I downloaded the TLA Tool Box and unzipped it to C:, it has two executables one a eclipsec and another a toolbox executable, I get an error on executing the two, the log file is here:
> !SESSION 2023-03-25 11:50:57.220 -----------------------------------------------
> eclipse.buildId=1.4.2
> java.version=17.0.6
> java.vendor=Eclipse Adoptium
> BootLoader constants: OS=win32, ARCH=x86_64, WS=win32, NL=en_US
> Command-line arguments: -os win32 -ws win32 -arch x86_64

-- 
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/9280d3f3-3cd8-4e06-8156-251775727894n%40googlegroups.com.