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

**URL:** https://forum.ada-lang.io/t/adacovex-code-proof-do-178c-hal-docstring-status-tool/4600
**Category:** Releases
**Tags:** spark, ada
**Created:** [July 30, 2026, 1:09pm UTC](https://forum.ada-lang.io/t/adacovex-code-proof-do-178c-hal-docstring-status-tool/4600 "2026-07-30T13:09:27Z")
**Posts on this page:** 1
**Showing post:** 18

<div class="post-metadata">

### Author: ![bladeacer](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/bladeacer/32/1018_2.png) [@bladeacer](https://forum.ada-lang.io/u/bladeacer)
#### Post date: [August 18, 2026, 1:16pm UTC](https://forum.ada-lang.io/t/adacovex-code-proof-do-178c-hal-docstring-status-tool/4600/18 "2026-08-18T13:16:25Z")

</div>

1.14.0 dropped, made a new post on it here: [[ANN] adacovex 1.14.0: Multiple Compliance Standards, plenty of QOL updates](https://forum.ada-lang.io/t/ann-adacovex-1-14-0-multiple-compliance-standards-plenty-of-qol-updates/4644)

---

_[View the full topic](https://forum.ada-lang.io/t/adacovex-code-proof-do-178c-hal-docstring-status-tool/4600)._