# \[ANN\]: adacovex 1.48.0: Performance improvements, more flags

**URL:** https://forum.ada-lang.io/t/ann-adacovex-1-48-0-performance-improvements-more-flags/4741
**Category:** Releases
**Tags:** spark, ada
**Created:** [September 14, 2026, 9:11am UTC](https://forum.ada-lang.io/t/ann-adacovex-1-48-0-performance-improvements-more-flags/4741 "2026-09-14T09:11:12Z")
**Posts on this page:** 1
**Page:** 1

<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: [September 14, 2026, 9:11am UTC](https://forum.ada-lang.io/t/ann-adacovex-1-48-0-performance-improvements-more-flags/4741/1 "2026-09-14T09:11:12Z")

</div>

**Changelogs**

- [adacovex 1.48.0 - adacovex latest documentation](https://adacovex.readthedocs.io/en/latest/changelogs/adacovex-1.48.0.html)
- [adacovex 1.47.0 - adacovex latest documentation](https://adacovex.readthedocs.io/en/latest/changelogs/adacovex-1.47.0.html)
- [adacovex 1.46.0 - adacovex latest documentation](https://adacovex.readthedocs.io/en/latest/changelogs/adacovex-1.46.0.html)

_Git Changelog_:

> **[Comparing v1.45.0...v1.48.0 · bladeacer/adacovex](https://github.com/bladeacer/adacovex/compare/v1.45.0...v1.48.0)**
>
> Ada/SPARK formal verification and compliance toolchain. - Comparing v1.45.0...v1.48.0 · bladeacer/adacovex

_Build Provenance Attestation_:

> **[Attestation · bladeacer/adacovex](https://github.com/bladeacer/adacovex/attestations/47210233)**
>
> Ada/SPARK formal verification and compliance toolchain. - Attestation · bladeacer/adacovex

tldr; plenty of performance improvements, more CLI shorthands etc.

Slightly expanded version of tldr;

- reduced syscalls (200k+ to 6k+ for warm run syscalls), improved performance by learning caching and other tricks from projects like tree-sitter and Ada language server (after all adacovex parses source code as well)
- Benchmark metrics for HTTP server endpoints as well as for proving
- More CLI shorthands and aliases where they make sense
- `-O2` compiler build
- Cleaning up docs

What the tool does:

- Is an Ada/SPARK formal verification and compliance toolchain
- Zero dependency CLI (for published alire.toml), developer dependencies are gnatprove and the usual bunch of system dependencies.
- SBOM generation (CycloneDX/SPDX)
- gnatprove/source code parsing
- Web dashboard, HTTP server and bundled offline manual
- Status badges and stuff

Docs on performance:

> **[Performance - adacovex latest documentation](https://adacovex.readthedocs.io/en/latest/contributing/perf.html)**