Skip to content

Issues: AdaCore/ada_language_server

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
46 Open 185 Closed
46 Open 185 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[Feature Request] Automatically add block endings in VSCode enhancement
#933 opened Apr 7, 2022 by rami3l
@AdrienBoulanger
ALS should highlight known aspects to provide feedback to the user enhancement
#1170 opened Nov 17, 2023 by manthonyaiello
@eliericha
Sort dependencies problems help wanted
#1183 opened Feb 23, 2024 by bracke
@AnthonyLeonardoGracio
Formatting failure with or terminate bug
#1185 opened Mar 8, 2024 by pyjarrett
@joaopsazevedo
[Enhancement]: "Go to other file" should create a body file for the current specification when not yet existing enhancement
#1232 opened Jan 11, 2025 by mgrojo
[Bug]: Root Child package name of library is required in parameter signature for ALS param suggestion functionality bug
#1239 opened Feb 18, 2025 by kevlar700
gnatstub integration with VSCode
#614 opened Feb 16, 2021 by 1ma
1
Add LKQL language highlight
#1144 opened May 5, 2023 by Heziode
1
Can't find toolchain in VSCodium provisioned via nix
#1166 opened Sep 6, 2023 by newton-migosi
1
Format: With "--source-line-breaks" switch, result is sometimes incorrect question
#1175 opened Dec 14, 2023 by JHag6694
@joaopsazevedo
1
declare expressions break the server bug
#1177 opened Jan 1, 2024 by johnperry-math
@joaopsazevedo
1
enhancement - add standard library browsing in VS code extension similar to GNAT Studio enhancement
#1191 opened Apr 4, 2024 by dalybrown
@AnthonyLeonardoGracio
1
[Bug]: there's no documentation on what is Sarif and why it is included bug
#1208 opened Sep 28, 2024 by mgrojo
1
Formatting control
#1217 opened Oct 23, 2024 by simonjwright
@joaopsazevedo
1
Sparks Abstract_State
#1178 opened Jan 8, 2024 by kevlar700
2
[Bug]: Request textDocument/completion failed when typing with Ada. bug
#1206 opened Sep 17, 2024 by Reissner
2
Project support (scenario)
#1049 opened Sep 16, 2022 by AlexandreMarkus
3
Valid Ada statement causes a loss of syntax highlighting and code navigation
#1139 opened Mar 29, 2023 by Joebeazelman
3
[Bug]: 25.0.20240915 reports non-existent problems in project file bug
#1210 opened Oct 1, 2024 by oscarrutt
3
[Enhancement]: Show status of ALS in the status bar enhancement
#1215 opened Oct 13, 2024 by mgrojo
@AnthonyLeonardoGracio
3
[Bug]: Questions about forthcoming gnatformat support in ALS bug
#1216 opened Oct 16, 2024 by brownts
@joaopsazevedo
3
[Bug]: textDocument/rangeFormatting using GNATpp ignores tabSize bug
#1233 opened Jan 16, 2025 by brownts
3
What's the correct way to build ALS on Windows 10 with Alire ?
#1103 opened Jan 1, 2023 by NicoPy
4
Build failure in alire/macOS
#1150 opened Jun 12, 2023 by simonjwright
4
Jetbrains IDE integration via LSP
#1155 opened Jul 13, 2023 by berkeleynerd
4
ProTip! no:milestone will show everything without a milestone.