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
master
ada_language_server/integration/vscode/Code Samples/gnatprove
History
Anthony Leonardo Gracio 9ad11ae5e6 Fix GNATprove code sample 
And format the whole file.

(no-issue-check)
2025-10-31 09:51:39 +00:00
..
.vscode
Fix GNATprove code sample
2025-10-31 09:51:39 +00:00
obj
Move examples into "Code Samples" directory.
2022-04-28 19:44:07 +03:00
pricing.adb
Move examples into "Code Samples" directory.
2022-04-28 19:44:07 +03:00
pricing.ads
Move examples into "Code Samples" directory.
2022-04-28 19:44:07 +03:00
sat.adb
Move examples into "Code Samples" directory.
2022-04-28 19:44:07 +03:00
sat.ads
Move examples into "Code Samples" directory.
2022-04-28 19:44:07 +03:00
test.adb
Move examples into "Code Samples" directory.
2022-04-28 19:44:07 +03:00
test.gpr
Move examples into "Code Samples" directory.
2022-04-28 19:44:07 +03:00
test.yaml
Move examples into "Code Samples" directory.
2022-04-28 19:44:07 +03:00