CHANGELOG.md

0.7.1

• Fixed a bug where the LSP server would start before the client was ready and then die.

0.7.0

• Updated bundled Alloy to version 6.1, thanks to great work by Alejandro Serrano.

0.6.0

• Updated bundled Alloy to version 5.1
• Cleaned up the side panel output

0.5.0

• Added support for Alloy Markdown files

0.4.0

• Added the command executeCommandUnderCursor (Ctrl+Shift+A E)
• Added key bindings for Alloy extension commands

0.3.0

• Added document and workspace symbol search support

0.2.0

• Improved find references support
• Implemented full rename support
• Added hover, definition, and rename support for macros

0.1.5

• Added Find All References support

0.1.4

• Performance improvements
• Added the option to highlight commands as links : alloy.commandHighlightMode
• Added limited renaming support
• Added "Open latest instance" command

0.1.3

• Support for unsat cores
• Support for Go to definition to built-in definitions (Ordering, etc.)

0.1.2

• Improvements to Go to definition and hover support
• Updated bundled Alloy analyzer

0.1.0

• Added Go to definition and hover support

0.0.3

• Added "List Alloy Commands" and "Execute All Alloy Commands" commands

0.0.1

• Initial release