# \[ANN\] adacovex 1.14.0: Multiple Compliance Standards, plenty of QOL updates
**URL:** https://forum.ada-lang.io/t/ann-adacovex-1-14-0-multiple-compliance-standards-plenty-of-qol-updates/4644
**Category:** Releases
**Tags:** spark, ada, alire
**Created:** [August 18, 2026, 1:12pm UTC](https://forum.ada-lang.io/t/ann-adacovex-1-14-0-multiple-compliance-standards-plenty-of-qol-updates/4644 "2026-08-18T13:12:18Z")
**Posts on this page:** 3
**Page:** 1
### Author:  [@bladeacer](https://forum.ada-lang.io/u/bladeacer)
#### Post date: [August 18, 2026, 1:12pm UTC](https://forum.ada-lang.io/t/ann-adacovex-1-14-0-multiple-compliance-standards-plenty-of-qol-updates/4644/1 "2026-08-18T13:12:18Z")
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-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.
> Previous topic on adacovex: [Adacovex: code/proof/DO-178C HAL/docstring status tool](https://forum.ada-lang.io/t/adacovex-code-proof-do-178c-hal-docstring-status-tool/4600)
* * *
Repo URL: [GitHub - bladeacer/adacovex: Ada/SPARK formal verification and compliance toolchain. · GitHub](https://github.com/bladeacer/adacovex)
---
### Author:  [@bladeacer](https://forum.ada-lang.io/u/bladeacer)
#### Post date: [August 24, 2026, 3:42pm UTC](https://forum.ada-lang.io/t/ann-adacovex-1-14-0-multiple-compliance-standards-plenty-of-qol-updates/4644/2 "2026-08-24T15:42:11Z")
Life update, I have minor semver bumped a good few times. Some changes are coming soon 😃
---
### Author:  [@bladeacer](https://forum.ada-lang.io/u/bladeacer)
#### Post date: [August 29, 2026, 12:50pm UTC](https://forum.ada-lang.io/t/ann-adacovex-1-14-0-multiple-compliance-standards-plenty-of-qol-updates/4644/3 "2026-08-29T12:50:44Z")
Some screenshots of what I have been working on for the dashboard side of things.
Taking some time before making a new announcement as a fair bit of changes have been made since I last posted here.
