Ghjuvan Lacambre
fa8d2fc654
README.md: update instructions for built-in Neovim LSP
...
Neovim's repository for lsp configuration was renamed from "nvim_lsp" to
"lspconfig" and the built-in configuration for the default Ada Language
Server was renamed from "als" to "ada_ls".
See https://github.com/neovim/nvim-lspconfig/pull/3394 for more
information.
2024-10-24 14:33:53 +02:00
Adrien Boulanger
f03ac52b8a
Apply 1 suggestion(s) to 1 file(s)
...
Co-authored-by: Anthony Leonardo Gracio <leonardo@adacore.com >
2024-07-16 09:34:35 +00:00
Boulanger
d5fd847833
Add README section about memory consumption
...
Closes eng/ide/ada_language_server#1342
2024-07-16 09:34:35 +00:00
Elie Richa
35ede3be2f
Provide default key bindings for SPARK tasks
2024-07-05 10:32:10 +00:00
Elie Richa
d169dd89c5
Document GNATtest integration
2024-06-27 15:12:05 +00:00
Elie Richa
c49d6166b9
Update documentation about VS Code tasks
2024-05-31 15:42:07 +00:00
Anthony Leonardo Gracio
a95742dacd
Add with-clause for invisible completion items
...
We now append the right 'als-auto-import' command to
invisible completion items, when the 'insertWithClauses' setting
is enabled.
This allows client that support executing completionItem commands
to execute the attached command in order to add the missing with-clause,
appending the qualifier if not already specified.
Automatic tests for both cases (i.e: with and without an already specified
qualifier) have been added.
For eng/ide/ada_language_server#1159
2024-05-28 12:42:01 +00:00
Nicolas Setton
d341fc5661
Apply 1 suggestion(s) to 1 file(s)
...
Co-authored-by: Nicolas Setton <setton@adacore.com >
2024-05-20 14:15:05 +00:00
Anthony Leonardo Gracio
a4f46d26ff
Mention GPR support in ALS documentation
...
For eng/ide/ada_language_server#1221
2024-05-20 09:49:25 +00:00
Anthony Leonardo Gracio
6eef08605a
Update documentation regarding Scenario values
...
Users don't need to manually reload the project themselves
when changing the 'ada.scenarioVariables' settings: they
just need to save settings.json file.
For eng/ide/ada_language_server#1218
2024-05-07 09:38:58 +00:00
Elie Richa
562160182d
Apply 1 suggestion(s) to 1 file(s)
2023-12-06 16:49:10 +00:00
Anthony Leonardo Gracio
2e6c067714
Mention VS Code extension's doc in ALS README
...
(no-issue-check)
2023-12-06 16:49:10 +00:00
Elie Richa
760c94357f
Update the VS Code extension section in the ALS README.md
2023-11-21 09:52:22 +00:00
Anthony Leonardo Gracio
b39d2e0513
Mention ALS log files in bug reporting section
...
For eng/ide/ada_language_server#1197
2023-10-30 11:07:34 +00:00
Anthony Leonardo Gracio
aaafa74749
Remove mention of 'Debugging' as a limitation
...
Now that we provide automatic support to debug Ada code.
Fix a typo too.
For eng/ide/ada_language_server#1177
2023-09-20 12:37:52 +00:00
Anthony Leonardo Gracio
f98390bf35
Document bug reporting for VS Code
...
For eng/ide/ada_language_server#1167
2023-08-25 15:23:06 +00:00
Abdellah Belaid
f6db69ace2
Add GNATtest Integration
...
(cherry picked from commit 2249a9ec78
2023-08-07 14:08:01 +00:00
Joao Azevedo
6c5c11fb06
Add lal-refactor dependency
...
(cherry picked from commit 051ba2a5ad
2023-08-07 14:08:01 +00:00
Elie Richa
4613542f0a
Document development environment under macOS on Apple silicon
2023-06-09 13:15:04 +00:00
Vadim Godunko
974bb0a5c9
Merge remote-tracking branch 'origin/master' into topic/edge_merge
2023-05-18 09:43:24 +04:00
Yannick Moy
78b4045d3c
Improvements of the SPARK support
...
Add a task to clean proof artefacts.
Add -j0 to all Examine/Prove tasks for faster runs.
2023-05-17 10:57:37 +00:00
automatic-merge
7413a3d39b
Merge remote branch 'origin/master' into edge
2023-03-08 00:56:06 +00:00
Maxim Reznik
82fb3cf44e
Add args options to VS code tasks
...
Closes eng/ide/ada_language_server#1113
2023-03-07 12:14:20 +02:00
Maxim Reznik
eb9fb7d3c1
Improve README.md and code comments
2023-02-10 12:00:50 +02:00
Maxim Reznik
cba292ec55
Initial implementaiton of Alire support.
...
Refs #668
2023-02-10 12:00:50 +02:00
