Skip to content

Add framework for compile time verified integers#45

Merged
mborland merged 26 commits intodevelopfrom
36
Feb 13, 2026
Merged

Add framework for compile time verified integers#45
mborland merged 26 commits intodevelopfrom
36

Conversation

@mborland
Copy link
Member

Closes: #36

@mborland mborland added this to the v0.1.0 milestone Feb 12, 2026
@mborland mborland self-assigned this Feb 12, 2026
@mborland mborland added the enhancement New feature or request label Feb 12, 2026
@codecov
Copy link

codecov bot commented Feb 12, 2026

Codecov Report

❌ Patch coverage is 99.27184% with 3 lines in your changes missing coverage. Please review.
✅ Project coverage is 97.0%. Comparing base (b0548cd) to head (e0ec3bc).
⚠️ Report is 29 commits behind head on develop.

Files with missing lines Patch % Lines
examples/verified_runtime_usage.cpp 92.7% 0 Missing and 3 partials ⚠️
Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff            @@
##           develop     #45     +/-   ##
=========================================
+ Coverage     96.8%   97.0%   +0.2%     
=========================================
  Files           85      96     +11     
  Lines         5183    5579    +396     
  Branches      1642    1772    +130     
=========================================
+ Hits          5015    5408    +393     
  Misses         124     124             
- Partials        44      47      +3     
Files with missing lines Coverage Δ
examples/verified_arithmetic.cpp 100.0% <100.0%> (ø)
examples/verified_construction.cpp 100.0% <100.0%> (ø)
include/boost/safe_numbers/bit.hpp 100.0% <100.0%> (ø)
include/boost/safe_numbers/bounded_integers.hpp 100.0% <ø> (ø)
include/boost/safe_numbers/charconv.hpp 100.0% <ø> (ø)
include/boost/safe_numbers/detail/type_traits.hpp 100.0% <ø> (ø)
...ost/safe_numbers/detail/unsigned_integer_basis.hpp 95.3% <ø> (ø)
.../boost/safe_numbers/detail/verified_type_basis.hpp 100.0% <100.0%> (ø)
include/boost/safe_numbers/iostream.hpp 100.0% <ø> (ø)
include/boost/safe_numbers/limits.hpp 100.0% <100.0%> (ø)
... and 8 more

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update b0548cd...e0ec3bc. Read the comment docs.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@cppalliance-bot
Copy link

cppalliance-bot commented Feb 12, 2026

An automated preview of the documentation is available at https://45.safe-numbers.prtest3.cppalliance.org/libs/safe_numbers/doc/html/index.html

If more commits are pushed to the pull request, the docs will rebuild at the same URL.

2026-02-13 16:34:20 UTC

@mborland mborland merged commit fa563a8 into develop Feb 13, 2026
36 checks passed
@mborland mborland deleted the 36 branch February 13, 2026 17:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add proof-irrelevant refinement type from Liquid Haskell

2 participants