ada/spark2014
0
0
Fork 0
mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
spark2014/analyzer
History
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
..
gnatprove.sar
Add GNAT SAS annotations in gnatprove.adb about env modifications
2025-11-17 11:08:05 +02:00