/seL4-l4v-master/HOL4/tools/ |
H A D | make_iss.sml | 15 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 D | unix-systeml.sml | 22 fun unix_trans c = if is_meta c then "\\" ^ str c else str c
|
/seL4-l4v-master/HOL4/help/src-sml/ |
H A D | Doc2Txt.sml | 10 fun out(str,s) = TextIO.output(str, s)
|
/seL4-l4v-master/graph-refine/graph-to-graph/ |
H A D | cplex.py | 164 print "the unbounded variable is : %s" % str(var_s)
|
/seL4-l4v-master/seL4/libsel4/tools/ |
H A D | syscall_header_gen.py | 156 name = str(syscall.getAttribute("name"))
|
/seL4-l4v-master/seL4/tools/ |
H A D | syscall_header_gen.py | 156 name = str(syscall.getAttribute("name"))
|
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/ |
H A D | syscall_header_gen.py | 156 name = str(syscall.getAttribute("name"))
|
/seL4-l4v-master/seL4/include/ |
H A D | util.h | 99 long PURE str_to_long(const char *str);
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | Overload.sml | 518 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 D | MLstring.sml | 28 raise stringerror(i,"Unprintable char "^String.toString (str c))
|
H A D | testutils.sml | 24 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 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-master/HOL4/examples/ARM/arm6-verification/ |
H A D | armLib.sml | 22 ``mla_mul``, ``ldr``,``str``,``ldm``,``stm``,``br``,``swi_ex``,
|
/seL4-l4v-master/HOL4/examples/machine-code/graph/ |
H A D | stack_introLib.sml | 29 val ((th,_,_),_) = f "e58d2010" (* str r2, [sp, #16] *)
|
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | HOLsexp.sml | 113 (fn #"|" => "\\|" | #"\n" => "\\n" | c => str c)
|
/seL4-l4v-master/graph-refine/graph-to-graph/chronos/ |
H A D | emitter.py | 91 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 D | Assem.sml | 143 fun toLowerCase str = 145 (Substring.substring (str, 0, String.size str))
|
/seL4-l4v-master/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-master/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-master/HOL4/examples/machine-code/garbage-collectors/ |
H A D | arm_cheney_gcScript.sml | 57 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 D | HM_DepGraph.sml | 278 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 D | reals.cpp | 109 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 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 | 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)
|