Traceability MatrixΒΆ
Package |
HLR Tags |
|---|---|
adacovex |
ARCH, ARCH |
adacovex-target_profiles |
IR |
adacovex-ir_bounds |
IR |
adacovex-ir_synthesiser |
IR |
adacovex-renderers-sbom |
SBOM |
adacovex-renderers-ansi |
RENDER-ANSI |
adacovex-renderers-html |
RENDER-HTML |
adacovex-renderers-markdown |
RENDER-MD |
adacovex-renderers-svg |
RENDER-SVG |
adacovex-parsers-do178c |
COMPLIANCE |
adacovex-parsers-manifest |
MANIFEST |
adacovex-parsers-tests |
TEST |
adacovex-parsers-source |
SCAN |
adacovex-parsers-gnatprove |
PROOF |
adacovex-compliance-dal |
COMPLIANCE, DAL-A, DAL-B, DAL-C, DAL-D, DAL-E |
adacovex-types |
METRICS, PROOF, TEST, COMPLIANCE, DAL-A, DAL-B, DAL-C, DAL-D, DAL-E, SBOM, SBOM, SBOM |
adacovex-config |
CLI |
adacovex-diff |
DIFF |
adacovex-prove |
PROVE |
adacovex-server-http |
SERVER |