search

AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK
GNU General Public License v3.0
235 stars 55 forks source link

SB08-025: Edge case for Goto SingleTask/Protected TypeDecl #915

Closed AdrienBoulanger closed 2 years ago