Vscode Tlaplus Versions Save

TLA+ language support for Visual Studio Code

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.