Searched defs:sh (Results 1 - 8 of 8) sorted by relevance
| /seL4-l4v-master/HOL4/examples/ARM/v4/ |
| H A D | armScript.sml | 313 and sh = (6 >< 5) opnd2 value
|
| /seL4-l4v-master/HOL4/examples/ARM/v7/ |
| H A D | arm_encoderLib.sml | 641 val sh = case uint_of_word typ value
|
| H A D | arm_parserLib.sml | 1276 let val (sh,typ,_) = dest_Mode1_register mode1 in value
2439 let val (sh,_,_) = dest_Mode2_register mode2 value
2634 let val (sh,_) = dest_Mode3_register mode3 value
3360 val sh = mk_bool (shift32 orelse value
|
| /seL4-l4v-master/HOL4/examples/ARM/arm6-verification/ |
| H A D | armScript.sml | 271 and sh = (6 >< 5) opnd2 value
[all...] |
| /seL4-l4v-master/HOL4/examples/acl2/ml/ |
| H A D | polytypicLib.sml | 3140 val sh = strengthen_proof_term (CONV_RULE conv (get_def (mk_prod(alpha,beta))) :: functions) h value
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/model/ |
| H A D | arm8.sml | 8895 val sh = Nat.*(BitsN.toNat hw,16) value
8929 val sh = Nat.*(BitsN.toNat hw,16) value
[all...] |
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | xwindows.cpp | 2657 GetSubImage( Display *d, Drawable drawable, int sx, int sy, unsigned sw, unsigned sh, unsigned mask, int format, XImage *image, int dx, int dy ) argument
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/ |
| H A D | arm.sml | 20643 val sh = BitsN.bits(1,1) typ value
24245 val sh = stripSpaces sh value
[all...] |
Completed in 344 milliseconds