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/AbsInt/CompCert (link)

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

validate manually before sharing.

score
100 (S)
mode
Full
last commit
bd2b3826ccc94127995de44a44166745891c1260
analyzed on
Fri, 18 Sep 2026 00:22:57 +0000
total evidence
0
branch

commit signals (0)

none

source signals (0)

none

ignorefile signals (0)

none