News for hackers. Stuff that matters.
Re:Boeing Flies on 99% Ada by foobarqux on Sunday August 31, 2014 @11:23PM (#8251385)
Certifiable or qualifiable depending on whether it is a tool or end software.

The only toolchain I can think of that is Ada only is Adacore.

There are no comments on this comment yet.