stillwater-sc / universal / 23686298938
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.382% (+0.02%) from 84.367%
23686298938

push

github

web-flow 
feat(ucalc): number line visualization command (#648)

* feat(ucalc): number line visualization command (#625)

Add `numberline [lo, hi]` command showing ASCII visualization of
representable value density for the active type.

Three display modes based on value count:
- <= 200 values: ASCII number line with | marks at each value
- > 200 values: density histogram (20 bins with # bar chart)
- 0 values: explicit "(no representable values)" message

Uses a robust next_representable() function that doubles the probe
step when the initial ULP doesn't advance the value -- handles posit
types where ULP at 0 is minpos (extremely small) but the actual next
value is orders of magnitude larger.

Shows density annotation: "dense near 0 --> sparse near maxpos" or
"roughly uniform density" based on left/right half value counts.

All output formats: plain, --json (full value list), --csv, --quiet.
JSON includes the complete list of representable values for agent
consumption. Cap at 100000 values to avoid runaway on wide types.
21/21 CTests pass on gcc.

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

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

Three fixes:

1. Bare 'numberline' (no args) now shows usage error instead of
   falling through to expression parsing.

2. Types wider than double (dd, qd, cascades) get a warning:
   "NOTE: type is wider than double; count may underestimate"
   since the double lattice is coarser than the type's lattice.
   JSON output includes "approximate":true for these types.

3. Density summary now uses center-vs-edges heuristic (thirds)
   instead of left-vs-right halves. Detects four patterns:
   - dense near lo, sparse near hi
   - sparse near lo, dense near hi
   - dense near center, sparse at edges (symmetric around 0)
   - roughly uniform
   Summary is now emitted for both ASCII art and histogram branches.

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

* fix(uc... (continued)

44569 of 52818 relevant lines covered (84.38%)

6107841.44 hits per line

Coverage Regressions

Lines Coverage ∆ File
5
50.45
 -4.5% include/sw/universal/verification/posit_test_suite_randoms.hpp
1
81.25
 -0.22% include/sw/universal/number/posit1/specialized/posit_16_1.hpp
Jobs
ID Job ID Ran Files Coverage
1 23686298938.1 630
84.38
 GitHub Action Run
Source Files on build 23686298938