stillwater-sc / universal / 22006915043

85%

master: 85%

Build Type

push

github

Committed by web-flow

Commit Message

V3.98: posit v1 to posit v2 transition and adding arm64, PPC, and MINGW as cross-platform targets (#508)

* Incrementing SEMVER v3.98

* Rename posit → posit1, posit2 → posit: make BlockType-based posit the default

Move the old bitset-based posit (2-param template) to posit1/ for backward
compatibility, and promote the new BlockType-based posit2 (3-param template)
to posit/ so that #include <universal/number/posit/posit.hpp> gives consumers
the modern implementation.

Key changes:
- include/sw/universal/number/posit/ now contains the new 3-param posit
- include/sw/universal/number/posit1/ preserves the old 2-param posit
- Math library copied from posit1 into new posit with 3-param signatures
- posit_traits.hpp updated for 3-param, new posit1_traits.hpp for 2-param
- Test directories: static/posit/ (new), static/posit1/ (old)
- sqrt.hpp fixed for blockbinary::bits() → unsigned cast in table lookups
- Verification header decoupled from direct mathlib include

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

* Fix quire tests to include posit1 (quire requires old posit)

The quire super-accumulator is only implemented for the old 2-param
posit (now posit1). Update the two quire test files to include
posit1/posit1.hpp instead of posit/posit.hpp.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

* Fix posito to use posit1 (depends on old posit internal classes)

posito uses positRegime, positExponent, and positFraction from the old
posit implementation. Update posito.hpp and posito_impl.hpp to include
from posit1/ instead of posit/. Also fix number_system.cpp which
explicitly included posit/posit.hpp alongside posito.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

* Fix remaining posit→posit1 include paths for CI

- valid_impl.hpp: use posit1/posit_impl.hpp (valid depends on bitblock)
- exceptions.hpp: add shared include guard to prevent redefinition when
  both posit/ and posit1/ exceptions are included in the same TU
- takum, ... (continued)

Run Details

2525 of 2732 new or added lines in 44 files covered. (92.42%)

36 existing lines in 8 files now uncovered.

36972 of 43604 relevant lines covered (84.79%)

7199787.74 hits per line