{
  "authors": [
    "bladeacer"
  ],
  "auto-gpr-with": true,
  "description": "Ada/SPARK coverage, proof, DO-178C compliance tool",
  "environment": {
    "PATH": {
      "prepend": "${CRATE_ROOT}/bin"
    }
  },
  "executables": [
    "adacovex"
  ],
  "licenses": "Apache-2.0",
  "long-description": "Zero-dependency Ada/SPARK CLI tool for coverage analysis, proof verification,\ntest-result parsing, DO-178C DAL compliance assessment, and interactive dashboards.\n\n- Source scanning: walks .ads files, extracts subprogram declarations, docstring\n  annotations (@param, @return, @field, @formal), and HLR traceability tags\n- Proof analysis: parses GNATprove gnatprove.out summaries; assesses SPARK\n  assurance levels (Stone through Platinum)\n- Test parsing: reads markdown test results for pass/fail counts (native Ada or\n  AUnit format)\n- DAL compliance: assesses DO-178C DAL A-E criteria (HLR coverage, orphan tags,\n  test status, minimum SPARK proof level)\n- Multiple outputs: ANSI terminal report, SVG badges, Markdown reports,\n  HTML dashboard, and JSON API via built-in HTTP/1.1 server\n- Scalable: package/subprogram collections use Ada.Containers.Vectors\n  (heap-allocated, no compile-time limits)\n- Zero library dependencies: uses only the GNAT runtime library. gnatprove is\n  NOT a declared dependency -- the prove subcommand resolves it at run time\n  (per-project manifest, PATH, cached toolchain, or download), so the covex\n  crate installs and builds with no toolchain beyond the GNAT compiler\n- Self-assessment: 100% docstring coverage, Platinum SPARK (343/343 VCs proved),\n  DAL-C Achieved, 368/368 native tests passing\n",
  "maintainers": [
    "bladeacer <wg.nick.exe@gmail.com>"
  ],
  "maintainers-logins": [
    "bladeacer"
  ],
  "name": "covex",
  "origin": {
    "commit": "d974ce905fdfe73275c638ba85b792dd03644659",
    "url": "git+https://github.com/bladeacer/adacovex"
  },
  "project-files": [
    "adacovex.gpr"
  ],
  "tags": [
    "ada",
    "spark",
    "formal-verify",
    "cli",
    "gnatprove",
    "sbom",
    "tests",
    "code-coverage",
    "do-178c",
    "compliance",
    "developer-tools"
  ],
  "version": "1.9.0",
  "website": "https://github.com/bladeacer/adacovex"
}