VM: the bitwise and boolean operator families - #7

Merged

EvanWinget merged 7 commits into

mainfrom

bitwise-boolean-families

Jul 28, 2026

Commits on Jul 28, 2026

Spec: the bitwise and boolean families, probed against both oracles
EvanWinget
committed
8638772
Implement the bitwise and boolean families
EvanWinget
committed
06830f5
Pin the bitwise and boolean families: 98 vectors
EvanWinget
committed
bbcb31a
Reach the bitwise and boolean families in the diff harness
EvanWinget
committed
c84dd93
Spec: correct the left-shift growth bound to 8192 bytes
EvanWinget
committed
f2d5ce8
Correct two comments in the shift and lognot paths
EvanWinget
committed
3989b2a
Close the review's vector coverage gaps: six vectors
EvanWinget
committed
cd31a47