stillwater-sc / universal / 26256239388
84%
master: 84%

LAST BUILD BRANCH: fix/issue-1002-ereal-highprec-constants
DEFAULT BRANCH: master
Ran
Jobs 1
Files 651
Run time 3min
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
coverage: 84.233% (+0.01%) from 84.222%
26256239388

push

github

web-flow 
test(elreal): Phase J -- oracle sweep across dd, qd, cascades, ereal<N> (#910)

Phase J of #903 (follow-up to #873). Extends the Phase G validation
oracle into a comprehensive sweep so the elreal oracle is the
standard cross-implementation reference for every multi-component
type in Universal.

What landed
-----------

- elastic/elreal/oracle/math_sweep_common.hpp -- shared input tables
  (general / positive / bounded / log1p / acosh domains) and three
  sweep templates (sweep_unary, sweep_binary, sweep_pown) plus an
  anchor_check helper for deterministic-result expectations.

- Six per-type sweep cpp files in elastic/elreal/oracle/:
  - dd_math_sweep.cpp -- 17 functions (sqrt, exp family, log family,
    trig, inverse trig, hyperbolic, pow)
  - qd_math_sweep.cpp -- 17 functions
  - dd_cascade_math_sweep.cpp -- 17 functions
  - td_cascade_math_sweep.cpp -- 15 functions (td_cascade lacks
    exp2/expm1/log2/log10/log1p but has asinh/acosh/atanh)
  - qd_cascade_math_sweep.cpp -- 17 functions
  - ereal_pown_sweep.cpp -- ereal<2>, ereal<4>, ereal<8> pown
    (the only math function ereal exposes today)

  Each file also exercises:
  - Reject-path check: helper must reject a deliberately-wrong 2x-off
    oracle, guarding against silent passes from loose tolerance
  - Anchors: deterministic exact-result expectations (exp(0)=1,
    log(1)=0, sqrt(1)=1) that catch gross bugs random-input passes miss

- docs/algorithmic-details/elreal-oracle-sweep-results.md -- the
  aggregated pass/fail report with the precision-ceiling caveat
  prominently flagged: today's helper compares at double precision
  because elreal caps at depth-1 refinement. When Phase L (#906)
  and Phase M (#907) lift the depth-1 cap, the sweep sharpens
  automatically -- the helpers and sweep sources do not change.

- docs/site/algorithmic-details/index.md -- new doc listed.
- docs-site/sync-content.mjs -- wired into content map.

Results
-------

All six sweeps PASS under gcc 13.3 and clang 1... (continued)

46942 of 55729 relevant lines covered (84.23%)

5285730.39 hits per line

Coverage Regressions

Lines Coverage ∆ File
4
80.58
 -0.89% include/sw/universal/number/posit1/specialized/posit_16_1.hpp
Jobs
ID Job ID Ran Files Coverage
1 26256239388.1 651
84.23
 GitHub Action Run
Source Files on build 26256239388