| /seL4-l4v-master/HOL4/src/0/ |
| H A D | Subst.sig | 7 val shift : int * 'a subs -> 'a subs value
|
| H A D | Subst.sml | 48 fun shift (0, s) = s function
[all...] |
| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | parse_struct_array.c | 64 int ts20110511_1(struct s *sptr, int i, int shift) argument
69 int ts20110511_2(struct s *sptr, int shift) argument
|
| /seL4-l4v-master/HOL4/tools/mlyacc/src/ |
| H A D | graph.sml | 49 val shift = fn ({edges,nodes,...} : graph) => fn a as (i,sym) => value
|
| H A D | lalr.sml | 224 let val shift = shift graph value
|
| H A D | sigs.sml | 244 val shift : graph -> int * Grammar.symbol -> int (* int = state # *) value
|
| /seL4-l4v-master/HOL4/examples/ARM/v4/ |
| H A D | Data.sml | 3 datatype shift = LSL | LSR | ASR | ROR; type
|
| H A D | armScript.sml | 314 and shift = (11 >< 7) opnd2 value
324 and shift = (7 >< 0) (REG_READ reg mode Rs) in value
[all...] |
| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | IRSyntax.sml | 179 val shift = mk_comb (Term`n2w:num->word4`, mk_numeral s) value
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | IRSyntax.sml | 179 val shift = mk_comb (Term`n2w:num->word4`, mk_numeral s) value
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/ |
| H A D | IRSyntax.sml | 179 val shift = mk_comb (Term`n2w:num->word4`, mk_numeral s) value
|
| /seL4-l4v-master/HOL4/tools/ |
| H A D | hol-unicode.el | |
| /seL4-l4v-master/HOL4/examples/ARM/v7/ |
| H A D | arm_disassemblerLib.sml | 220 fun shift tm = function
|
| H A D | arm_parserLib.sml | 266 datatype shift = ROR_shift | LSR_shift | ASR_shift | LSL_shift | RRX_shift; type
[all...] |
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | memmgr.cpp | 1139 const unsigned shift = (sizeof(void*)-1) * 8; // Takes the high-order byte local
[all...] |
| H A D | savestate.cpp | 956 const unsigned shift = (sizeof(void*) - 1) * 8; // Takes the high-order byte local
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/step/ |
| H A D | riscv_stepScript.sml | 553 val shift = ``~((^archbase = 0w) /\ word_bit 5n (imm: word6))`` value
|
| /seL4-l4v-master/HOL4/examples/ARM/arm6-verification/ |
| H A D | armScript.sml | 272 and shift = (11 >< 7) opnd2 value
282 and shift = (7 >< 0) (REG_READ reg mode Rs) in value
[all...] |
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | parse_term.sml | 1380 val shift = value
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/model/ |
| H A D | arm8.sml | 5023 val shift = value
[all...] |
| /seL4-l4v-master/HOL4/examples/l3-machine-code/x64/model/ |
| H A D | x64.sml | 3402 val shift = value
|