Adacovex: code/proof/DO-178C HAL/docstring status tool

bladeacer · July 30, 2026, 1:09pm

Basically wanted proper project badges generated from a CLI like in Golang/Rust for my Ada projects. Hope this would be a useful addition for checking on code quality. Supports parsing SPARK level, unit tests, DO-178 HAL level and docstrings coverage.

Repo URL: GitHub - bladeacer/adacovex: Ada/SPARK code/proof coverage, SPARK level, DO-178C HAL status tool · GitHub

Binary name is adacovex, crate name is covex to comply with policy.

Disclaimer: AI assistance was used for the code.

Awaiting PR merge to Alire, would publish the newer upstream code changes at a later time.

dragon-spirit-wtp · July 30, 2026, 4:03pm

I am currently on a project that has to do DO-178 certification, but sadly it’s all in C. While this tool would not benefit my current project, I can appreciate what it provides.

Thanks for your contribution to the community!