stillwater-sc / universal / 28050193932

85%

master: 84%

Build Type

push

github

Committed by web-flow

Commit Message

feat(efloat): implement core addition/subtraction engine and add standard regression tests (#1102)

* feat(efloat): implement core addition/subtraction engine and add standard regression tests (#1090)

Implement helpers for multi-limb arithmetic: static align_sizes, grow_for_shift,
add_limbs, subtract_limbs, and compare_limbs inside efloat_impl.hpp.
Introduce dynamic limb-growth in operator+= to support large exponent alignment
shifts, preventing truncation of small values during arithmetic.

Replace stub implementations of operator+=, operator-=, operator- (negation),
and operator== with strict, mathematically correct versions. Provide standard
to_binary() representation to support verification reporters.

Completely rebuild efloat addition test suite to match the repository's standard
regression structure, with hand-curated tests (commutativity, associativity,
inverse identity, 10-limb cancellation, massive exponent gap, subnormal
boundaries, special values) and a property-based fuzzer. Add skeleton test files
for subtraction, multiplication, and division.

Relates to #1090

* test(efloat): implement standard subtraction regression test and remove incomplete skeletons

Overhaul subtraction.cpp to conform strictly to the regression_skeleton format,
incorporating foundational algebra, special values (using proper .sign() checks
on infinity), and property fuzzing.

Remove the incomplete skeletal multiplication.cpp and division.cpp files
from the branch to keep git history clean and prevent un-asserted skeletons
from polluting CI.

* fix(efloat): resolve PR reviews and enable constexpr arithmetic

Convert all multi-precision limb helpers and operators to constexpr-compatible,
introducing a 100% portable constexpr clz() leading-zero counter. This resolves
the compile-time constexpr.cpp CI failures.

Implement constexpr scalar operator+= and operator-= methods to prevent silent
stubs on double operands. Add a size-equality guard to operator== to prevent
p... (continued)

Coverage Stats

156 of 165 new or added lines in 2 files covered. (94.55%)

9 existing lines in 2 files now uncovered.

48265 of 56980 relevant lines covered (84.71%)

6816068.88 hits per line