vscode-tlaplus
vscode-tlaplus copied to clipboard
tlaplus
TLA+ language support for Visual Studio Code
tlaplus#127 describes long error trace records not being easily viewable. I still find this the case: the copy-to-clipboard feature is a bit cumbersome to use. A feature I found very...
```tla LET from == GraphNodePos[u[1]] to == GraphNodePos[u[2]] ... IN ... ``` Note the `to` that is not highlighted.
My system: Windows 10, Visual Studio Code, Java 8 installed I am following the instructions for setup, which indicates that Java 8 should work although 11 is recommended. I was...
We want specs to describe systems. Verification with model-checkers such as TLC is import, but ultimately a secondary concern. We do not want users to write specs that are amenable...
Bumps [moment](https://github.com/moment/moment) from 2.24.0 to 2.29.2. Changelog Sourced from moment's changelog. 2.29.2 See full changelog Release Apr 3 2022 Address https://github.com/advisories/GHSA-8hfj-j24r-96c4 2.29.1 See full changelog Release Oct 6, 2020 Updated...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [ansi-regex](https://github.com/chalk/ansi-regex) from 3.0.0 to 3.0.1. Commits f545bdb 3.0.1 c57d4c2 fix a few old XO issues for backport 419250f Fix potential ReDoS (#37) See full diff in compare view [
- In the most simple of model checking cases, this works now; PoC finshed to a point to ping mku. - Minor clean-up and a few comments before making a...
The popularity of the CommunityModules warrants that we bundle (or otherwise) include its jar in the vscode extension.
The TLA+ tree-sitter grammar now supports PlusCal: https://github.com/tlaplus-community/tree-sitter-tlaplus/ You can see how to consume the grammar from TypeScript here: https://github.com/tlaplus-community/tlaplus-tool-dev-examples/tree/main/tree-sitter/typescript There are a few ways the grammar could help: -...
