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

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

Build:
Build:
LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Ran 29 Mar 2026 07:37PM UTC
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

29 Mar 2026 07:08PM UTC coverage: 84.326% (-0.03%) from 84.352%
23716789256

push

github

web-flow
feat(ucalc): suggestion verification with side-by-side comparison (#675)

* docs(ucalc): AST evaluator conversion plan for Epic #642

Plan for converting the expression evaluator to AST-based with
provenance tracking, rewrite pattern database, and structural
pattern matching. Five phases, each delivering standalone value.

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

* feat(ucalc): suggestion verification with side-by-side comparison (#670)

The suggest command now evaluates both original and alternative
expressions in the active type, computes relative error vs qd
reference, and reports whether the alternative is measurably better.

Output includes:
- Original result and relative error
- Alternative result and relative error
- VERIFIED flag with improvement factor when alternative is better
- Unverified suggestions shown without metrics when variables unset

Example:
  float> a = 1000001; b = 1000000
  float> suggest sqrt(a) - sqrt(b)
    original:    0.00048828125  (rel error: 2.3437e-02)
    rewritten:   0.000499999849  (rel error: 5.1749e-08)
    VERIFIED: 452905.6x better

Completes Epic #642 (Rewrite Suggestion Database).

Resolves #670

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

* fix(ucalc): distinguish unavailable metrics from zero in suggest

Add metrics_available flag to SuggestResult. When evaluation fails
(unbound variables), metrics fields are omitted from JSON/CSV/plain
output instead of showing misleading 0.0 values.

Also added comment noting double interchange limitation for
verification error computation.

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

---------

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

44573 of 52858 relevant lines covered (84.33%)

6104969.67 hits per line

Coverage Regressions

Lines Coverage ∆ File
10
31.43
-3.57% include/sw/universal/verification/test_suite_randoms.hpp
2
80.8
-0.45% include/sw/universal/number/posit1/specialized/posit_16_1.hpp
2
89.8
-0.57% include/sw/universal/number/posito/posito_impl.hpp
Jobs
ID Job ID Ran Files Coverage
1 23716789256.1 29 Mar 2026 07:37PM UTC 630
84.33
GitHub Action Run
Source Files on build 23716789256
  • Tree
  • List 630
  • Changed 3
  • Source Changed 0
  • Coverage Changed 3
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #23716789256
  • af950d61 on github
  • Prev Build on main (#23715766161)
  • Next Build on main (#23722088665)
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