Skip to content

Verify core::num::flt2dec memory safety (challenge #28) - #601

Open
MavenRain wants to merge 7 commits into
model-checking:mainfrom
MavenRain:verify-flt2dec-challenge-28
Open

Verify core::num::flt2dec memory safety (challenge #28)#601
MavenRain wants to merge 7 commits into
model-checking:mainfrom
MavenRain:verify-flt2dec-challenge-28

Merge remote-tracking branch 'fork/verify-flt2dec-challenge-28' into …

8a86a88
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

5 warnings
Kani Metrics (macos-latest)
succeeded Aug 18, 2026 in 1h 29m 13s