Code

Lukevalenty/p02993 r0 refactor#43

Code

Draft

lukevalenty wants to merge 13 commits intomainintel/safe-arithmetic:mainfrom lukevalenty/P02993R0_refactorintel/safe-arithmetic:lukevalenty/P02993R0_refactorCopy head branch name to clipboard

+1,537-3,712

Commits

Commits on Mar 21, 2024

• refactoring to match P02993R0

  lukevalenty

  committed
  07551eb

  Copy full SHA for 07551eb

• remove big_integer tests in preperation to remove big_integer

  lukevalenty

  committed
  d2af6ef

  Copy full SHA for d2af6ef

• remove big_integer usage

  lukevalenty

  committed
  b8f0f8d

  Copy full SHA for b8f0f8d

• removed big_integer

  lukevalenty

  committed
  1c7c4f6

  Copy full SHA for 1c7c4f6

• provide a single _cn literal type to create constant constrained_numbers

  lukevalenty

  committed
  9e0d0e8

  Copy full SHA for 9e0d0e8

Commits on Mar 22, 2024

• fixing constrained_number constructors, move constraint_cast into own file

  lukevalenty

  committed
  0215991

  Copy full SHA for 0215991

• rename Operand to any_constraint and use in constrained_number

  lukevalenty

  committed
  ee00a6a

  Copy full SHA for ee00a6a

• fix constraint_cast to match P2993R0

  lukevalenty

  committed
  6b4ed20

  Copy full SHA for 6b4ed20

• remove value.hpp and associated function

  lukevalenty

  committed
  8c8c3a6

  Copy full SHA for 8c8c3a6

• import constraint_of into safe namespace

  lukevalenty

  committed
  c32f159

  Copy full SHA for c32f159

• add make_constrained

  lukevalenty

  committed
  fc7ed59

  Copy full SHA for fc7ed59

• rename unsafe_value to raw_value

  lukevalenty

  committed
  99cc59e

  Copy full SHA for 99cc59e

• rename match to match_constraint

  lukevalenty

  committed
  cec615d

  Copy full SHA for cec615d