Raphaël AMIARD bbc82b3be8 Refactor is_spark_impl to handle explicit SPARK_Mode => Off correctly ...

`is_spark_impl` has been refactored into `spark_mode_aspect`, which
rather than returning just a boolean for "On/Off", returns an aspect,
which contains the information "On/Off/no information".

This in turns allow to implement the logic "either take the value from
the aspect, and if there is none, take the value from the .adc".

(cherry picked from commit 10fea4468a)

2024-04-02 14:21:32 +02:00

..

ada

Collect more stats in nameres executable.

2023-12-08 11:40:49 +00:00

c_support

Update C testcases after recent Langkit API changes

2023-12-08 11:40:48 +00:00

drivers

prep/errors: fix absolute paths handling issues on Windows

2023-12-08 11:40:49 +00:00

python_support

Make has_spark_mode_on and is_subject_to_proof available on any node.

2024-03-25 11:28:20 +01:00

shared

C API: bind Libadalang.Config_Pragmas.Set_Mappings

2023-08-14 08:35:57 +00:00

tests

Refactor is_spark_impl to handle explicit SPARK_Mode => Off correctly

2024-04-02 14:21:32 +02:00

testsuite.py

Testsuite: refactor the handling of Java testcases

2023-09-06 07:54:50 +00:00

valgrind-suppressions.txt

valgrind-suppressions.txt: update for recent GNAT change

2020-11-02 16:51:46 +01:00