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

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Ran
Jobs 1
Files 596
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: 85.212% (-0.3%) from 85.499%
30404978394

push

github

web-flow 
refactor: archive legacy posit1, posito, valid; migrate consumers to modern posit (#1244)

posit1 and posito are the original posit designs; valid (unum type III interval) is
built on posit1. They forward-declare sw::universal::posit (2-arg) and quire
(3-unsigned) INCOMPATIBLY with the modern posit<nbits,es,bt> and quire<NumberType,
capacity,LimbType>, so they cannot coexist with the modern quire in a translation unit
(posit1 + modern posit already gave 1192 errors). This blocked #1201 (cfloat/lns
aggregators pulling the modern quire via fdp.hpp). Archive the three legacy designs and
migrate consumers to the modern posit.

Archived to ./archive (git mv, preserved, out of the build):
- number/posit1, number/posito, number/valid + their traits + adapters/adapt_integer_and_posit.hpp
- test trees static/tapered/{posit1,posito}, static/range/valid
- the entire posit1-based C API (c_api/)
- posit1-internals-specific consumers: education/number/posit/{components,regimes,exponents,fractions},
  education/{tables/posits,ranges/posit}, static/conversions/{to_posit,to_integer,adapt_integer_and_posit,rounding},
  applications/precision/numeric/{posit_list,posit_properties,traits}, valid + posit benchmarks,
  numeric/{fpbench,utils,functions} valid/adapter users, playground/{efunc_posits,efunc_valids,serialization}

Migrated to modern posit (include swap): number_systems.hpp, tools/float2posit, most
education/number/posit value examples, several applications, playground/{gismo_test,skeleton,type_test}.
takum/conversion/assignment dropped its (archived) posito include.

#1201 landed: cfloat.hpp and lns.hpp now include their fdp.hpp (matching posit.hpp), so
quire_mul/fdp are discoverable from the aggregator header. New regression
static/quire/api/aggregator_fdp.cpp pins it (posit+cfloat+lns coexist, exact dot == 8).

CMake: removed UNIVERSAL_BUILD_NUMBER_POSITOS/VALIDS options + cascades, the posit1/posito/
valid/c_api add_subdirectory lines, the benchmark valid glo... (continued)

41518 of 48723 relevant lines covered (85.21%)

7164664.32 hits per line

Coverage Regressions

Lines Coverage ∆ File
19
87.53
 -3.8% include/sw/universal/internal/value/value.hpp
13
81.88
 -4.19% include/sw/universal/verification/posit_test_suite.hpp
10
31.43
 -3.57% include/sw/universal/verification/test_suite_randoms.hpp
6
42.86
 -42.86% include/sw/universal/verification/test_status.hpp
1
91.03
 -0.11% include/sw/universal/number/integer/integer_impl.hpp
Jobs
ID Job ID Ran Files Coverage
1 30404978394.1 596
85.21
 GitHub Action Run
Source Files on build 30404978394