B10: bit-counting and byte-swapping builtins by their definitions, and static_assert with a message by SwayamInSync · Pull Request #116 · SwayamInSync/cpp-verify

verify: Add builtin-argument, the kind of a check that a builtin is defined for its argument.

SwayamInSync

committed

42ab8a7

verify: Add the builtin-argument obligation kind.

SwayamInSync

committed

6680ff3

verify: Name builtin-argument, and anchor an exit assert apart from its condition.

SwayamInSync

committed

d3f25b0

verify: Archive builtin-argument as tag 24 from schema v6.

SwayamInSync

committed

fb0fb17

verify: Give an exit assert an anchor apart from its condition.

SwayamInSync

committed

5260467

verify: Count builtin-argument as definedness, and keep a postcondition check's own place as its focus.

SwayamInSync

committed

98705b1

verify: Pass into any guard of a failed definedness check, and count builtin-argument as definedness.

SwayamInSync

committed

b9aae1c

verify: Declare convertBitBuiltin.

SwayamInSync

committed

a4f2ba8

verify: Lower the bit builtins to their definitions, and skip expressions without a type, as a static_assert message.

SwayamInSync

committed

fdf9873

test: Check the bit builtins' definitions, clz and ctz of 0, and static_assert with a message.

SwayamInSync

committed

d49fd99

test: Expect postcondition checks at their operations in contract_wellformedness.cpp.

SwayamInSync

committed

7df6429

test: Expect postcondition checks at their operations in dynamic_storage_fail.cpp.

SwayamInSync

committed

da6afb5

test: Expect postcondition checks at their operations in out_parameters.cpp.

SwayamInSync

committed

0c8c76b

docs: Describe the bit builtins' lowering and exit asserts' anchors.

SwayamInSync

committed

fbaade7

docs: State what the bit builtins mean and when they are undefined.

SwayamInSync

committed

c8ba299

docs: Document the bit builtins with an example.

SwayamInSync

committed

3b7e282

docs: List the bit builtins as supported.

SwayamInSync

committed

1e4edda

docs: List the builtin-argument kind.

SwayamInSync

committed

2ff0d0b

docs: Show a builtin's argument as undefined behavior in chapter 18.

SwayamInSync

committed

6ee6d9c

docs: Note the bit builtins and the static_assert crash fix.

SwayamInSync

committed

5bc0801

Merge fix/failing-piece into fix/bit-builtins.

SwayamInSync

committed

3167b00

Merge fix/failing-piece into fix/bit-builtins.

SwayamInSync

committed

43a8e90

Merge fix/failing-piece into fix/bit-builtins.

SwayamInSync

committed

cd7da14

Navigation Menu

Repository navigation

B10: bit-counting and byte-swapping builtins by their definitions, and static_assert with a message - #116

B10: bit-counting and byte-swapping builtins by their definitions, and static_assert with a message#116
SwayamInSync merged 23 commits into
mainfrom
fix/bit-builtins

Commits on Oct 28, 2026

verify: Add builtin-argument, the kind of a check that a builtin is defined for its argument.

verify: Add the builtin-argument obligation kind.

verify: Name builtin-argument, and anchor an exit assert apart from its condition.

verify: Archive builtin-argument as tag 24 from schema v6.

verify: Give an exit assert an anchor apart from its condition.

verify: Count builtin-argument as definedness, and keep a postcondition check's own place as its focus.

verify: Pass into any guard of a failed definedness check, and count builtin-argument as definedness.

verify: Declare convertBitBuiltin.

verify: Lower the bit builtins to their definitions, and skip expressions without a type, as a static_assert message.

test: Check the bit builtins' definitions, clz and ctz of 0, and static_assert with a message.

test: Expect postcondition checks at their operations in contract_wellformedness.cpp.

test: Expect postcondition checks at their operations in dynamic_storage_fail.cpp.

test: Expect postcondition checks at their operations in out_parameters.cpp.

docs: Describe the bit builtins' lowering and exit asserts' anchors.

docs: State what the bit builtins mean and when they are undefined.

docs: Document the bit builtins with an example.

docs: List the bit builtins as supported.

docs: List the builtin-argument kind.

docs: Show a builtin's argument as undefined behavior in chapter 18.

docs: Note the bit builtins and the static_assert crash fix.

Merge fix/failing-piece into fix/bit-builtins.

Merge fix/failing-piece into fix/bit-builtins.

Merge fix/failing-piece into fix/bit-builtins.