This website requires JavaScript.
Explore
Help
Sign In
ada
/
ada_language_server
Watch
0
Star
0
Fork
0
You've already forked ada_language_server
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
fe32ed51bcdc05cda736f5bdfd5059cfff689c6a
ada_language_server
/
scripts
History
Elie Richa
fe32ed51bc
Remove e3-binarydata which is no longer needed to build langkit
2025-01-17 10:31:23 +00:00
..
build_als.sh
Remove e3-binarydata which is no longer needed to build langkit
2025-01-17 10:31:23 +00:00
digest_traces.py
T210-007 Add a script which digests traces
2020-02-27 08:29:47 -05:00
generate.py
Add GNATtest Integration
2023-08-07 14:08:01 +00:00
gnat_install.qs
Update gitpod Dockerfile to install GNAT Community 2020
2021-03-15 15:34:25 +02:00
io_gen.py
Add support for setTrace notification
2023-03-22 17:08:30 +00:00
json_transformations.py
Fix
scripts/replay.py
script
2024-10-08 14:41:34 +00:00
predefined_completion.py
U224-018 Drop ASCII.LF from JSON
2021-09-01 16:34:17 +03:00
reorder.py
TC21-032 Move to LSP 3.16. LogTraceParams, SetTraceParams
2021-03-12 18:34:50 +02:00
replay.py
Create a test for the als-open-project-file command
2024-10-08 12:33:54 +00:00
traces_to_test.py
Create test directory if it does not exist
2022-07-15 13:17:29 +01:00