Skip to content

Correct declaration, proof, recursion, and dependency metrics - #1

Merged
Vasily Ilin (Vilin97) merged 1 commit into
mainfrom
codex/fix-metric-correctness
Sep 30, 2026
Merged

Correct declaration, proof, recursion, and dependency metrics#1
Vasily Ilin (Vilin97) merged 1 commit into
mainfrom
codex/fix-metric-correctness

Fix metric classification, recursion counts, and graph identities

5726ed7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar