| /seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/ |
| H A D | ARM_proverLib.sml | 78 let val (str , fst , snd) = value
82 val (str , tp_type, b) = value
364 val str = valOf (TextIO.inputLine TextIO.stdIn) value
[all...] |
| H A D | ARM_prover_extLib.sml | 112 let val (str , fst , snd) = value
116 val (str , tp_type, b) = value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw2/ |
| H A D | refine.sml | 59 val str = Arbnum.toBinString n value
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/ |
| H A D | vsynth.sml | 131 let val (str, [_,ty]) = dest_type(type_of tm) value
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | fieldTools.sml | 270 val (str,brk) = (#add_string ppfns, #add_break ppfns); value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/ |
| H A D | codegenLib.sml | 142 val str = implode (repeatc m #" ") value
396 val str = code2string code false value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
| H A D | derive_specsLib.sml | 679 val str = "Section `"^sec_name^"` consists of "^cl^" instructions." value
|
| H A D | func_decompileLib.sml | 123 val str = "Section " ^ sec_name ^ " (" ^ value
|
| H A D | graph_specsLib.sml | 51 val str = tm |> rator |> rand |> stringSyntax.fromHOLstring value
68 val str = tm |> rator |> rand |> stringSyntax.fromHOLstring value
416 val str = ("Graph spec failed in " ^ sec_name ^ " for pos " ^ value
440 val str = name ^ "_" ^ int_to_string i value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/just-in-time/ |
| H A D | export_codeLib.sml | 54 val str = if ty = ``:word8`` then "\t.byte\t" else value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/ |
| H A D | export_codeLib.sml | 54 val str = if ty = ``:word8`` then "\t.byte\t" else value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/ |
| H A D | x64_codegenLib.sml | 124 val str = implode (repeatc m #" ") value
295 val str = code2string code false value
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
| H A D | parser.h | 19 char *str; member in struct:token
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | kernel.c | 672 static char str[100]; local
|
| /seL4-l4v-10.1.1/HOL4/examples/real-to-float/ |
| H A D | daisyLib.sml | 7 val str = ``p_str "test" ^func`` value
16 val str = (case TextIO.inputLine(f) of SOME str => str) value
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/bin/ |
| H A D | wrapper.c | 27 void print_str (char* str, long i, long e, long wsp) { argument
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/extract/ |
| H A D | lisp_synthesisLib.sml | 45 val str = stringSyntax.fromHOLstring (rand tm) value
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | export_codeLib.sml | 59 val str = if ty = ``:word8`` then "\t.byte\t" else value
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/milawa-prover/ |
| H A D | milawa_initScript.sml | 288 val str = tm |> rator |> rator |> rator |> rator |> rator |> rand value
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Byte.sml | 48 val (str, offset, size) = Substring.base s value
|
| H A D | Date.sml | 434 val str = Int.toString i value
[all...] |
| H A D | Real.sml | 256 val str = "0." ^ String.implode(List.map toChar digits) ^"E" ^ value
282 val (str, exp, sign) = dtoa(r, 3, ndigs) value
318 val (str, exp, sign) = dtoa(r, 2, ndigs+1) value
342 val (str, exp, sign) = dtoa(r, 2, ndigs) value
397 val (str, exp, sign) = dtoa(r, 0, 0) value
[all...] |
| H A D | String.sml | 199 val str: char ->string = charAsString value
555 val str = LibrarySupport.allocString iW value
580 val str = LibrarySupport.allocString iW value
1703 val str: char -> string = String.str; value
[all...] |
| H A D | StringSignatures.sml | 80 val str : char -> string value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | basicio.cpp | 284 void close_stream(PIOSTRUCT str) argument
[all...] |