Repository navigation

Toolchain: Update defaults to GNAT FSF 16.1 - #1393

Merged

gusthoff merged 10 commits into

AdaCore:mainfrom

gusthoff:dev/topic/infrastructure/python/rst_code_example_pipeline/gnat-16-update/2026-10-23

Oct 24, 2026

Merged

Toolchain: Update defaults to GNAT FSF 16.1#1393
gusthoff merged 10 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/python/rst_code_example_pipeline/gnat-16-update/2026-10-23

Commits on Oct 23, 2026
- Test script: Mark examples with variable output
  
  committed
  883daa0
- Correction: Make literal functions primitive operations
  
  committed
  0104416
- Correction: Name boxed formal-package actuals
  
  committed
  c68652b
- Correction: Initialize the volatile configuration value
  
  committed
  68182fe
- Toolchain: Drop obsolete pins from eight examples
  
  committed
  e2302d0
- Toolchain: Pin ghost-code examples to GNAT 15
  
  committed
  681afe8
- Toolchain: Set GNAT 16.1 as the default
  
  committed
  155c13c
- Sphinx: Support variable-output example metadata
  
  committed
  67502c2
Commits on Oct 24, 2026
- Correction: Align OO example project names
  
  committed
  ab56e84
- Correction: Use backing array in flow contract
  
  committed
  4613772