2026.0.202510141

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

26.0.202507021

Release notes

• Added onEnterRules for Ada/GPR files to split long comments by adding automatically a comment tag to the next line
• Added support for new LSP request textDocument/inlineValue
• Resolved a bug where the Ada and GPR language servers made concurrent Alire
  invocations in the same workspace, causing sporadic errors. Alire invocations
  are now made sequentially using file-based synchronization across ALS
  processes.
• Support customizing GNATcoverage tasks, e.g. to select a coverage level
• Support importing MC/DC reports from GNATcoverage

26.0.202507020

Release notes

• Added onEnterRules for Ada/GPR files to split long comments by adding automatically a comment tag to the next line
• Added support for new LSP request textDocument/inlineValue
• Resolved a bug where the Ada and GPR language servers made concurrent Alire
  invocations in the same workspace, causing sporadic errors. Alire invocations
  are now made sequentially using file-based synchronization across ALS
  processes.
• Support customizing GNATcoverage tasks, e.g. to select a coverage level
• Support importing MC/DC reports from GNATcoverage

26.0.202504171

Release notes

• Various improvements and bug fixes related to the GNATcoverage integration
• Fix the display of the Ada & SPARK status bar item when there is no project-related diagnostic
• Better handling of Ada files that do not belong to the loaded project tree

26.0.202504012

Release notes

• Fix a bug that caused the ALS to hang when trying to complete partially qualified invisible symbols
• Support loading a fresh checkout of an Alire crate by automatically performing the necessary Alire workspace initializations
• VS Code status bar now displays an item showing the project-loading status and useful commands provided by the extension when hovering on it
• Consider the Gnattest.Harness_Dir project attribute in the GNATtest integration in VS Code
• New source information diagnostics for opened Ada files

26.0.202502240

Release notes

• Support single-line (//) and multi-line (/* */) comments in ALS JSON configuration files
• Fix the reporting of test results in the Testing view when the test tree is not expanded
• Fix sluggish completion while editing GPR files
• Provide a task ada: Build GNATtest test harness project allowing to customize the build step of test execution in tasks.json
• Fix cross-references (navigation, call hierarchy, finding all references) when the project is an Extending project.
• GNATformat is now the default back-end for LSP formatting requests
• Add tasks and a CodeLens to run and debug a given main with GNATemulator on non-native projects
• Diagnostics are now emitted for issues encountered when trying to load an Alire crate
• Commands to create a new main units, packages and GPR project files have
  been added, all available under the File->New File... menu
• Add VS Code command ada: GNATcoverage - Load an existing XML coverage report for importing coverage reports
• Support running GNATtest tests in coverage mode

26.0.202412191

Release notes

• The configured project is now automatically reloaded when adding/renaming/deleting a file in a known source directory.
• GPR .cgpr config files can now be passed to the Ada Language Server through the new gprConfigurationFile configuration option.
• Project diagnostics are no longer published on each opened Ada file: instead, they are now published on the workspace's root directory.
• Add a setting ada.showNotificationsOnErrors to control whether VS Code should display error notifications for failing LSP requests.
• Add support for a default .als.json workspace configuration file and a global $XDG_CONFIG_HOME/als/config.json user configuration file. See settings.md for more information.

26.0.202412190

Release notes

• The configured project is now automatically reloaded when adding/renaming/deleting a file in a known source directory.
• GPR .cgpr config files can now be passed to the Ada Language Server through the new gprConfigurationFile configuration option.
• Project diagnostics are no longer published on each opened Ada file: instead, they are now published on the workspace's root directory.
• Add a setting ada.showNotificationsOnErrors to control whether VS Code should display error notifications for failing LSP requests.
• Add support for a default .als.json workspace configuration file and a global $XDG_CONFIG_HOME/als/config.json user configuration file. See settings.md for more information.

26.0.202411173

Release notes

• Create commands for opening the project file and the log file
• Add editor contextual menus for some Ada commands
• Avoid 'auto-import' command when completing with-clauses
• Replace "Project Problem" diagnostic by the project status message
• Avoid running the Prove codelens with no problem matchers
• Fix Goto Definition for entry in Protected Types
• Avoid PRECONDITION_FAILURE on editing an empty file
• Avoid occurrences of STALE_REFERENCE_ERROR in Libadalang

25.0.20241014

Release notes

• Fix the removal of old log files in the ~/.als directory
• Fix the Ada: Go to other file command for child packages
• Fix various project loading issues after significant changes in the GPR2 project loading API
  • Make sure all project issues are emitted as diagnostics
  • Avoid lingering diagnostics from earlier failed loading attempts
  • Treat a subclass of non-critical project issues as non-blocking for the ALS
  • Add a setting ada.projectDiagnostics to control whether the ALS should emit project diagnostics
• Fix the ada: Run main task when the main executable is at the workspace root