Martin Clochard b9ded22412 Support for Unsigned_Base_Range aspect in GNATprove

2026-01-13 14:53:41 +00:00

..

config

Switch alt-ergo to smt2 backend

2025-03-24 10:20:49 +00:00

explain_codes

Adapt the documentation on precisely supported address clauses

2025-10-21 07:26:49 +00:00

runtimes

minor placeholder dir for non-native runtimes

2016-07-09 23:00:39 +01:00

theories

Support for Unsigned_Base_Range aspect in GNATprove

2026-01-13 14:53:41 +00:00

unix

(no-tn-check) replace Altran by Capgemini

2022-01-05 10:41:29 +00:00

help.txt

Minimal documentation for -X switch

2025-03-10 23:46:01 +00:00