Skip to content

Research: completed-callee substitution at PR #2234's BIT leaves and headers - #2399

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
commdata2338:bit2234-callee-substitution
Oct 16, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
commdata2338:bit2234-callee-substitution

Research: completed-callee substitution at PR #2234's BIT leaves and …

14458fd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
verify (3.14)
succeeded Oct 16, 2026 in 4m 12s