search

AdaCore / ada_language_server

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

UB26-005 Add task for proof of subprogram #951

Closed yannickmoy closed 2 years ago

yannickmoy commented 2 years ago

Use promises as getting all symbols returns a promise.