bend-osdev-gf

Releases (3)

• 0.1.2.0 invalid

  expected a package named bend-osdev-word64@0.1.1.1 on https://hub.bend-lang.com

  at bend-osdev-bytes@0.1.1.1/bytes.bend:12

  5 files do not load

  • LAWS.bend
  • PROOF.bend
  • check.bend
  • gf128.bend
  • package.bend
• 0.1.1.0 indexed
• 0.1.0.0 unindexed

Definitions (522)

PROOF.bend

• def exp_log_aes.s00100
• def exp_log_aes.s00011
• def exp_log_aes.s00010
• def exp_log_aes.s00001
• def exp_log_aes.s00000
• def exp_log_aes.bits
• def exp_log_aes.core
• def exp_log_aes.lift
• def mul_inv_rs.s11111
• def mul_inv_rs.s11110
• def mul_inv_rs.s11101
• def mul_inv_rs.s11100
• def mul_inv_rs.s11011
• def mul_inv_rs.s11010
• def mul_inv_rs.s11001
• def mul_inv_rs.s11000
• def mul_inv_rs.s10111
• def mul_inv_rs.s10110
• def mul_inv_rs.s10101
• def mul_inv_rs.s10100
• def mul_inv_rs.s10011
• def mul_inv_rs.s10010
• def mul_inv_rs.s10001
• def mul_inv_rs.s10000
• def mul_inv_rs.s01111
• def mul_inv_rs.s01110
• def mul_inv_rs.s01101
• def mul_inv_rs.s01100
• def mul_inv_rs.s01011
• def mul_inv_rs.s01010
• def mul_inv_rs.s01001
• def mul_inv_rs.s01000
• def mul_inv_rs.s00111
• def mul_inv_rs.s00110
• def mul_inv_rs.s00101
• def mul_inv_rs.s00100
• def mul_inv_rs.s00011
• def mul_inv_rs.s00010
• def mul_inv_rs.s00001
• def mul_inv_rs.s00000
• def mul_inv_rs.bits
• def mul_inv_rs.core
• def mul_inv_rs.lift
• def exp_log_rs.s11111
• def exp_log_rs.s11110
• def exp_log_rs.s11101
• def exp_log_rs.s11100
• def exp_log_rs.s11011
• def exp_log_rs.s11010
• def exp_log_rs.s11001
• def exp_log_rs.s11000
• def exp_log_rs.s10111
• def exp_log_rs.s10110
• def exp_log_rs.s10101
• def exp_log_rs.s10100
• def exp_log_rs.s10011
• def exp_log_rs.s10010
• def exp_log_rs.s10001
• def exp_log_rs.s10000
• def exp_log_rs.s01111
• def exp_log_rs.s01110
• def exp_log_rs.s01101
• def exp_log_rs.s01100
• def exp_log_rs.s01011
• def exp_log_rs.s01010
• def exp_log_rs.s01001
• def exp_log_rs.s01000
• def exp_log_rs.s00111
• def exp_log_rs.s00110
• def exp_log_rs.s00101
• def exp_log_rs.s00100
• def exp_log_rs.s00011
• def exp_log_rs.s00010
• def exp_log_rs.s00001
• def exp_log_rs.s00000
• def exp_log_rs.bits
• def exp_log_rs.core
• def exp_log_rs.lift
• def word_and_zero
• def elt_bits4
• def elt_bits5
• def comm16.s1111
• def comm16.s1110
• def comm16.s1101
• def comm16.s1100
• def comm16.s1011
• def comm16.s1010
• def comm16.s1001
• def comm16.s1000
• def comm16.s0111
• def comm16.s0110
• def comm16.s0101
• def comm16.s0100
• def comm16.s0011
• def comm16.s0010
• def comm16.s0001
• def comm16.s0000
• def comm16.bits
• def comm16.core
• def fixma nonzero element as itself, and 0 as 1