Home
Projects
Resources
Alternatives
Blog
Sign In
Vscode Tlaplus Versions
Save
TLA+ language support for Visual Studio Code
Overview
Versions
Reviews
Resources
v1.6.0-alpha.2
2 years ago
Enhancements
Show options prompt before debugging.
Allow launching debugger in more contexts.
Upgrade tla2tools.jar.
Bug fixes
Fix coverage and states parsing.
v1.6.0-alpha.1
2 years ago
Enhancements
Added TLC debugger. See the "Check and debug model with TLC" and "Debug a running model" commands.
Bug fixes
Fix parsing error traces that mention external modules.
v1.5.5-beta.1
3 years ago
Enhancements
Prompt user to provide options before running TLC.
v1.5.4
3 years ago
Enhancements
Highlight special symbols in EXCEPT expressions.
Bug fixes
Fix PlusCal errors parsing.
Fix integration with vscode-pdf.
v1.5.4-beta.1
3 years ago
Enhancements
Highlight special symbols in EXCEPT expressions.
Bug fixes
Fix PlusCal errors parsing.
Fix integration with vscode-pdf.
v1.5.3
3 years ago
Enhancements
Display error messages in monolith specs.
Definition blocks parsing improvement.
Bug fixes
Fix problems when using Nix for packaging the extension.
v1.5.3-beta.1
3 years ago
Enhancements
Monolith specs support.
Definition blocks parsing improvement.
v1.5.3-alpha.2
3 years ago
Enhancements
Display error messages in monolith specs.
v1.5.3-alpha.1
3 years ago
Bug fixes
Fix problems when using Nix for packaging the extension.
v1.5.2
3 years ago
Enhancements
Bind local symbol definitions to top-level definitions for better presentation in the Outline view.
Better local definitions detection.
Upgrade tla2tools to v2.16.
Support for new TLC message codes.
Bug fixes
Fix display of constant expression evaluation result.
Fix multi-line SANY messages parsing.
Capture SANY internal errors correctly.
Separate SANY errors and warnings on the Check Result View panel.
« Previous
Next »
Home
Projects
Resources
Alternatives
Blog
Sign In
Sign In to OSA
I agree with
Terms of Service
and
Privacy Policy
Sign In with Github