| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | run_time.cpp | 240 void raiseExceptionStringWithLocation(TaskData *taskData, int id, const char *str, const char *file, int line) argument
274 void raiseExceptionFailWithLocation(TaskData *taskData, const char *str, const char *file, int line) argument
|
| H A D | elfexport.cpp | 415 unsigned long ELFExport::makeStringTableEntry(const char *str, ExportStringTable *stab) argument
|
| H A D | exporter.cpp | 787 unsigned long ExportStringTable::makeEntry(const char *str) argument
|
| H A D | unix_specific.cpp | 724 PIOSTRUCT str = get_stream(args->Word()); local
735 PIOSTRUCT str = get_stream(args->Word()); local
1051 PIOSTRUCT str = get_stream(args->Word()); local
[all...] |
| H A D | windows_specific.cpp | 1244 PolyWord str = args->WordP()->Get(3); local
1327 PHANDLETAB str = &(handleTable[i]); local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
| H A D | BackendIntermediateCode.sml | 401 val str : string = value
409 val str : string = value
417 val str : string = value
425 val str : string = value
433 val str = "INDIRECT(" ^ Int.toString offset ^ ", "; value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
| H A D | Pretty.sml | 291 val str = Substring.string a value
|
| /seL4-l4v-10.1.1/l4v/misc/autostop/ |
| H A D | stop.c | 71 fatal(const char *str) argument
|
| /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/tools/Holmake/ |
| H A D | internal_functions.sml | 285 val str = fix_nls (TextIO.inputAll ins) value
|
| H A D | Holmake.sml | 879 fun str (n,ni) = function
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Date.sml | 434 val str = Int.toString i value
[all...] |
| H A D | StringSignatures.sml | 80 val str : char -> string value
|
| 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...] |
| /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/polyml/mlsource/extra/Win/ |
| H A D | Menu.sml | 310 val str = value
|
| /seL4-l4v-10.1.1/HOL4/src/lite/ |
| H A D | liteLib.sml | 206 val (str,rm) = strip r value
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/ |
| H A D | BuildCommand.sml | 438 fun str (n,nI) = node_toString n ^ ": " ^ nodeInfo_toString pr nI function
|
| /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/ARM_security_properties/ |
| H A D | ARM_prover_extLib.sml | 112 let val (str , fst , snd) = value
116 val (str , tp_type, b) = value
[all...] |
| 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...] |
| /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 | 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/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/elliptic/ |
| H A D | fieldTools.sml | 270 val (str,brk) = (#add_string ppfns, #add_break ppfns); value
|