Release notes

New Code Visualizer displaying code information as interactive graphs (e.g. Types: Show Type Hierarchy Graph command), for any language with LSP support in VS Code (e.g. Ada, Python, TypeScript).
Added Ada: Open User's Guide command displaying the HTML version of the Ada & SPARK extension User's Guide using Microsoft's Live Preview extension
New refactoring: Extract Variable
Added a Ada: Report Issue command that opens the VS Code Issue Reporter with an extension-specific template
Go to Definition now jumps respectively on the begin, private and body keywords
for subprograms, packages and tasks when clicking on the is keyword following their declarations
New refactoring: Delete Entity
Provide an integration of the e3-testsuite framework with the VS Code testing UI
Provide an interactive options picker for GNATprove invocations
Automatically open SARIF reports generated by GNATprove

Provide feedback

No results found