Pierre-Marie de Rodat 830789dfd7 utils/nameres.gpr: add the required -gnatX compilation switch

2024-08-28 15:33:41 +00:00

..

add_nameres_test.py

Transition to Python3

2020-05-26 12:33:50 +02:00

coverage.sh

Add a helper script to compute code coverage for LAL

2020-02-13 12:13:42 +01:00

doinstall.tmplt

doinstall.tmplt: add LIBRARY_PATH to the final user instructions

2023-10-24 15:29:53 +00:00

gh-langkit-branch.py

Replace travis by GH actions

2020-10-15 13:55:43 +02:00

gitlab-cb.plan

CB: build gnatformat

2024-02-26 14:54:43 +00:00

gitlab-ci-common.yml

CB: fix path for CB checkouts

2024-08-28 15:16:15 +02:00

lal-and-langkit-coverage.sh

Add a script to ease LAL+Langkit consolidated code coverage computation

2017-06-20 13:28:30 +02:00

libadalang.gpr.patch

Update release scripts for 23.0

2022-11-02 09:12:21 +00:00

mains.gpr.patch

Update release scripts for 23.0

2022-11-02 09:12:21 +00:00

nameres.gpr

utils/nameres.gpr: add the required -gnatX compilation switch

2024-08-28 15:33:41 +00:00

release.sh

Update release scripts for 23.0

2022-11-02 09:12:21 +00:00

run_nameres.py

T511-017: Fix style pycodestyle style issues

2020-06-04 12:59:33 +02:00

update_copyright.py

Add a script to automate copyright notices update and document it

2023-06-08 12:44:29 +00:00