Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
https://github.com/tlaplus/vscode-tlaplus
formal-methods model-checking pluscal specification tla tlc verification vscode-extension
Last synced: about 2 months ago
JSON representation
TLA+ language support for Visual Studio Code
- Host: GitHub
- URL: https://github.com/tlaplus/vscode-tlaplus
- Owner: tlaplus
- License: mit
- Created: 2019-07-14T18:21:54.000Z (about 5 years ago)
- Default Branch: master
- Last Pushed: 2024-02-04T06:29:26.000Z (8 months ago)
- Last Synced: 2024-06-01T17:10:41.659Z (4 months ago)
- Topics: formal-methods, model-checking, pluscal, specification, tla, tlc, verification, vscode-extension
- Language: TypeScript
- Homepage:
- Size: 24.9 MB
- Stars: 333
- Watchers: 12
- Forks: 29
- Open Issues: 67
-
Metadata Files:
- Readme: README-nightly.md
- Changelog: CHANGELOG.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
Awesome Lists containing this project
README
# TLA+ Nightly for Visual Studio Code
> **ATTENTION:** This is the preview version of the [TLA+ for Visual Studio Code](https://marketplace.visualstudio.com/items?itemName=alygin.vscode-tlaplus) extension, used for early feedback and testing.
>
> **ATTENTION:** Both the stable and nightly versions cannot be used at the same time. You must [disable](https://code.visualstudio.com/docs/editor/extension-marketplace#_disable-an-extension) or [uninstall](https://code.visualstudio.com/docs/editor/extension-marketplace#_uninstall-an-extension) one of them.> TLA+ Nightly:
> * Is released more frequently.
> * Includes features and bug fixes that may not have been tested yed.
> * May include nightly builds of the TLA+ tools.