| /seL4-l4v-10.1.1/HOL4/src/simp/ |
| H A D | test.sml | 26 val ss = mk_simpset [BOOL_ss,SATISFY_ss]; value
34 val ss = mk_simpset [BOOL_ss,UNWIND_ss]; value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | negint.c | 25 signed short ss; local
|
| H A D | promotion.c | 9 static int promotion(signed char sc, signed short ss, argument
25 signed short ss; local
|
| H A D | va_1.c | 38 signed short ss; local
102 signed short ss; local
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.special/ |
| H A D | unwindtest_ffi_call.cc | 25 signed short ss; local
|
| /seL4-l4v-10.1.1/HOL4/src/num/arith/src/ |
| H A D | selftest.sml | 7 val ss = simpLib.empty_ss ++ numSimps.REDUCE_ss value
13 val ss = boolSimps.bool_ss ++ numSimps.REDUCE_ss ++ numSimps.SUC_FILTER_ss value
115 val ss = boolSimps.bool_ss ++ numSimps.REDUCE_ss ++ numSimps.MOD_ss ++ value
162 val ss = bool_ss ++ ARITH_ss value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | UTF8.sml | 103 val ss = full s value
133 val ss = full s value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/xtensa/ |
| H A D | ffi.c | 108 signed short **ss; member in union:__anon52
|
| /seL4-l4v-10.1.1/HOL4/Manual/Tools/ |
| H A D | polyscripter.sml | 108 val ss = Substring.full s value
150 val (ss,_) = splitr Char.isSpace ss0 value
175 val ss value
307 val ss = Substring.full line value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/prekernel/ |
| H A D | Lexis.sml | 277 val ss = full s value
305 val ss = full s value
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | ReadHMF.sml | 60 val ss = full s value
67 val ss = full s value
92 val ss = Substring.full value
[all...] |
| H A D | Holmake_types.sml | 159 val ss = convert_newlines (full s) value
170 val ss = convert_newlines (full s) value
254 val ss = full s value
285 val ss = full s value
[all...] |
| H A D | internal_functions.sml | 36 val ss = dropl Char.isSpace (full s) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/unicode-grep/ |
| H A D | ugrep.sml | 152 val ss = Substring.full line value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/ |
| H A D | ppc_Lib.sml | 65 val ss = rewrites [OK_nextinstr_def, PWRITE_M_LIST_def, value
|
| H A D | prog_ppcLib.sml | 75 val ss = foldr (fn (x,y) => (fst (dest_eq x) |-> snd (dest_eq x)) :: y handle e => y) [] value
77 val ss = ss @ map ((fn tm => mk_var((fst o dest_var o cdr) tm,``:bool option``) |-> tm) o cdr) value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/ |
| H A D | x86_Lib.sml | 104 val ss = rewrites [x86_exec_def, XREAD_REG_def, XREAD_EFLAG_def, value
263 val ss = eval_term_ss "a" ``(bytes2word (xs:word8 list)):word32`` value
|
| H A D | prog_x86Lib.sml | 97 val ss = foldr (fn (x,y) => (fst (dest_eq x) |-> snd (dest_eq x)) :: y handle e => y) [] value
99 val ss = ss @ map ((fn tm => mk_var((fst o dest_var o cdr) tm,``:bool option``) |-> tm) o cdr) value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
| H A D | x64_Lib.sml | 106 val ss = rewrites [x64_exec_def, ZREAD_REG_def, ZREAD_EFLAG_def, value
252 val ss = eval_term_ss "a" ``(bytes2word (xs:word8 list)):word32`` value
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | armLib.sml | 165 val ss = Substring.slice (Substring.full s, 31 - h, SOME (h + 1 - l)) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
| H A D | ffi_sysv.c | 397 signed short **ss; member in union:__anon49
|
| H A D | ffi_linux64.c | 408 signed short **ss; member in union:__anon43
|
| /seL4-l4v-10.1.1/HOL4/help/src-sml/ |
| H A D | ParseDoc.sml | [all...] |
| /seL4-l4v-10.1.1/HOL4/src/TeX/ |
| H A D | mungeTools.sml | 129 val ss = full s value
161 val ss = full line value
162 val ss = dropl Char.isSpace (dropr Char.isSpace ss) value
169 val ss = dropl Char.isSpace ss value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
| H A D | file_readerLib.sml | 112 val ss = lines_from_file filename_sigs value
116 val ss = filter (not o is_blank) ss value
|