Skip to content

Toolchain: Update defaults to GNAT FSF 16.1 - #1392

Merged
gusthoff merged 10 commits into
AdaCore:mainfrom
gusthoff:dev/topic/content/general/gnat-16-update/2026-10-23
Oct 24, 2026
Merged

gusthoff merged 10 commits into
AdaCore:mainfrom
gusthoff:dev/topic/content/general/gnat-16-update/2026-10-23

Correction: Use backing array in flow contract

4613772
Select commit
Loading
Failed to load commit list.
Sign in for the full log view