Skip to content

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

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

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

Challenge #28: fix CI (autoharness debug-asserts + partition-2 OOM)

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

Annotations

1 warning
Verify contracts with goto-transcoder
succeeded Jun 17, 2026 in 16m 22s