Searched defs:mk_word32 (Results 1 - 8 of 8) sorted by last modified time
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | syntax.py | 1417 def mk_word32 (x): function
|
| H A D | objdump.py | 49 from syntax import structs, fresh_name, Struct, mk_word32 namespace
|
| H A D | check.py | 23 from syntax import (true_term, false_term, boolT, mk_var, mk_word32, mk_word8, namespace
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/ |
| H A D | arm_evalLib.sml | 36 val mk_word32 = mk_word 32; value
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | arm_stepLib.sml | 535 fun mk_word32 x = wordsSyntax.mk_wordii (x,32) function
|
| H A D | arm_parserLib.sml | 420 fun mk_word32 n = wordsSyntax.mk_wordi (n,32); function
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v4/ |
| H A D | instructionSyntax.sml | 33 val mk_word32 = mk_word ``:32``; value
|
| H A D | arm_evalLib.sml | 291 fun mk_word32 n = mk_n2w(numSyntax.mk_numeral n,``:32``); function
|
Completed in 78 milliseconds