UInt256 long digits record #9677
Merged
DCO-2 / DCO
succeeded
Mar 1, 2026 in 1s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | 4c96817 | ENH: represent UInt256 as big-endian limbs | Valid sign-off found |
| 🟢 | 1d36468 | FIX: array indices bugs for fromBytesBE and mulMod... | Valid sign-off found |
| 🟢 | e717b09 | FIX: offset indices in mulMod and fromBytesBE | Valid sign-off found |
| 🟢 | 097773d | FIX: spotless | Valid sign-off found |
| 🟢 | d0033c3 | ENH: cleaning addition and compareLimbs | Valid sign-off found |
| 🟢 | d349e24 | ENH: big-endian long limbs for UInt256 | Valid sign-off found |
| 🟢 | 772c0ed | ENH: migrated mod to record based UInt256 | Valid sign-off found |
| 🟢 | f544979 | FIX: uint256 mod bugs | Valid sign-off found |
| 🟢 | ddcbf5f | ENH: improve on worst case fromBytesBE | Valid sign-off found |
| 🟢 | 785d721 | FIX: spotless | Valid sign-off found |
| 🟢 | e0f7ff0 | REF: records for addMod and mulMod | Valid sign-off found |
| 🟢 | 9a8366d | FIX: spotless and mod bugs | Valid sign-off found |
| 🟢 | b796ca8 | FIX: tests passing | Valid sign-off found |
| 🟢 | 508c600 | FIX: spotless | Valid sign-off found |
| 🟢 | 2a03207 | ENH: use div2by1 instead of div3by2 | Valid sign-off found |
| 🟢 | 80a5768 | FIX: spotless | Valid sign-off found |
| 🟢 | d96c9ac | FIX: javadoc | Valid sign-off found |
| 🟢 | 0c7a1ed | Add record-based UInt256 invariants | Valid sign-off found |
| 🟢 | cc137b5 | Constrain UInt256 shift invariants to documented p... | Valid sign-off found |
| 🟢 | f2fdbbc | FIX: first reduction step overflow fix + add/sub/m... | Valid sign-off found |
| 🟢 | 294795f | ADD: prop tests for add/sub/mul and refactor prop ... | Valid sign-off found |
| 🟢 | 76f716c | Expose bug | Valid sign-off found |
| 🟢 | bba0e64 | UInt256 with better code layout and perf optimizat... | Valid sign-off found |
| 🟢 | f2cf0cc | Branchless code for multiplication | Valid sign-off found |
| 🟢 | 12a4ae6 | spotless | Valid sign-off found |
| 🟢 | 42af362 | add branchless code in div2by1 and mod2by1 | Valid sign-off found |
| 🟢 | 9b0806f | Make adc(UInt256) branchless | Valid sign-off found |
| 🟢 | 328bd3e | Make mac* methods carry branchless | Valid sign-off found |
| 🟢 | b3df0fc | Make mul64 method carry branchless | Valid sign-off found |
| 🟢 | 9cfc476 | Make reciprocal, div2by and mod2by1 method branchl... | Valid sign-off found |
| 🟢 | a9a39e5 | Make mulSub* and addBack methods branchless | Valid sign-off found |
| 🟢 | 3197d9b | Implement fast/slow paths for reduceNormalised met... | Valid sign-off found |
| 🟢 | 4a28898 | Fix issue in mulSubOverflow | Valid sign-off found |
| 🟢 | c0dc03f | Fix issue with mulSub borrows | Valid sign-off found |
| 🟢 | 7e69743 | FIX: removed test for code that became dead and fi... | Valid sign-off found |
| 🟢 | feb732a | Merge branch 'main' into feat/uint256-as-record | Skipped: sign-off not required in merge commit |
Loading