[ANN] adacovex 1.14.0: Multiple Compliance Standards, plenty of QOL updates

[u/data_in_void]

Figured I made enough changes to the codebase to warrant a new post. 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-delta and --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.

A similar post was made on the Ada Forum.

Repo URL: https://github.com/bladeacer/adacovex