Vscode Tlaplus Versions Save

TLA+ language support for Visual Studio Code

v1.5.2-beta.1

3 years ago

Bug fixes

  • Separate SANY errors and warnings on the Check Result View panel.
  • Parse mult-line SANY messages.

v1.5.2-alpha.2

3 years ago

Enhancements

  • Upgrade tla2tools to v2.16.
  • Bind local symbol definitions to top-level definitions for better presentation in the Outline view.
  • Better local definitions detection.
  • Support for new TLC message codes.

Bug fixes

  • Capture SANY internal errors correctly.

v1.5.2-alpha.1

3 years ago

Bug fixes

  • Fix display of constant expression evaluation result.

v1.5.1

3 years ago

Enhancements

  • Display more details about unsupported Java version.
  • Support CHECK_DEADLOCK and POSTCONDITION keywords.

Bug fixes

  • Fix Java version parsing.
  • Fix problem with quoted command line arguments.
  • Fix Check Result View issue.

v1.5.1-alpha.2

3 years ago

Enhancements

  • Display more details about unsupported Java version.
  • Support CHECK_DEADLOCK and POSTCONDITION keywords.

Bug fixes

  • Fix Java version parsing.

v1.5.0

4 years ago

Enhancements

  • Run last model check again command which allows you to quickly run TLC again without switching to the spec or model file. The Check again button on the check visualization panel does the same.
  • Upgrade TLA Tools to v2.15.
  • Run the Check model command from the Explorer context menu on .tla and .cfg files.
  • Display spec and model file names on the check visualization panel.
  • Display errors when evaluating constant expressions.

v1.4.0

4 years ago

Enhancements

  • Go to Definition action implementation.
  • Support custom class path in the Java Options setting.
  • Switch between error traces when there are multiple of them.

Bug fixes

  • Fix warnings display.
  • Correctly handle TLC results when the -continue option is used.
  • Support new TLC message codes.
  • Process TLC message codes with respect to severity levels.

v1.3.2

4 years ago

Bug fixes

  • Fix Model Check Result view in VSCode Online.

v1.3.0

4 years ago

Enhancements

  • Display variable values and copy them to clipboard from error trace.
  • TLC: Model Checker Options setting now supports variables ${specName} and ${modelName}.
  • New TLC: Statistics Sharing setting that allows to opt-in / opt-out sharing of TLC usage statistics (more information). Please, consider sharing.
  • Allow workspace-level configuration.
  • Various UI improvements.

Bug fixes

  • Fix some auto-indentation problems in C-style PlusCal algorithms.
  • Fix operator overriding notification when using external modules.

v1.2.0

4 years ago

Enhancements

  • Filter error-traces by variable names.
  • "Go to definition" and "Peek definition" code actions.
  • Display parsing warnings.
  • Improve support for c-style PlusCal algorithms.
  • Smarter autocompletion.
  • Notify user about significant extension updates.

Bug fixes

  • Fix capturing of "bad indentation" SANY errors.