This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision |
| using:vscode:getting_started [2024/10/19 18:51] – fponzi | using:vscode:getting_started [2025/05/31 22:48] (current) – fponzi |
|---|
| Create a specification file. Let’s name it ''%%squares.tla%%''. | Create a specification file. Let’s name it ''%%squares.tla%%''. |
| |
| Make the file a TLA<sup>+</sup> module. To do it, start typing ''%%module%%'' and select the “Create new module (TLA+)” snippet from the drop-down list. The snippet will expand into module header and footer. | Make the file a TLA<sup>+</sup> module. To do it, create a .tla file, or open a new file and click on "select a language" and specify TLA: |
| | {{:using:vscode:vscode_select_language.png?direct&400|}} |
| | |
| | Start typing ''%%module%%'' and select the “Create new module (TLA+)” snippet from the drop-down list. The snippet will expand into module header and footer. |
| | |
| | {{:using:vscode:vscode-snippet-module.png?direct&400|}} |
| |
| Use another snippet ''%%pluscal%%'' (“Create PlusCal block (TLA+)”) to create an empty PlusCal algorithm. So far, we’ve got the following file: | Use another snippet ''%%pluscal%%'' (“Create PlusCal block (TLA+)”) to create an empty PlusCal algorithm. So far, we’ve got the following file: |
fponzi