ada/ada_language_server
0
0
Fork 0
mirror of https://github.com/AdaCore/ada_language_server.git synced 2026-02-12 12:45:50 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
22.0
ada_language_server/integration/vscode
History
Maxim Reznik 39b4b9fdf7 U218-014 Add task provider for gnatprove 
Update ada problem matcher regexp to accept more severities kinds.
2021-09-29 00:28:32 +03:00
..
ada
U218-014 Add task provider for gnatprove
2021-09-29 00:28:32 +03:00
Code Samples
Add a task provider with "build project"/"check file"
2021-04-01 16:46:48 +03:00
gnatprove
Let Ada problemMatcher work with absolute path
2021-03-13 14:49:26 +02:00