3 Commits

Author SHA1 Message Date
Andres Toom
d0e124f302 Add GNAT SAS annotations in gnatprove.adb about env modifications
These environment modifications just add GNATprove configuration
information. Information from environment variables is not being
exposed further.
2025-11-17 11:08:05 +02:00
Johannes Kanig
6360c33a46 gnatsas annotations and fix 2025-07-15 07:29:13 +00:00
Guillaume Rivier
dc942e653c gnatsas: relocate output dir
gnatsas outputs are moved out of object directory so they don't get
cached in CIs. This enables having no baseline for gnatsas when
running in CIs, so all messages (not reviewed as "not a bug") are
reported.
2024-06-19 12:07:03 +09:00