29658910751
85%
master: 84%

Ran 18 Jul 2026 08:43PM UTC

Jobs 1

Files 695

Run time 1min

Badge

Embed ▾

Committed 18 Jul 2026 08:01PM UTC coverage: 84.695% (-0.002%) from 84.697%

Build # 29658910751

Build Type

push

github

Committed by

web-flow

Commit Message

feat(efloat): ill-conditioned Hilbert system demonstration (#1097) (#1146)

Adds applications/precision/adaptive/ill_conditioned_systems.cpp: a templated
Gaussian-elimination solver run on double vs efloat over the Hilbert matrix
H(i,j) = 1/(i+j-1), whose condition number grows like ~e^(3.5n).

Given the exact solution x = [1,...,1] and b = Hx, it solves Hx_hat = b and
reports the relative error ||x_hat - x|| / ||x||. At n=12 (cond ~1e16) double
returns ~17% error (garbage) while efloat<16> (512-bit) returns ~1e-139 -- an
oracle-grade solution. A table across n=4..14 shows double climbing from ~4e-13
to >30 (worse than useless) while efloat stays near 1e-140.

Same solver kernel for both types (plug-in replacement). No CMake change: the
applications/precision/adaptive glob (added with #1096) picks up the new file
(target adaptive_ill_conditioned_systems). Builds and runs on gcc 13.3.0 and
clang 18.1.3.

Resolves #1097

Coverage Stats

49473 of 58413 relevant lines covered (84.7%)

6893982.87 hits per line

Coverage Regressions

Lines	Coverage	∆	File
3	80.58	-0.67%	include/sw/universal/number/posit1/specialized/posit_16_1.hpp

Jobs

ID	Job ID	Ran	Files	Coverage
1	29658910751.1	18 Jul 2026 08:43PM UTC	695	84.7	GitHub Action Run

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 29658910751

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 29658910751

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

README BADGES
x