kaidokert / fixed-bigint-rs / 30229730106

Builds Branch Commit Type Ran Committer Via Coverage
30229730106 main Use shared hardware campaign workflow (#193) push web-flow github
97.17
30229466236 agent/use-shared-hardware-workflow Merge 009952a4a into 26a80dc0e Pull #193 web-flow github
97.17
30221301889 agent/unify-hardware-ci Merge a2589c6c4 into ae31c668a Pull #192 web-flow github
97.17
30219736432 agent/unify-hardware-ci Merge 5fbbdef44 into ae31c668a Pull #192 web-flow github
97.17
30217355153 main Run F407 timing gate at 30 MHz (#191) push web-flow github
97.17
30189443793 agent/f407-30mhz Run F407 timing gate at 30 MHz push kaidokert github
97.17
30176106528 v0.6.1 Trim readme (#190) * Trim readme * Fix typo push web-flow github
97.17
30175630479 main Trim readme (#190) * Trim readme * Fix typo push web-flow github
97.17
30175066950 trim Fix typo Pull #190 kaidokert github
97.17
30174974761 trim Trim readme Pull #190 kaidokert github
97.17
30173978298 main Sign-extend PrimBits/PrimInt::signed_shr on both carriers (#156) (#189) signed_shr did a logical right shift on both FixedUInt and HeaplessBigInt, violating the PrimBits/PrimInt contract that it fill the vacated top bits from the carrier's MSB — ... push web-flow github
97.17
30173569203 main Pin CtCheckedAdd/Sub/Mul + CtNonZero to cross-carrier parity (#188) The shared carrier_generic harness is Nct-only, so the entire Ct trait surface had no cross-carrier coverage — CtCheckedAdd/Sub/Mul and CtNonZero were each unit-tested per carrie... push web-flow github
97.17
30173545570 main Attest secret-amount right shift with an isolation fixture (#187) The `asym` fixtures pin the secret-shift-by-amount property in isolation — public value, only the amount tainted — routing through the branchless barrel so a secret amount can't dr... push web-flow github
97.17
30173254267 ct/156-signed-shr-sign-extension Sign-extend PrimBits/PrimInt::signed_shr on both carriers (#156) signed_shr did a logical right shift on both FixedUInt and HeaplessBigInt, violating the PrimBits/PrimInt contract that it fill the vacated top bits from the carrier's MSB — `(self ... Pull #189 kaidokert github
97.17
30172461537 ct/carrier-generic-ct-parity Pin CtCheckedAdd/Sub/Mul + CtNonZero to cross-carrier parity The shared carrier_generic harness is Nct-only, so the entire Ct trait surface had no cross-carrier coverage — CtCheckedAdd/Sub/Mul and CtNonZero were each unit-tested per carrier but n... Pull #188 kaidokert github
97.17