vscode-tlaplus
vscode-tlaplus copied to clipboard
tlaplus
TLA+ language support for Visual Studio Code
## Motivation This came up in the Community Outreach meeting as a good potential first "refactoring tool" for TLA+. Given we have the AST, we know 1) all of the...
[TLAPS](https://github.com/tlaplus/tlapm/tree/main/library) and the [CommunityModules](https://github.com/tlaplus/CommunityModules/tree/master/modules) offer a variety of modules containing reusable operators, theorems, and lemmas. However, the VSCode extension does not make these resources easily discoverable. Unless a user is...
Bumps the all-dependencies group with 25 updates in the / directory: | Package | From | To | | --- | --- | --- | | [@microsoft/fast-react-wrapper](https://github.com/Microsoft/fast) | `0.3.20` |...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Simulation is the only viable approach for checking very large specifications. However, evaluating the coverage of simulation remains challenging. Recent TLC improvements (https://github.com/tlaplus/tlaplus/commit/05d755591382ce1a574142b004e918074807c23f, https://github.com/tlaplus/tlaplus/commit/f764fbf321340298151c6b5e40892619116a12c4, https://github.com/tlaplus/tlaplus/commit/52f54453775dd3a11d4444cc657a2b8a506c802a, https://github.com/tlaplus/tlaplus/commit/84ac43463380ee6ceb02b245c63d223adaaf0b1b, https://github.com/tlaplus/tlaplus/commit/23f765078cd098a2bc2bc3d19889ba0c64583ca4, https://github.com/tlaplus/tlaplus/pull/897, ...) enable...
The pull request https://github.com/tlaplus/vscode-tlaplus/pull/367 brought SANY’s Abstract Syntax Tree (AST) into our VSCode extension. With the AST now available, it is much easier to resolve symbols beyond the currently open...
The Webview UI Toolkit for VS Code will be deprecated on January 1, 2025. See the [deprecation announcement](https://github.com/microsoft/vscode-webview-ui-toolkit/issues/561) for more details. https://github.com/microsoft/vscode-webview-ui-toolkit Not sure how urgent or complicated it would...
