Searched refs:str (Results 51 - 75 of 332) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dscala_console.scala62 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 Dtraps.S165 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 DSML90.sml82 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 DReal.sml256 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 DAbsyn.sml160 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 Dbase_tokens.sml13 (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 Dstats.py106 "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 Dwrapper.c27 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 Dgen_invocations.py111 type=str,
113 parser.add_argument("files", metavar="FILES", nargs="+", type=str,
116 parser.add_argument("-d", "--dtd", nargs="?", type=str,
H A Dparse_doxygen_xml.py70 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 DwfrecUtils.sml106 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 Dlibrary.scala95 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 Dlibrary.scala95 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 DOpenTheoryCommon.sml6 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 Dlisp_synthesisLib.sml45 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 Diclass_compScript.sml23 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 Dexporter.h77 unsigned long makeEntry(const char *str);
H A Dwindows_specific.cpp1244 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 DexportLib.sml125 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 DsimpleSexpParseScript.sml400 (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 DL3.sml17 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 DHelp.sig36 /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 Dcodegen_armLib.sml81 | 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 Dholindex.lex28 List.foldl (fn ((str, tok), t) => Binarymap.insert (t, str, tok))
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dgraph_to_graph.py86 print 'bench returned: ' + str(bench_ret)

Completed in 102 milliseconds

1234567891011>>