/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | scala_console.scala | 62 val str = UTF8.decode_permissive(s) 64 if (global_out == null) System.out.print(str) 65 else global_out.writeAttrs(null, str) 111 private def report_error(str: String) 113 if (global_console == null || global_err == null) isabelle.Output.writeln(str) 114 else GUI_Thread.later { global_err.print(global_console.getErrorColor, str) }
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/ |
H A D | traps.S | 165 str x20, [sp, #PT_FaultInstruction] 179 str x20, [sp, #PT_FaultInstruction] 186 str x20, [sp, #PT_FaultInstruction] 194 str x20, [sp, #PT_FaultInstruction] 208 str x20, [sp, #PT_FaultInstruction] 217 str x20, [sp, #PT_FaultInstruction]
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | SML90.sml | 82 fun chr i = str(Char.chr i) 83 fun explode s = map String.str (String.explode s) 92 fun input(str, i) = TextIO.inputN(str, i) handle IO.Io _ => raise Io "Cannot read" 97 | SOME ch => str ch 102 fun output(str, s) = TextIO.output(str, s) handle IO.Io _ => raise Io "Cannot output"
|
H A D | Real.sml | 256 val str = "0." ^ String.implode(List.map toChar digits) ^"E" ^ value 260 val result = realConv str handle RunCall.Conversion _ => raise General.Domain 282 val (str, exp, sign) = dtoa(r, 3, ndigs) value 283 val strLen = String.size str 295 else "0." ^ addZeros(~exp) ^ str ^ addZeros(ndigs-strLen+exp) 300 str ^ addZeros(exp-strLen) ^ 304 String.substring(str, 0, exp) ^ "." ^ 305 String.substring(str, exp, strLen-exp) ^ 318 val (str, exp, sign) = dtoa(r, 2, ndigs+1) value 319 val strLen = String.size str 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/src/parse/ |
H A D | Absyn.sml | 160 fun dest_binop str = 161 let fun err locn = ERRloc "dest_binop" locn ("Expected a "^Lib.quote str) 162 fun dest (APP(_,APP(_,IDENT (locn,s),M),N)) = if s=str then (M,N) else raise err locn 163 | dest (AQ (locn,x)) = binAQ (dest_binop_term str) x locn (err locn) 216 local fun err0 str locn = ERRloc "dest_binder" locn ("Expected a "^Lib.quote str) 224 fun dest_binder str = 225 let fun err locn = err0 str locn 226 fun dest (APP(_,IDENT (locn,s),M)) = if s=str then dest_lam M else raise err locn 227 | dest (AQ (locn,x)) = dest_term_binder str [all...] |
H A D | base_tokens.sml | 13 (case copt of SOME c => String.str c 45 String.translate (fn #"_" => "" | c => str c) s
|
/seL4-l4v-10.1.1/l4v/tools/autocorres/tools/stats/ |
H A D | stats.py | 106 "time" : str(datetime.datetime.now()), 114 type=str, help='Input C source file.') 120 parser.add_argument('-r', '--root', action='store', type=str, 125 default="/dev/stdout", type=str, help='Output file.') 235 output.write(" samples: " + (", ".join([str(x) for x in values])) + "\n")
|
/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 28 printf("%s",str); 30 if ((int)str[0] == 10) {
|
/seL4-l4v-10.1.1/seL4/manual/tools/ |
H A D | gen_invocations.py | 111 type=str, 113 parser.add_argument("files", metavar="FILES", nargs="+", type=str, 116 parser.add_argument("-d", "--dtd", nargs="?", type=str,
|
H A D | parse_doxygen_xml.py | 70 if isinstance(soup, str): 73 string = str(soup) 75 string = str(soup.string) 159 params[str(n.text)] = {"type": param_type} 160 param_order.append(str(n.text)) 221 name = str(member.find('name').string) 548 parser.add_argument("-i", "--input", dest="input", type=str, 550 parser.add_argument("-o", "--output", dest="output", type=str,
|
/seL4-l4v-10.1.1/HOL4/src/tfl/src/ |
H A D | wfrecUtils.sml | 106 fun pass str = 107 if Lib.mem str (!slist) 109 else (slist := str :: !slist; str)
|
/seL4-l4v-10.1.1/isabelle/src/Pure/ |
H A D | library.scala | 95 def space_explode(sep: Char, str: String): List[String] = 96 separated_chunks(_ == sep, str).map(_.toString).toList 105 def split_lines(str: String): List[String] = space_explode('\n', str) 107 def prefix_lines(prfx: String, str: String): String = 108 if (str == "") str 109 else cat_lines(split_lines(str).map(s => prfx + s))
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/ |
H A D | library.scala | 95 def space_explode(sep: Char, str: String): List[String] = 96 separated_chunks(_ == sep, str).map(_.toString).toList 105 def split_lines(str: String): List[String] = space_explode('\n', str) 107 def prefix_lines(prfx: String, str: String): String = 108 if (str == "") str 109 else cat_lines(split_lines(str).map(s => prfx + s))
|
/seL4-l4v-10.1.1/HOL4/src/opentheory/ |
H A D | OpenTheoryCommon.sml | 6 else if size s = 1 then "'"^(str(Char.toLower (sub(s,0)))) 11 if size s = 2 then str(Char.toUpper (sub(s,1)))
|
/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 46 in print ("\n\nDeep embedding in Lisp syntax:\n\n" ^ str ^ "\n\n") end
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/arm6-verification/correctness/ |
H A D | iclass_compScript.sml | 23 val classes = [`unexec`,`swp`,`mrs_msr`,`data_proc`,`reg_shift`,`ldr`,`str`, 69 [`swp`,`mrs_msr`,`data_proc`,`reg_shift`,`ldr`,`str`,
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | exporter.h | 77 unsigned long makeEntry(const char *str);
|
H A D | windows_specific.cpp | 1244 PolyWord str = args->WordP()->Get(3); local 1251 if (IS_INT(str)) 1253 byte b = (byte)UNTAGGED(str); 1259 PolyStringObject *ps = (PolyStringObject*)str.AsObjPtr(); 1327 PHANDLETAB str = &(handleTable[i]); local 1328 if (str->token != 0) 1330 if (str->entryType == HE_PROCESS) 1335 if (str->readToken.IsDataPtr()) 1337 PolyObject *token = str->readToken.AsObjPtr(); 1339 str [all...] |
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
H A D | exportLib.sml | 125 val pat = ``var_acc str`` 133 val pat = ``SKIP_TAG str`` 147 val dest_var_word32 = any_var_acc ``var_word32 str s`` 148 val dest_var_word8 = any_var_acc ``var_word8 str s`` 149 val dest_var_nat = any_var_acc ``var_nat str s`` 150 val dest_var_bool = any_var_acc ``var_bool str s`` 151 val dest_var_mem = any_var_acc ``var_mem str s`` 152 val dest_var_dom = any_var_acc ``var_dom str s`` 360 val foldback = (unbeta_conv ``var_bool str``) ORELSEC 361 (unbeta_conv ``var_word32 str``) ORELSE [all...] |
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/ |
H A D | simpleSexpParseScript.sml | 400 (print_nt sxnt_strcontents (SX_STR str) = 402 (SOME "") str) ��� 403 (print_nt sxnt_sexpsym (SX_SYM str) = 404 if ��NULL str ��� valid_first_symchar (HD str) ��� EVERY valid_symchar (TL str) 405 then SOME str 416 (print_nt sxnt_sexp0 (SX_STR str) = 418 (print_nt sxnt_strcontents (SX_STR str))) ��� 421 (print_nt sxnt_sexp0 (SX_SYM str) [all...] |
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ |
H A D | L3.sml | 17 fun prefix (c, s) = String.str c ^ s 85 fun memString (c, s) = String.isSubstring (String.str c) s 92 (fn d => let val x = String.str d in if P x r then "" else x end) s
|
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/ |
H A D | Help.sig | 36 /str cyclically search for string str in help file (case-insensitive) 37 n search for next occurrence of str
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/ |
H A D | codegen_armLib.sml | 81 | f (ASSIGN_STACK (i,ASSIGN_X_REG d)) = ["str? " ^ r d ^ ", " ^ s i] 82 | f (ASSIGN_STACK (i,ASSIGN_X_CONST j)) = assign_const_to_reg j temp @ ["str? " ^ r temp ^ ", " ^ s i] 83 | f (ASSIGN_MEMORY (ACCESS_WORD,a,ASSIGN_X_REG d)) = ["str? " ^ r d ^ ", " ^ address a] 84 | f (ASSIGN_MEMORY (ACCESS_WORD,a,ASSIGN_X_CONST i)) = assign_const_to_reg i temp @ ["str? " ^ r temp ^ ", " ^ address a]
|
/seL4-l4v-10.1.1/HOL4/src/TeX/ |
H A D | holindex.lex | 28 List.foldl (fn ((str, tok), t) => Binarymap.insert (t, str, tok))
|
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
H A D | graph_to_graph.py | 86 print 'bench returned: ' + str(bench_ret)
|