Figured I made enough changes to the codebase to warrant a new topic. A fair bit of improvements have been made since the last 1.9.0 release.
For those that have not heard of adacovex, it is an Ada/SPARK formal verification and compliance toolchain (admittedly toolchain is a bit of an overstatement at the moment, though it is a CLI with a fair bit of niceties already). It basically helps validate and check your codebase on SPARK level, test, docstring and documentation coverage.
It also features:
- check DO-178C DAL (aviation), ISO 26262 ASIL (automotive) and IEC 62304 Class (medical)
- HTTP server with simple JSON API and web dashboard
- caching
- contextual help, spelling correction for typo’d commands
- man page generation
- a usable GitHub Action in CI with feature parity with the base CLI
- multi VCS support (Git, jj, Mercurical, Subversion, Fossil), VCS used when checking
--coverage-deltaand--compare-base - SBOM output (CycloneDX / SPDX)
I also spent some time improving the documentation and user/developer experience. I hope this will eventually be useful not just for Ada projects, but that would be somewhat far into the future. That being said, I hope this tool would be useful for you in your Ada projects. Do give it a go and let me know whether it works well or if there are things that can be improved/added/fixed.
P.S. It is on Alire, though the PR for 1.14.0 will take a while to merge.
Previous topic on adacovex: Adacovex: code/proof/DO-178C HAL/docstring status tool
Repo URL: GitHub - bladeacer/adacovex: Ada/SPARK formal verification and compliance toolchain. · GitHub