kaidokert / modmath-rs
98%

DEFAULT BRANCH: main
Repo Added
Files 16
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x

coverage: 98.294%. Remained the same
Relevant lines Covered
6039 RELEVANT LINES 5936 COVERED LINES
16286.95 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
29183325641 main Adopt cios_accumulator() in the CIOS driver (#37) Now that modmath-cios 0.1.2 is on the registry, the two accumulator sites move from T::default() to modulus.cios_accumulator(). Identical for every current carrier (their Default is a full-width z... push web-flow github
98.29
29182956209 main modmath-cios 0.1.2: add defaulted cios_accumulator() (#36) * modmath-cios 0.1.2: add defaulted cios_accumulator() CiosRowOps baked in that the product accumulator is Self::default(). That's fine for fixed-width carriers — their Default is alread... push web-flow github
98.29
29173341104 main Re-enable the third-party backend test matrix for the const forks (#35) * Re-enable the third-party backend test matrix for the const forks The bnum and crypto-bigint kaidokert forks (v0.14.4-const-8 / v0.7.5-const-8) now carry const-num-traits ... push web-flow github
98.29
29077368625 main v0.5.0: migrate to const-num-traits 0.2 (#34) * Migrate to const-num-traits 0.2.0-alpha.1 (git tag) cnt 0.2 decouples the named-op traits from their core::ops twins via a fresh associated Output, so every op bound now pins it explicitly and the ... push web-flow github
98.29
28995642977 main v0.4.3 (#33) Ships #32's where-clause relaxations: the CT surface no longer demands CtIsZero/Zero/Parity/ConstantTimeEq/CiosMontMulCt/Shl where nothing uses them, which is what third-party backend integrations (crypto- bigint, bnum) actually cons... push web-flow github
98.29
28995489775 main Shed vestigial bounds from the CT where-clauses (#32) push web-flow github
98.29
28992344935 main v0.4.2: refresh README, fill rustdoc gaps (#31) * v0.4.2: refresh README, fill rustdoc gaps README caught up with the 0.4 line: const-num-traits (not num_traits), the Field typestate and both entry styles, the constant-time inverse and CIOS in t... push web-flow github
98.3
28951467965 main Add panic-free audit; make safegcd's top-bit mask panic-proof (#30) * Add panic-free audit; make safegcd's top-bit mask panic-proof New ct-verify member exercising the CT surface the way a deployed consumer would — no unwrap, Odd::new_unchecked ... push 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
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
See All Builds (167)