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
25.0
Add File
New File
Upload File
Apply Patch
ada_language_server
/
scripts
History
Maxim Reznik
338d7b64e7
Use dependency commits from a file to build ALS.
...
Refs
#1351
2024-09-13 17:12:54 +03:00
..
build_als.sh
Use dependency commits from a file to build ALS.
2024-09-13 17:12:54 +03: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
Migrate scripts to Python3
2020-07-16 09:54:12 -04: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
Improve the replay.py script
2023-10-30 11:07:33 +00:00
traces_to_test.py
Create test directory if it does not exist
2022-07-15 13:17:29 +01:00