bladeacer

bladeacer/adacovex

Ada/SPARK formal verification and compliance toolkit

2 good first / help-wanted issues · Ada · last activity Oct 27, 2026

12 stars 0 forks 12 watchers Ada Apache License 2.0
ada alire cicd cli code-coverage compliance developer-tools do-178c docstrings github-actions gnatprove sbom spark tests
View on GitHub Website
2 Open Issues Need Help Last updated: Oct 27, 2026

Open Issues Need Help

View All on GitHub
bbt support 8 days ago
enhancement help wanted
bladeacer/adacovex
12

Ada/SPARK formal verification and compliance toolkit

Ada
#ada#alire#cicd#cli#code-coverage#compliance#developer-tools#do-178c#docstrings#github-actions#gnatprove#sbom#spark#tests
GitLab/Gitea/Forgejo Action 8 days ago
enhancement help wanted good first issue
bladeacer/adacovex
12

Ada/SPARK formal verification and compliance toolkit

Ada
#ada#alire#cicd#cli#code-coverage#compliance#developer-tools#do-178c#docstrings#github-actions#gnatprove#sbom#spark#tests