Searched defs:mk_word8 (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/examples/dev/AES/word8/
H A DMultScript.sml126 fun mk_word8 i = wordsSyntax.mk_n2w(numSyntax.term_of_int i, ``:8``); function
/seL4-l4v-master/HOL4/examples/Crypto/AES/
H A DMultScript.sml118 fun mk_word8 i = wordsSyntax.mk_n2w(numSyntax.term_of_int i, ``:8``); function
/seL4-l4v-master/HOL4/examples/ARM/v4/
H A DinstructionSyntax.sml29 val mk_word8 = mk_word ``:8``; value
/seL4-l4v-master/HOL4/examples/ARM/v7/eval/
H A Darm_evalLib.sml35 val mk_word8 = mk_word 8; value
/seL4-l4v-master/graph-refine/
H A Dcheck.py21 from syntax import (true_term, false_term, boolT, mk_var, mk_word32, mk_word8, namespace
H A Dsyntax.py1422 def mk_word8 (x): function
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Darm_parserLib.sml416 fun mk_word8 i = wordsSyntax.mk_wordii (i,8); function

Completed in 147 milliseconds