• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

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

Build:
Build:
LAST BUILD BRANCH: fix/issue-1002-ereal-highprec-constants
DEFAULT BRANCH: master
Ran 25 May 2026 04:00AM UTC
Jobs 1
Files 658
Run time 1min
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

24 May 2026 11:08PM UTC coverage: 83.98% (-0.002%) from 83.982%
26375348823

push

github

web-flow
feat(ereal): precision-lifting self-oracle (#954 D2) (#984)

* feat(ereal): precision-lifting self-oracle (#954 D2)

Deliverable 2 of #954: a self-referential precision-lifting oracle that uses
the widest configuration ereal<19> (1007 bits) as the value-canonical ground
truth for narrower ones -- no external oracle.

ereal_test_support.hpp:
- widen<WIDE>(ereal<NARROW>): value-preserving lift of a narrow expansion into
  a wider configuration by re-summing its non-overlapping limbs.

elastic/ereal/arithmetic/precision_lifting.cpp:
- For config pairs (2,19), (4,19), (8,19), (16,19): generate narrow inputs,
  lift them to ereal<19>, and assert widen(a_n op b_n) == (a_w op b_w) for
  +, -, *, / over random multi-component expansions (LEVEL_1..4 = x1k..x1M).

The comparison is EXACT (not "up to truncation"): ereal operations are
maxlimbs-independent -- maxlimbs is the algorithmic ceiling on inputs, not a
runtime truncation, so a narrow result carries the same value as the wide one.
A probe over 5,000 cases confirmed bit-identical narrow-vs-wide results for all
four operators; the fuzzer found 0 failures through x100k on gcc-13 and
clang-18, so no arithmetic operator needs a skip-list entry.

(This oracle depends on #981 having made * and / canonical.)

Relates to #944
Relates to #954

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* fix(ereal): static_assert WIDE>=NARROW in widen() (CodeRabbit PR #984)

Enforce the widening contract of the precision-lifting helper at compile time.

Relates to #954

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

---------

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

4 of 5 new or added lines in 1 file covered. (80.0%)

1 existing line in 1 file now uncovered.

47346 of 56378 relevant lines covered (83.98%)

8612227.23 hits per line

Uncovered Changes

Lines Coverage ∆ File
1
70.37
2.19% include/sw/universal/verification/ereal_test_support.hpp

Coverage Regressions

Lines Coverage ∆ File
1
80.58
-0.22% include/sw/universal/number/posit1/specialized/posit_16_1.hpp
Jobs
ID Job ID Ran Files Coverage
1 26375348823.1 25 May 2026 03:59AM UTC 658
83.98
GitHub Action Run
Source Files on build 26375348823
  • Tree
  • List 658
  • Changed 2
  • Source Changed 1
  • Coverage Changed 2
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #26375348823
  • c5b0ed48 on github
  • Prev Build on main (#26374781759)
  • Next Build on main (#26374509558)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc