Searched defs:rn (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-master/HOL4/src/num/reduce/src/
H A DArithconv.sml247 and rn = mk_numeral r value
279 and rn = mk_numeral r value
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Darm_decoderScript.sml723 let S = a 4 and rn = ra 0 and rd = rb 8 value
837 let S = a 4 and rn = ra 0 and rd = rb 8 value
[all...]
H A Darm_encoderLib.sml823 (fn _ => let val rn = uint_of_word n in value
H A Darm_random_testingLib.sml186 val rn = if imm_no_wb andalso random_range 2 = 0 then value
258 val rn = if load andalso imm_no_wb andalso value
312 val (rn,mode3) = value
[all...]
H A Darm_parserLib.sml1634 val rn = mk_word4 (if thumb then 15 else 0) value
2124 val (rn,rm) = if narrow_okay andalso rd !~ rm value
[all...]
/seL4-l4v-master/HOL4/examples/ARM_security_properties/model/
H A Darm_decoderScript.sml724 let S = a 4 and rn = ra 0 and rd = rb 8 value
838 let S = a 4 and rn = ra 0 and rd = rb 8 value
[all...]
/seL4-l4v-master/HOL4/src/metis/
H A DmlibArbnum.sml328 val rn = #1 (single_divmod rn0 d) value
/seL4-l4v-master/HOL4/src/portableML/mosml/
H A DArbnumcore.sml366 val rn = #1 (single_divmod rn0 d) value
/seL4-l4v-master/HOL4/examples/ARM/arm6-verification/correctness/
H A DmultScript.sml648 and rn = REG_READ6 reg nbs ((15 >< 12) ireg) in value
[all...]
/seL4-l4v-master/HOL4/examples/ARM/v4/
H A DarmScript.sml475 and rn = REG_READ r.reg mode Rn value
628 and rn = REG_READ r.reg mode Rn in value
[all...]
/seL4-l4v-master/HOL4/examples/ARM/arm6-verification/
H A DarmScript.sml536 and rn = REG_READ reg mode Rn in value
[all...]
/seL4-l4v-master/HOL4/src/real/
H A DrealSimps.sml978 val ln = toN li and rn = toN ri value
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/step/
H A Dm0_stepLib.sml1372 val rn = List.take (l, 3) value
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/model/
H A Dm0.sml1414 val rn = value
1442 val rn = value
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sml3916 val rn = value
3946 val rn = value
4108 val rn = R n value
4129 val rn = R n value
4152 val rn = R n value
24235 val (rn,rm) = if tbform then (rm,rn) else (rn,rm) value
[all...]

Completed in 176 milliseconds