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)

the signals and their derived score are provisional and subject to change.

validate manually before sharing.

score
100 (S)
mode
Full
last commit
39cd5eff73c29858eada86bed9273325e9a01759
analyzed on
Sat, 1 Aug 2026 14:12:34 +0000
total evidence
0

commit signals (0)

none

source signals (0)

none

ignorefile signals (0)

none