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

Releases
,
1

Changelogs

Git Changelog:

Build Provenance Attestation:

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:

Building trust in AI generated artifacts: GNAT Foundry - Intersection