package jasmin

  1. Overview
  2. Docs
package jasmin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Jasmin.Waes

val coq_Sbox : Word0.word -> Word0.word
val coq_InvSbox : Word0.word -> Word0.word
val coq_SubWord : Word0.word -> Word0.word
val coq_InvSubWord : Word0.word -> Word0.word
val coq_RotWord : Word0.word -> Word0.word
val coq_SubBytes : Word0.word -> Word0.word
val coq_InvSubBytes : Word0.word -> Word0.word
val coq_ShiftRows : Word0.word -> Word0.word
val coq_InvShiftRows : Word0.word -> Word0.word
val coq_MixColumns : Word0.word -> Word0.word
val coq_InvMixColumns : Word0.word -> Word0.word
val wAESDEC : Word0.word -> Word0.word -> Word0.word
val wAESDECLAST : Word0.word -> Word0.word -> Word0.word
val wAESENC : Word0.word -> Word0.word -> Word0.word
val wAESENCLAST : Word0.word -> Word0.word -> Word0.word
val wAESKEYGENASSIST : Word0.word -> Word0.word -> Word0.word