Searched refs:str (Results 151 - 175 of 345) sorted by relevance

1234567891011>>

/seL4-l4v-master/HOL4/tools/
H A Dmake_iss.sml15 String.translate (fn #" " => "-" | c => str (Char.toLower c)) sysname
115 fun trans #"/" = "\\" | trans x = str x
/seL4-l4v-master/HOL4/tools-poly/Holmake/
H A Dunix-systeml.sml22 fun unix_trans c = if is_meta c then "\\" ^ str c else str c
/seL4-l4v-master/HOL4/help/src-sml/
H A DDoc2Txt.sml10 fun out(str,s) = TextIO.output(str, s)
/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dcplex.py164 print "the unbounded variable is : %s" % str(var_s)
/seL4-l4v-master/seL4/libsel4/tools/
H A Dsyscall_header_gen.py156 name = str(syscall.getAttribute("name"))
/seL4-l4v-master/seL4/tools/
H A Dsyscall_header_gen.py156 name = str(syscall.getAttribute("name"))
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/
H A Dsyscall_header_gen.py156 name = str(syscall.getAttribute("name"))
/seL4-l4v-master/seL4/include/
H A Dutil.h99 long PURE str_to_long(const char *str);
/seL4-l4v-master/HOL4/src/parse/
H A DOverload.sml518 fun remove_omapping t str opdict = let
519 val (dictlessk, kitem) = Binarymap.remove(opdict, str)
524 else Binarymap.insert(dictlessk, str, new_rec)
527 fun gen_remove_mapping str t ((opc, cop) : overload_info) = let
530 val ds' = PMDataSet.filter (fn (_, s, _) => s <> str) ds
542 (remove_omapping t str opc, cop')
544 fun remove_mapping str crec = gen_remove_mapping str (prim_mk_const crec)
H A DMLstring.sml28 raise stringerror(i,"Unprintable char "^String.toString (str c))
H A Dtestutils.sml24 val rmNLs = String.translate (fn #"\n" => " " | c => str c)
125 fun pretty s = s |> String.translate (fn #"\n" => "\\n" | c => str c)
139 (fn #" " => UTF8.chr 0x2423 | #"\n" => "\n " | c => str c) s
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/
H A DIR.sml138 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 DAssem.sml143 fun toLowerCase str =
145 (Substring.substring (str, 0, String.size str))
/seL4-l4v-master/HOL4/examples/ARM/arm6-verification/
H A DarmLib.sml22 ``mla_mul``, ``ldr``,``str``,``ldm``,``stm``,``br``,``swi_ex``,
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Dstack_introLib.sml29 val ((th,_,_),_) = f "e58d2010" (* str r2, [sp, #16] *)
/seL4-l4v-master/HOL4/src/portableML/
H A DHOLsexp.sml113 (fn #"|" => "\\|" | #"\n" => "\\n" | c => str c)
/seL4-l4v-master/graph-refine/graph-to-graph/chronos/
H A Demitter.py91 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 )
105 print "body: %s" % str(map(hex, body_addrs))
/seL4-l4v-master/HOL4/examples/dev/sw/
H A DAssem.sml143 fun toLowerCase str =
145 (Substring.substring (str, 0, String.size str))
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/
H A DAssem.sml143 fun toLowerCase str =
145 (Substring.substring (str, 0, String.size str))
/seL4-l4v-master/HOL4/examples/dev/sw2/
H A Drefine.sml59 val str = Arbnum.toBinString n value
61 pad str (ty_width - String.size str)
/seL4-l4v-master/HOL4/examples/machine-code/garbage-collectors/
H A Darm_cheney_gcScript.sml57 E4835004 (* L2:str r5,[r3],#4 *)
58 E4836004 (* str r6,[r3],#4 *)
73 E4895004 (* str r5,[r9],#4 *)
85 E509501C (* str r5,[r9,#-28] *)
88 E5895004 (* str r5,[r9,#4] *)
111 E5893000 (* str r3,[r9] *)`;
120 E5093018 (* str r3,[r9,#-24] *)
121 E5094014 (* str r4,[r9,#-20] *)
122 E5095010 (* str r5,[r9,#-16] *)
123 E509600C (* str r
[all...]
/seL4-l4v-master/HOL4/tools/Holmake/
H A DHM_DepGraph.sml278 fun str (n,nI) = node_toString n ^ ": " ^ nodeInfo_toString nI function
283 diagK ("Failed nodes: \n" ^ concatWithf str "\n" fs);
284 diagK ("True pending: \n" ^ concatWithf str "\n" ps);
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dreals.cpp109 POLYEXTERNALSYMBOL POLYUNSIGNED PolyRealBoxedFromString(FirstArgument threadId, PolyWord str);
164 static Handle Real_convc(TaskData *mdTaskData, Handle str);
632 Handle Real_convc(TaskData *mdTaskData, Handle str) /* string to real */ argument
637 TempCString string_buffer(Poly_string_to_C_alloc(str->Word()));
659 POLYUNSIGNED PolyRealBoxedFromString(FirstArgument threadId, PolyWord str) argument
665 Handle pushedString = taskData->saveVec.push(str);
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DMenu.sml310 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 DFont.sml505 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)

Completed in 162 milliseconds

1234567891011>>