Skip to content

Correct word-census parity budgets; 22 <= f(7) <= 24 in the PR943 model - #2973

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
NicholasStone:research/f7-parity-correction-20261016
Oct 16, 2026
Merged

Correct word-census parity budgets; 22 <= f(7) <= 24 in the PR943 model#2973
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
NicholasStone:research/f7-parity-correction-20261016

Declare POSIX clock interface for strict C11 Linux builds

d48f394
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 17, 2026 in 1m 19s