Skip to content

Map generic formal inputs in generated globals - #67

Open
truemagic-coder wants to merge 2 commits into
AdaCore:masterfrom
truemagic-coder:agent/fix-generated-generic-in-globals
Open

Map generic formal inputs in generated globals#67
truemagic-coder wants to merge 2 commits into
AdaCore:masterfrom
truemagic-coder:agent/fix-generated-generic-in-globals

Commits

Commits on Aug 19, 2026