The results on this page are outdated.
The AI detection definitions or scanner version have been updated! Re-scan this repository for more accurate results.github.com/AdaCore/SPARKlib
(link)score
100 (S)
mode
Full
last commit
39cd5eff73c29858eada86bed9273325e9a01759
analyzed on
Sat, 1 Aug 2026 14:12:34 +0000
total evidence
0
ignorefile signals (0)
none