Skip to content

Independent verification: PR869's U8 word and κ with a code-disjoint checker (no new kappa) - #881

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
SethBurkart123:verify/u8-independent-xcheck
Oct 13, 2026
Merged

Independent verification: PR869's U8 word and κ with a code-disjoint checker (no new kappa)#881
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
SethBurkart123:verify/u8-independent-xcheck

Independent verification of PR869's U8 complex word (no new kappa)

2730da1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs