/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | elfexport.cpp | 415 unsigned long ELFExport::makeStringTableEntry(const char *str, ExportStringTable *stab) argument 417 if (str == NULL || str[0] == 0) 420 return stab->makeEntry(str);
|
H A D | unix_specific.cpp | 724 PIOSTRUCT str = get_stream(args->Word()); local 726 if (str == NULL) raise_syscall(taskData, "Stream is closed", EBADF); 727 term = ttyname(str->device.ioDesc); 735 PIOSTRUCT str = get_stream(args->Word()); local 736 if (str != NULL && isatty(str->device.ioDesc)) 1051 PIOSTRUCT str = get_stream(args->Word()); local 1055 if (str == NULL) raise_syscall(taskData, "Stream is closed", EBADF); 1056 fd = dup(str->device.ioDesc); 1062 newstr->ioBits = str [all...] |
/seL4-l4v-10.1.1/HOL4/help/src-sml/ |
H A D | Doc2Txt.sml | 10 fun out(str,s) = TextIO.output(str, s)
|
H A D | ParseDoc.sml | 38 fun fetch str = Substring.string (fetch_contents str); 299 raise ParseError ("Illegal character "^str (sub(ssb,0))^ " in "^
|
/seL4-l4v-10.1.1/seL4/include/ |
H A D | util.h | 96 long PURE str_to_long(const char* str);
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/ |
H A D | IR.sml | 138 fun inspectVar str = 139 case H.peek (!symbolT) str of 143 tmpT := T.enter(!tmpT, i, str); 144 H.insert (!symbolT) (str, i);
|
H A D | Assem.sml | 143 fun toLowerCase str = 145 (Substring.substring (str, 0, String.size str))
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | MLstring.sml | 28 raise stringerror(i,"Unprintable char "^String.toString (str c))
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | ReadHMF.sml | 98 val (result, rest) = position (str dchar) (ss s') 99 val _ = size rest <> 0 orelse error b ("No matching "^str dchar) 112 | _ => error b ("Bad argument delimiter: "^str c) 261 String.toString (str c1) ^ "\"")
|
H A D | internal_functions.sml | 275 val s = String.translate (fn c => if c = #"\r" then "" else String.str c) s 285 val str = fix_nls (TextIO.inputAll ins) value 287 if OS.Process.isSuccess (reap proc) then str else ""
|
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/chronos/ |
H A D | emitter.py | 85 print "imm_fun.loaded_loop_counts: %s, bin_loops_by_fs[f].keys: %s, function: %s" % (imm_fun.loaded_loop_counts, str(imm_fun.loops_by_fs[f]), f ) 99 print "body: %s" % str(map(hex, body_addrs))
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
H A D | stack_introLib.sml | 27 val ((th,_,_),_) = f "e58d2010" (* str r2, [sp, #16] *)
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/arm6-verification/ |
H A D | armLib.sml | 22 ``mla_mul``, ``ldr``,``str``,``ldm``,``stm``,``br``,``swi_ex``,
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | Assem.sml | 143 fun toLowerCase str = 145 (Substring.substring (str, 0, String.size str))
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
H A D | Assem.sml | 143 fun toLowerCase str = 145 (Substring.substring (str, 0, String.size str))
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/ |
H A D | refine.sml | 59 val str = Arbnum.toBinString n value 61 pad str (ty_width - String.size str)
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/garbage-collectors/ |
H A D | arm_cheney_gcScript.sml | 56 E4835004 (* L2:str r5,[r3],#4 *) 57 E4836004 (* str r6,[r3],#4 *) 72 E4895004 (* str r5,[r9],#4 *) 84 E509501C (* str r5,[r9,#-28] *) 87 E5895004 (* str r5,[r9,#4] *) 110 E5893000 (* str r3,[r9] *)`; 119 E5093018 (* str r3,[r9,#-24] *) 120 E5094014 (* str r4,[r9,#-20] *) 121 E5095010 (* str r5,[r9,#-16] *) 122 E509600C (* str r [all...] |
/seL4-l4v-10.1.1/HOL4/src/n-bit/ |
H A D | wordsLib.sml | 2707 val {add_string=str, add_break=brk,...} = 2715 then str "(" 2717 >> (if neg then str "-" else nothing) 2718 >> str (f (Arbnum.toInt m, v) ^ "w") 2722 >> str ")" 2785 val {add_string = str, add_break = brk, ublock,...} = ppfns 2800 (delim 200 (str "(") 2801 >> str "(n2w " 2803 >> str ")" 2806 >> delim 200 (str ")")) [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | Font.sml | 505 fun TabbedTextOut(hdc, {x, y}: POINT, str, tabs, origin): SIZE = 512 tabbedTextOut(hdc, x, y, str, size str, nTabs, tabVec, origin) 528 fun GetTabbedTextExtent(hdc, str, tabs): SIZE = 535 tabbedTextExtent(hdc, str, size str, nTabs, tabVec)
|
H A D | Menu.sml | 310 val str = value 333 else (* String *) MFT_STRING str 444 val (f3, str, toFree) = getDisplay disp 447 docall(hMenu, pos, flags, id, str) 466 val (f3, str, toFree) = getDisplay disp 469 appendMenu (hMenu, flags, id, str)
|
H A D | CommonDialog.sml | 323 fun allocAndInitialise(space: int, str: string) = 326 val space = Int.max(space, size str) + 1 329 stringToBuf(buf, 0, str); 569 | TemplateResource(hInst, IdAsString str) => 571 val s = toCstring str 780 | TemplateResource(hInst, IdAsString str) => 782 val s = toCstring str 1008 fun copyString b str = 1010 stringToBuf(b, 0, str); 1011 b ++ Word.fromInt(size str 1088 val str = (Word.toInt sizePageSD, owner, devmode, devnames, flags, value [all...] |
/seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/ |
H A D | x64_codegenLib.sml | 103 fun replace_char c str = 104 String.translate (fn x => if x = c then str else implode [x]); 124 val str = implode (repeatc m #" ") value 128 val zs = map (fn (x,y) => (x, option_concat str y)) ys 295 val str = code2string code false value 296 in print ("\n" ^ str ^ "\n") end
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
H A D | kernel.c | 672 static char str[100]; local 673 sprintf(str, "BuDDy - release %d.%d", VERSION/10, VERSION%10); 674 return str;
|
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | TypeBase.sml | 24 List [Sym tag, String str, Thm th] => 26 case simpfrag.lookup_simpfrag_conv str of 29 ("No function "^str^" registered");
|
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/ |
H A D | MutRecDef.sml | 208 (fn tyname => fn str => str ^ "_" ^ tyname) 318 | get_var_info {arg_info = (being_defined str)::arg_info, 326 val rec_num_term = mk_hol_num (type_num str) 526 | (being_defined str) => 528 let val ty = mk_type{Tyop = str, Args = type_arg_vars} 569 fun get_type str = 570 (case find (fn entry => str = #type_name entry) ty_defs 990 | mk_case_aux {arg_info = (being_defined str)::arg_info, 1016 case find (fn entry => str [all...] |