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

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Ran
Jobs 1
Files 630
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
coverage: 84.345% (+0.006%) from 84.339%
23695539103

push

github

web-flow 
feat(ucalc): cross-platform oracle command (#660)

* feat(ucalc): cross-platform oracle command (#632)

Add `oracle <type> <expr>` that gives the canonical correctly-rounded
result for a specific type without changing the active type. Shows:
- Value in native representation
- Native encoding (binary/decimal/hex via to_native())
- Binary bit pattern
- Component decomposition
- Quad-double reference value
- Rounding status: exact, correctly rounded, faithfully rounded, or not

Useful for validating hardware or library implementations without
compiling C++ -- the oracle gives the authoritative answer for what
any Universal type should produce for a given expression.

All output formats: plain, --json, --csv, --quiet.

Resolves #632

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

* fix(ucalc): resolve CodeRabbit review items for oracle command

Two fixes:

1. Critical: Oracle verdict no longer derived from double comparison.
   - Nearest check uses native_rep comparison (result vs rounded)
   - Faithful check uses TypeOps::next/prev for neighbor finding
     instead of double-increment probing
   - Exact check promotes result back to qd and compares native_rep
   - Note: is_exact for decimal types still limited by double
     interchange (documented in ucalc-double-interchange.md)

2. Major: CSV output now includes all fields matching JSON/plain:
   native_encoding, components, exact, faithful, rounding

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

---------

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

44583 of 52858 relevant lines covered (84.34%)

6105077.74 hits per line

Coverage Regressions

Lines Coverage ∆ File
5
50.45
 -4.5% include/sw/universal/verification/posit_test_suite_randoms.hpp
2
89.8
 -0.57% include/sw/universal/number/posito/posito_impl.hpp
1
81.25
 0.45% include/sw/universal/number/posit1/specialized/posit_16_1.hpp
Jobs
ID Job ID Ran Files Coverage
1 23695539103.1 630
84.34
 GitHub Action Run
Source Files on build 23695539103