4 ms·
The ferrous option appears to be 3. upstream changes that make certification of the new feature easier and then proceed.
by galangalalgol 3y ago
The ferrous option appears to be
3. upstream changes that make certification of the new feature easier and then proceed.
- sheepshear 3y agoIf that's still an option, then they haven't reached the point yet where they have to choose. They're promising yearly updates. I'm asking what happens when a new upstream feature has already gone uncertified for one full year. Either they blow past the deadline and release nothing for over a year, or they ship what's currently available. There's no third option. Ferrous doesn't have a time machine, and AdaCore is just explicitly saying that they'll give you what they have at least once a year.