Kind 2 VS Code Extension 0.6.0

The last three releases (0.5.2 - 0.5.4) were published only for linux-x64 and darwin-x64. This made hard (and sometimes impossible) to install the extension on Windows (through WSL2) and other platforms. This release fixes the issue by providing three versions:

1. A platform-specific version for darwin-x64, which includes x64 macOS binaries for Kind 2 and Z3.
2. A platform-specific version for darwin-arm64, which includes arm64 macOS binaries for Kind 2 and Z3.
3. A fallback/universal version, which includes x64 Linux binaries for Kind 2 and Z3.
   • This version can be used on Windows through WSL2.

This release also fixes a syntax highlighting bug.

Kind 2 VS Code Extension 0.5.4

• Fix syntax highlighting for if blocks without 'else' branch

Kind 2 VS Code Extension 0.5.3

• Update Z3 to version 4.12.0 and Kind 2 to version 1.8.0.
• Replace Boolector SMT solver with Bitwuzla.
• Add syntax highlighting for frame blocks, if-then-else blocks, and reachability properties
• Add experimental support for reachability properties

Kind 2 VS Code Extension 0.5.2

• Update Z3 to version 4.11.0 and Kind 2 to version 1.7.0.
• Replace CVC4 SMT solver backend with cvc5.
• Fix an issue where the simulation view is resized when the Simulate button is pressed.

Kind 2 VS Code Extension 0.5.1

• Fix highlighting issues for line comments inside block comments.
• Fix go-to-definition bugs.

Kind 2 VS Code Extension 0.5.0

• Improve syntax highlighting for type definitions, contracts, machine integer casts, and type definitions.
• Add support for go-to-definition for top level constants, type definitions, (imported) functions, (imported) nodes, and contract nodes.
• Update Z3 to version 4.8.17 and Kind 2 to version 1.6.0.

Kind 2 VS Code Extension 0.4.0

• Add support for more Kind 2 options.
• (Advanced) Add an option to pass command-line arguments to Kind 2's executable.
• Replace file URIs displayed in Kind's view with unique path suffixes.
• Add icons for stopped and unknown results.
• Update Z3 to version 4.8.14 and Kind 2 to latest nightly release.

Kind 2 VS Code Extension 0.3.3

• Change default values for options to mirror Kind 2's defaults.
• Fix issues with white spaces in paths.
• Fix issues where the extension hangs when Kind 2 generates long outputs. This also fixes issues with high verbosity levels.
• Remove diagnostic messages when Lustre files are closed.

Kind 2 VS Code Extension 0.3.2

• Fix an issue where abstract nodes appear in both abstract and concrete sections.
• Hide show source button for analysis results.

Kind 2 VS Code Extension 0.3.1

• Fix an issue where codelens do not appear when a user opens a Lustre file.
• Cancel all checks when a user modifies a file.