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: 27 days 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 (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2024-02-04T06:29:26.000Z (5 months ago)
• Last Synced: 2024-04-20T00:53:11.897Z (2 months ago)
• Topics: formal-methods, model-checking, pluscal, specification, tla, tlc, verification, vscode-extension
• Language: TypeScript
• Homepage:
• Size: 24.9 MB
• Stars: 329
• Watchers: 12
• Forks: 29
• Open Issues: 67
• Metadata Files:
  • Readme: README-nightly.md
  • Changelog: CHANGELOG.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE

Lists

• awesome-stars - tlaplus/vscode-tlaplus - TLA+ language support for Visual Studio Code (TypeScript)

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.