feat: Extend `ct.rs` `Condition` to unsigned widths -- RSA groundwork - #63

Closed

laruizlo wants to merge 20 commits into

bcgit:release/0.1.3alphafrom

laruizlo:luis/utils/ct-unsigned-masks

Commits on Jul 24, 2026

feat: extend ct.rs Condition to unsigned widths (u64 parity, new u32)

laruizlo
and
claude
committed
8f79782

Commits on Jul 25, 2026

Commits on Aug 4, 2026

refactor: macro-generate the signed Condition impls for i64 and i32

laruizlo
and
claude
committed
4820522
fix: make the signed is_lt overflow-free; comparisons are now const

laruizlo
and
claude
committed
d6128e2
refactor: rename to_bool_var to to_bool on all Condition widths

laruizlo
and
claude
committed
bfc0b82
test: make the canonicality assertions state and demonstrate their purpose

laruizlo
and
claude
committed
f35329b
docs: tighten comments in ct.rs and its tests

laruizlo
and
claude
committed
d16ebf4

Commits on Aug 6, 2026

refactor: expand the signed Condition macro into per-width impls

laruizlo
and
claude
committed
752ad36
refactor: expand the unsigned Condition macro into per-width impls

laruizlo
and
claude
committed
76f58f9
refactor: expand supported_mask_type! and state why the widths are spelled out

laruizlo
and
claude
committed
a421c2b
test: expand the Condition test macros into per-width modules

laruizlo
and
claude
committed
4f1f260
test: fold the legacy i64/u64 modules into the per-width modules

laruizlo
and
claude
committed
b53b5e5
docs: record why ct.rs is duplicated per width in CLAUDE.md

laruizlo
and
claude
committed
62cb231

Commits on Aug 10, 2026

test: cover ct_eq_bytes directly
laruizlo
committed
295bd6c

Commits on Aug 20, 2026

some small additions to the ct-unsigned-masks pr
ounsworth
committed
0ad70c7
significantly shortened the style guide on macros
ounsworth
committed
048aa52
significantly shortened the style guide on macros
ounsworth
committed
f430535