Romain Beguet faa8012473 Make has_spark_mode_on and is_subject_to_proof available on any node. ...

This also modifies the previous implementation by always propagating the
`include_skip_proof_annotations` flag, whereas previously some of the
internal properties would "forget" about it, for example the one on
DeclarativePart.

However it seems necessary to propagate the flag to correctly handle
`is_subject_to_proof` on local declarative parts nested in a subprogram
annotated with Skip_Proof.

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

..

inline_playground.py

Make has_spark_mode_on and is_subject_to_proof available on any node.

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

source.py

Reorganize the source tree

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

stylechecks.py

Libadalang.Project_Provider: add analysis context constructors

2023-07-28 14:51:57 +00:00

unicode_utils.py

Fix a few typos in documentation

2023-01-03 09:03:25 +00:00

utils.py

Add way of specifying libadalang build mode for tests

2022-12-14 10:30:22 +01:00