A gentle intro to TLA+

[@AlexanderFarley]

Nice tutorial, one minor request: it would be nice to see this footage at screen resolution (1080) because it was actually hard to see whether you are using standard brackets () or curly brackets {} due to the compression of the video. Or if you could point to a Github repo, we could follow along ourselves.

[@denisgolovin5928]

Thank you very much for this insightful video! I especially like how you present a nice workflow for using TLA+ with vscode. Would love to see more of your content!

[@StevenKane1983]

Thank you for posting this! I am working my way into the world of specification and had been limping along with the Toolbox which, though an excellent entre, is not an ideal IDE for thinking / typing / iterating quickly for me. This helped me get a full setup running smoothly in VSCode.

[@kirank5253]

Thanks a lot.... your presentation is excellent... Please continue to upload more videos....Thanks in advance

[@1997niharika]

Hi would you be able to help me out in a TLA+ project?

[@kirank5253]

@@1997niharika Hi, I'm not sure I can be of help to you as my knowledge is basic on TLA+. But I think the book "Practical TLA+" would be of great help to you as it teaches TLA+ throgh PlusCal...

[@AlexanderFarley]

How do you enable the Source Action -> Parse Module on ctrl-s?

[@AliAPanahi]

Thanks!

[@AlexanderFarley]

Which extension are you using to get that Open Preview icon? I tried the Graphviz extension by João Pinto which allows me to generate the visualization but I don't see the same icon you are using. Might be helpful to have a video covering the set-up for this video.

[@karahsekir5494]

good video, but can you please upload a higher resolution one?

[@miguelfrutos8738]

Thanks, great workflow. I prefier the simplicity of VSCode vs Toolbox.

[@dvlduvall]

Thank you!!

[@lencumbow]

The "-dump dotcolorize..." option doesn't do anything. Is there something else that needs to be installed? Running on Windows 10. My minimal googling found Graphviz, but I'm not sure what do to next.

[@anasmusah2580]

Has your issue been resolved, I am also facing the same challenge

[@lencumbow]

@@anasmusah2580 Sorry. No. I've moved on to other things.

[@CursedMojo]

the setting (delimited by three backticks) is ``` -dump dot,colorize ${modelName}.dot -deadlock``` remove the backticks and add it to the settings it should work - the problem was that the video was in a very low resolution. Super useful video though! The VizGraph option was a nice touch TBH!