Searched defs:hex (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/
H A DassemblerLib.sig8 val hex: BitsN.nbit -> string value
H A DassemblerLib.sml58 fun hex w = StringCvt.padLeft #"0" (Nat.toNativeInt (BitsN.size w) div 4) function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/model/
H A Dm0AssemblerLib.sml16 val hex = assemblerLib.hex value
[all...]
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DSmtLib_Theories.sml172 val hex = String.extract (token, 2, NONE) value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/
H A Demit_eval.sml385 fun hex n s = StringCvt.padLeft #"0" n (wordsML.word_to_hex_string s) function
[all...]
H A Darm_evalLib.sml48 fun hex w = toHex w o toNum; function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dfile_readerLib.sml53 val hex = String.substring(line,0,8) value
H A Dderive_specsLib.sml424 val hex = String.tokens (fn c => c = #":") c |> el 2 value
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttTools.sml668 let val hex = Int.fmt StringCvt.HEX (Char.ord c) in value
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_opsScript.sml1261 val hex = enc ("mov "^ x64_reg i ^"d, [r6+4*"^ x64_reg i ^"]") value
1282 val hex = enc ("mov "^ x64_reg i ^"d, [r6+4*"^ x64_reg i ^"+4]") value

Completed in 207 milliseconds