News for hackers. Stuff that matters.
Re:Ferrous Systems ends partnership with AdaCore by rcxdude on Saturday September 30, 2023 @09:05AM (#37715045)
The question is whether the certified version of them defines the behaviour of the flag sufficiently to be accepted as a means og achieving that outcome. It can be very difficult to do anything not endorsed by the standard, even if it's widely implemented.

There are no comments on this comment yet.