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

Re: [tlaplus] error in TLA toolbox installation

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ó:

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).


> 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.