List view

Add Ada style modular numbers?

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

Feature

#21 In cppalliance/safe_numbers;

· mborland opened on Feb 6, 2026

Add documentation note that Ada does not allow bitwise operations on signed integer types

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

Task

#33 In cppalliance/safe_numbers;

· mborland opened on Feb 9, 2026

Add proof-irrelevant refinement type from Liquid Haskell

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#36 In cppalliance/safe_numbers;

· mborland opened on Feb 10, 2026

Move proposal into ISO format

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

Task

#39 In cppalliance/safe_numbers;

· mborland opened on Feb 11, 2026

Add runtime operations between lib types and verified types

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#43 In cppalliance/safe_numbers;

· mborland opened on Feb 12, 2026

Improve failure message for <code>unsigned_integer_basis</code> operator&lt;=&gt;

BugSomething isn't workingSomething isn't working

Status: Open.

Bug

#44 In cppalliance/safe_numbers;

· mborland opened on Feb 12, 2026

Add framework for compile time verified integers

enhancementNew feature or requestNew feature or request

Status: Open (in progress).

cppalliance/safe_numbersnumber 45

#45 In cppalliance/safe_numbers;

· mborland opened on Feb 12, 2026

Fix coverage situation in test/

QualityImprove testing or CI environmentImprove testing or CI environment

Status: Open.

Task

#46 In cppalliance/safe_numbers;

· mborland opened on Feb 12, 2026

Add pretty printers for verified types

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#47 In cppalliance/safe_numbers;

· mborland opened on Feb 12, 2026