30481302997
85%
master: 84%

Ran 29 Jul 2026 07:21PM UTC

Jobs 1

Files 597

Run time 1min

Badge

Embed ▾

Committed 29 Jul 2026 06:44PM UTC coverage: 85.224% (-0.02%) from 85.24%

Build # 30481302997

Build Type

push

github

Committed by

web-flow

Commit Message

fix(cfloat): numeric_limits round_style is round_to_nearest, not toward_zero (#1254) (#1257)

cfloat's numeric_limits reported round_style = round_toward_zero, but cfloat
arithmetic rounds to nearest, ties to even (cfloat_impl.hpp::round() -- the
classic guard/round/sticky round-to-even logic). numeric_limits::round_error()
was already 0.5 (the RNE value), corroborating the mislabel. Downstream code that
inspects round_style to decide whether error-free transformations are valid would
have wrongly concluded cfloat is not round-to-nearest (surfaced analyzing
interval<cfloat> EFT, #1249/#1255).

Set round_style = round_to_nearest. Added a regression to cfloat/api/traits.cpp
asserting both the label (static_assert) and the behavior (0.25*3.9375 = 0.984375,
a tie between subnormal 0.96875 (odd) and normal 1.0 (even), rounds to the even
1.0 -- toward_zero would give 0.96875).

gcc + clang: cfloat_traits, cfloat_api, cfloat_logic PASS.

Resolves #1254

Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Coverage Stats

41597 of 48809 relevant lines covered (85.22%)

7173527.33 hits per line

Coverage Regressions

Lines	Coverage	∆	File
8	93.73	-0.47%	include/sw/universal/number/cfloat/cfloat_impl.hpp

Jobs

ID	Job ID	Ran	Files	Coverage
1	30481302997.1	29 Jul 2026 07:21PM UTC	597	85.22	GitHub Action Run

stillwater-sc / universal / 30481302997
85%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 30481302997

stillwater-sc / universal / 30481302997 85% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 30481302997

stillwater-sc / universal / 30481302997
85%
master: 84%

README BADGES
x