which tla+ ide to get started?

[Prashant Deva]

hi folks.

i am new to tla+ and just trying to get started.

i notice there is the tla+ toolbox and the tla+ vscode plugin. Which is the recommended option?

I notice the vscode plugin was last updated on 21st March, 2021.

The  toolbox was last released on Feb 22, 2022.

Has development on these essentially halted at this point?

Prashant

[Viktor Danylenko]

Hi!

I'm in the similar situation just starting with TLA+. I installed TLA+ Toolbox, TLA+ VS Code Plugin and the Intellij IDEA plugin. So far I found Intellij IDEA plugin to be the most convenient tool for writing, while I use TLA+ Toolbox to print in "nice" format, it is also easier in TLA+ Toolbox to set some options that otherwise require some manual modification of *.cfg file, which might take some time to figure out.

Hope this helps a little bit,

Viktor

[Stephan Merz]

Both IDEs are used by the community. For VSCode, I think that most people use the "TLA+ Nightly" plugin, which is updated very frequently. The main advantage of the Toolbox is that it has an editor for creating config files (and in fact it generates specific TLA files used for model checking, which gives more flexibility than plain config files). Volunteers for maintaining the Toolbox would be greatly appreciated.

Stephan

--
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+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/cf34f7f2-d9f8-45fe-8bab-76c0f5856faen%40googlegroups.com.

[Markus Kuppe]

The nightly builds of the Toolbox can be found at https://github.com/tlaplus/tlaplus/releases/tag/v1.8.0#latest-tla-files

Markus

[Felipe Oliveira Carvalho]

What's preventing another release cut?

> --
> 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+u...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/88399B7E-AD1D-430B-A614-CB8A616B8225%40lemmster.de.

[Markus Kuppe]

At the TLC level, https://github.com/tlaplus/tlaplus/issues/835, https://github.com/tlaplus/tlaplus/issues/866, and https://github.com/tlaplus/tlaplus/issues/883 are blockers from my perspective. With regards to the Toolbox, Stephan already mentioned the shortage of volunteers to do, for example, release testing.

Markus