kaidokert / modmath-rs / 28922957034

Builds Branch Commit Type Ran Committer Via Coverage
28922957034 feat/panic-free-audit Merge ef133f7ec into 25d0faedc Pull #30 web-flow github
98.3
28922521042 feat/panic-free-audit Merge 88da16fd7 into 25d0faedc Pull #30 web-flow github
98.3
28921817015 main Carry detection via ct_lt across the CT wide-REDC path (#29) overflowing_add's carry flag has no branchless materialization on ISAs without a flags register: LLVM lowers the 64-bit carry-out as an equality-branch chain on operand-derived values o... push web-flow github
98.3
28921685310 feat/redc-ct-lt-carries Merge 4b1de2a46 into f1a967ffa Pull #29 web-flow github
98.3
28921336560 main modmath-cios 0.1.1: drop impossible carry from primitive mul_acc_shift_row (#28) By the operand types the carry cannot occur: product <= (2^b - 1)^2, so total <= 2^2b - 2^b and total_hi <= 2^b - 1; adding acc_hi (<= 2^b - 1) stays below 2^(b+1), ... push web-flow github
98.29
28921091662 fix/cios-primitive-carry-free Merge 0c00dfc76 into 14c014e9f Pull #28 web-flow github
98.29
28918796212 main Add ct-driver: cross-target asm-grep gate for the CT surface (#27) * Add ct-driver: cross-target asm-grep gate for the CT surface push web-flow github
98.29
28918291766 feat/ct-asmgrep Merge 55cfdb39e into 742624d0e Pull #27 web-flow github
98.29
28917100503 feat/ct-asmgrep Merge e5a963085 into 742624d0e Pull #27 web-flow github
98.29
28915247716 main Add ct-ctgrind: Valgrind taint gate for the CT surface (#26) * Add ct-ctgrind: Valgrind taint gate for the CT surface push web-flow github
98.29
28914608071 feat/ct-ctgrind Merge 7be670ff0 into 4cc63819c Pull #26 web-flow github
98.29
28914310726 feat/ct-ctgrind Merge a1d167061 into 4cc63819c Pull #26 web-flow github
98.29
28913930414 feat/ct-ctgrind Merge e83c388f7 into 4cc63819c Pull #26 web-flow github
98.29
28913811424 feat/ct-ctgrind Merge a74dbed4c into 4cc63819c Pull #26 web-flow github
98.29
28913749553 feat/ct-ctgrind Merge ef51a3f37 into 4cc63819c Pull #26 web-flow github
98.29