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