Searched defs:byte (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-master/HOL4/src/floating-point/native/
H A Dnative_ieeeLib.sml37 val byte = Word8.fromInt o Arbnum.toInt value
52 val byte = Arbnum.fromInt o Word8.toInt o Word8Vector.sub value
/seL4-l4v-master/HOL4/examples/l3-machine-code/lib/
H A DFP64.sml21 val byte = Word8.fromLargeInt o BitsN.toNat o L3.uncurry BitsN.bits value
/seL4-l4v-master/HOL4/polyml/basis/
H A DBoolArray.sml86 val byte = if a then bit orb acc else acc value
111 val byte = if f i then bit orb acc else acc value
131 val byte = RunCall.loadByte(v, iW >> 0w3) value
231 val byte = System_loadb(vec, b) value
258 val byte = RunCall.loadByteFromImmutable(vec, b) value
369 val byte = RunCall.loadByte(v, byteOffsetW); value
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/x64/prog/
H A Dx64_progLib.sml25 val byte = wordsSyntax.mk_int_word_type 8 value
/seL4-l4v-master/HOL4/examples/l3-machine-code/mips/prog/
H A Dmips_progLib.sml25 val byte = wordsSyntax.mk_int_word_type 8 value
/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/prog/
H A Driscv_progLib.sml29 val byte = wordsSyntax.mk_int_word_type 8 value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dglobals.h117 typedef unsigned char byte; typedef
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/prog/
H A Dm0_progLib.sml30 val byte = wordsSyntax.mk_int_word_type 8 value
/seL4-l4v-master/HOL4/examples/l3-machine-code/mips/model/
H A Dmips.sml2319 val byte = value
2345 val byte = value
2373 val byte = value
3195 val byte value
3222 val byte = value
4265 val byte = value
4316 val byte = value
4368 val byte = value
4414 val byte = value
4512 val byte = value
4544 val byte = value
4586 val byte = value
4618 val byte = value
[all...]

Completed in 316 milliseconds