summaryrefslogtreecommitdiff
path: root/staticcheck.conf
AgeCommit message (Expand)Author
2026-07-06Add layered formal-verification harnessPaul Buetow