vscode-tlaplus
vscode-tlaplus copied to clipboard
tlaplus
TLA+ language support for Visual Studio Code
# Issue When running the command `TLA+: Parse Module` in remote development, the editor views the amendments/edits to the file as a [dirty write](https://code.visualstudio.com/docs/getstarted/tips-and-tricks#_preventing-dirty-writes) and triggers diff mode.  This...
[VS Code's Alloy extension](https://marketplace.visualstudio.com/items?itemName=ArashSahebolamri.alloy) gives me the ability to embed Alloy code inside a Markdown file. This allows me to produce a model and nicely laid out documentation in the...
Is there a way in VS Code to make "TLA+: Check with TLC" keep focus on the model's buffer? The focus changes to the checker's buffer, and so I need...
By fails silently, I mean it doesn't show this popup:  "Check and debug model with TLC" makes the popup appear normally. This is with the most recent version of...
Still WIP but works. 1. Grab the jar produced by https://github.com/FedericoPonzi/tlaplus-formatter, 2. update the path in the code 3. ctrl+shift+p and select Format Document the formatter itself is also WIP.
The trace exploration feature in VSCode falls short compared to the Toolbox's trace explorer. Considering the widespread use of the VSCode extension, it is important to address the following issues...
Spec: ``` ---- MODULE PlusCal ---- EXTENDS TLC (*--algorithm sample_computation variables x = 0; begin print(x); x = 1; end algorithm;*) \* BEGIN TRANSLATION \* END TRANSLATION Foo == x...
It could either show instructions on how to enable the TLAPS support or should be hidden at all.
This PR implements the `update vars` feature requested in #364. - `TLA+: Update vars tuple` command that syncs your vars tuple with VARIABLES declarations  - Handles single/multi-line VARIABLES, multiple...
This PR adds autocomplete support for TLA+ module symbols. It extracts definitions from JAR files (tla2tools.jar and CommunityModules-deps.jar). - Extract module symbols from JAR files - Provide completion suggestions for...