v1.6.0-alpha.2

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

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

Enhancements

• Prompt user to provide options before running TLC.

v1.5.4

Enhancements

• Highlight special symbols in EXCEPT expressions.

Bug fixes

• Fix PlusCal errors parsing.
• Fix integration with vscode-pdf.

v1.5.4-beta.1

Enhancements

• Highlight special symbols in EXCEPT expressions.

Bug fixes

• Fix PlusCal errors parsing.
• Fix integration with vscode-pdf.

v1.5.3

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

Enhancements

• Monolith specs support.
• Definition blocks parsing improvement.

v1.5.3-alpha.2

Enhancements

• Display error messages in monolith specs.

v1.5.3-alpha.1

Bug fixes

• Fix problems when using Nix for packaging the extension.

v1.5.2

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.