3 ms·
What happens when a new feature holds up the certification process for some reason? There are only two possible options, and they both suck: 1. Stay on the las
by sheepshear 3y ago
What happens when a new feature holds up the certification process for some reason? There are only two possible options, and they both suck:
1. Stay on the last certified version until everything is certified.
2. Incorporate the parts that can be certified.
- galangalalgol 3y agoThe 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.