lawful-words
Search uses release 0.1.0.0 · 468 definitions
Definitions (468)
- def bit_lt32.go
- law bit_lt32Bits from 32 up are clear.
- law bit_zero
- law bit_shrn
- law wbit_put
- law bit_shl0
- law bit_shl1
- law bit_shln
- law bit_255
- law bit_byteBit k of byte j of w is bit 8j + k of w (and 0 from k = 8 up).
- law band_dist
- law bor_dist
- law bxor_dist
- law bnot_byte
- law blow
- law bor_low
- law put_bits
- law lt_not_le
- law idx32
- law lt_mul88j + k < 8 (j + 1) for k < 8.
- law idx_add
- law idx_sub
- law lt_sub
- law le_sub_l
- law sub_sub_eq
- law to_nat_byte
- law byte_lt
- def byte_and.k
- law byte_and
- def byte_or.k
- law byte_or
- def byte_xor.k
- law byte_xor
- def byte_not.k
- law byte_not
- def byte_shrn.k
- law byte_shrn
- def byte_shln_low.k
- law byte_shln_low
- def byte_shln_high.k
- law byte_shln_high
- law bit_mergeThe bits of a merged word, at byte j, bit k.
- def byte_merge_lo.k
- law byte_merge_lo
- def byte_merge_hi.k
- law byte_merge_hi
- def byte_put_same.kThe bits of put_byte(w, j, b) at byte j, bit k.
- law byte_put_same
- law other_bits
- law other_idxByte i of a word whose byte j (j != i) was set: bit k < 8 is beyond byte j.
- def byte_put_other.k
- law byte_put_other
- def Cmp.disc_gt
- def lt_ne_gt
- law gt_flip
- def bsel.goBit k of byte J of b << 8X, for b < 256 and k < 8: bit k of b when J = X.
- law bsel
- law lt256A U32 test b < 256 as numbers.
- law pack_bitsBit k (k < 8) of byte j of pack4(b0, b1, b2, b3).
- law nth4_lt
- law pack_byteBit k (k < 8) of byte j (j < 4) of a packed word is bit k of the j-th value.
- def byte_pack4.l
- def byte_pack4.k
- law byte_pack4
- law nth4_byte
- def pack4_bytes.go
- def pack4_bytes.k
- law pack4_bytes
- law byte_ext
- law bor_comm
- law wor_comm
- law or_comm
- law lt_mul_r
- law p162^16, 2^24 and 2^32 in terms of a = 2^8.
- law p24
- law p32
- law le_mul_pos
- law shvThe value of b << 8s, 16 or 24, with a = 2^8 and m = 2^32 abstract.
- law pk.m
- law to_nat_pack4