Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: