{
  "authors": [
    "bladeacer"
  ],
  "description": "Ada/SPARK coverage, proof, DO-178C compliance tool",
  "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- No external dependencies beyond the GNAT runtime library\n- Self-assessment: 100% docstring coverage, Platinum SPARK (28/28 VCs proved),\n  DAL-C Achieved, 152/152 native tests passing\n",
  "maintainers": [
    "bladeacer <wg.nick.exe@gmail.com>"
  ],
  "maintainers-logins": [
    "bladeacer"
  ],
  "name": "covex",
  "origin": {
    "commit": "a4295f2577456bdfe23850b7339298b6518803f6",
    "url": "git+https://github.com/bladeacer/adacovex"
  },
  "project-files": [
    "adacovex.gpr"
  ],
  "tags": [
    "ada",
    "spark",
    "coverage",
    "do-178c",
    "compliance"
  ],
  "version": "1.1.0",
  "website": "https://github.com/bladeacer/adacovex"
}