Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
adacovex latest documentation
adacovex latest documentation

adacovex Documentation

  • Documentation index

Getting started

  • Installing adacovex
  • Target project requirements

Using adacovex

  • adacovex CLI Reference
  • Web dashboard and JSON API
  • The sbom subcommand
  • Compliance Standards (DO-178C / ISO 26262 / IEC 62304)
  • Platform support
  • VCS support and differential assessment
  • adacovex CI/CD
  • adacovex Changelogs

Contributing to adacovex

  • Contributor guide: codebase structure and setup
  • Proving and writing SPARK proofs
  • adacovex Architecture Decisions
  • Dependencies
  • Performance
  • A gnatprove-friendly IR for lowered code
  • STE100 Technical Names for adacovex
  • AI / LLM Usage in this Project

Maintainer references

  • Proof Records
  • Compliance Outputs
  • Badges
  • adacovex API Reference
  • Credits
  • Third-Party Notices
Back to top
View this page

adacovex ChangelogsΒΆ

  • 1.45.0

  • 1.44.0

  • 1.43.0

  • 1.42.0

  • 1.41.0

  • 1.40.0

  • 1.39.0

  • 1.38.0

  • 1.37.0

  • 1.34.0

  • 1.33.0

  • 1.32.0

  • 1.31.0

  • 1.30.0

  • 1.29.0

  • 1.28.0

  • 1.27.0

  • 1.26.0

  • 1.25.0

  • 1.24.0

  • 1.23.0

  • 1.22.0

  • 1.21.0

  • 1.20.0

  • 1.19.0

  • 1.18.0

  • 1.17.0

  • 1.16.0

  • 1.15.0

  • 1.14.0

  • 1.13.0

  • 1.12.0

  • 1.11.0

  • 1.10.0

  • 1.9.0

  • 1.8.0

  • 1.7.0

  • 1.6.0

  • 1.5.0

  • 1.4.0

  • 1.3.0

  • 1.1.0

  • 1.0.0

  • 0.1.0

Next
Contributor guide: codebase structure and setup
Previous
adacovex CI/CD
Copyright © bladeacer
Made with Sphinx and @pradyunsg's Furo