Searched refs:str (Results 26 - 50 of 332) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/ML/
H A Dml_syntax.scala42 def print_string_bytes(str: String): String =
43 quote(UTF8.bytes(str).iterator.map(print_byte(_)).mkString)
45 def print_string_symbols(str: String): String =
46 quote(Symbol.iterator(str).map(print_symbol(_)).mkString)
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/
H A Dtptp.lex45 val count_commentlines : string -> unit = fn str =>
47 val str' = String.explode str
48 val newlines = List.filter (fn x => x = #"\n") str'
/seL4-l4v-10.1.1/HOL4/polyml/samplecode/Foreign/
H A DForeignTest.c29 char *DupNString(int n, char *str) argument
31 int nSize = strlen(str);
35 for (i = 0; i < n; i++) strcat(res, str);
/seL4-l4v-10.1.1/l4v/spec/cspec/
H A Dmk_umm_types.py38 parser.add_argument('input', metavar='INPUT', type=str,
40 parser.add_argument('output', metavar='OUTPUT', type=str,
42 parser.add_argument('--root', metavar='ROOT', type=str,
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLexis.sml89 fun in_string str =
90 let val strlist = String.explode str
119 fun ok_identifier str =
120 let fun loop i = (Word8Array.sub(alphanumerics,ordof(str,i)) = bone)
123 ((Word8Array.sub(alphabet,ordof(str,0)) = bone) handle _ => false)
133 fun allowed_user_type_var str =
134 let fun loop i = (Word8Array.sub(tyvar_ids,ordof(str,i)) = bone)
137 ((ordof(str,0) = prime) handle _ => false)
139 ((Word8Array.sub(alphabet,ordof(str,1)) = bone) handle _ => false)
146 fun ok_symbolic str
[all...]
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/milawa-prover/
H A Dmilawa_coreScript.sml141 ``!str str1.
142 ((F,str1) = is_eof str) ==>
144 LENGTH xs < LENGTH str``,
145 STRIP_TAC \\ completeInduct_on `LENGTH str` \\ STRIP_TAC
147 \\ POP_ASSUM MP_TAC \\ Cases_on `str` THEN1 EVAL_TAC
174 ``((F,str1) = is_eof str) /\ ((s,str2) = sexp_parse_stream str1) ==>
175 LENGTH str2 < LENGTH str``,
188 read_sexps str =
189 let (yes,str) = is_eof str i
[all...]
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/mlyacclib/
H A DMLY_stream.sml30 datatype 'a str = EVAL of 'a * 'a str ref | UNEVAL of (unit->'a)
32 type 'a stream = 'a str ref
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/
H A Dtraps.S54 str r8, [sp, #(PT_FaultInstruction - PT_LR_svc)]
75 str lr, [sp, #(PT_FaultInstruction - PT_LR_svc)]
114 str r8, [sp, #(PT_FaultInstruction - PT_LR_svc)]
166 str r8, [sp, #(PT_FaultInstruction - PT_LR_svc)]
205 str r8, [sp]
206 str r8, [sp, #(PT_FaultInstruction - PT_LR_svc)]
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Ddecompile.py9 parser.add_argument('filename', metavar='filename', type=str,
14 parser.add_argument('--ignore', metavar='names', type=str, nargs='?',
33 def printn(str):
34 sys.stdout.write(str)
/seL4-l4v-10.1.1/seL4/include/
H A Dassert.h20 const char* str,
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DString.sml199 val str: char ->string = charAsString value
259 if chars = 0w1 then str H
555 val str = LibrarySupport.allocString iW value
559 else ( RunCall.storeByte(str, n+wordSize, c); setCh(n+0w1) )
563 mem_move(s, str, wordSize, extra + wordSize, len);
564 RunCall.clearMutableBit str;
565 str
580 val str = LibrarySupport.allocString iW value
584 else ( RunCall.storeByte(str, n+wordSize, c); setCh(n+0w1) )
587 mem_move(s, str, wordSiz
1703 val str: char -> string = String.str; value
[all...]
H A DDate.sml299 fun scan getc str =
302 fun getChars n str =
304 fun getN 0 s str = SOME (String.implode(List.rev s), str)
305 | getN n s str =
306 case getc str of
308 | SOME(ch, str') => getN (n-1) (ch :: s) str'
310 getN n [] str
316 fun parseDayOfWeek str
434 val str = Int.toString i value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/prog/
H A Darm_tests.sml4737 "e58db06c" (* str fp, [sp, #108] *) ::
4738 "e58db020" (* str fp, [sp, #32] *) ::
4739 "e58db034" (* str fp, [sp, #52] *) ::
4740 "e580c078" (* str ip, [r0, #120] *) ::
4741 "e580c00c" (* str ip, [r0, #12] *) ::
4742 "e5a0c004" (* str ip, [r0, #4]! *) ::
4743 "e580c000" (* str ip, [r0] *) ::
4744 "e581c00c" (* str ip, [r1, #12] *) ::
4745 "e5a1c004" (* str ip, [r1, #4]! *) ::
4746 "e781c100" (* str i
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/decompiler/
H A Darm8_decomp_demoScript.sml14 str x2, [x1, #8]!
/seL4-l4v-10.1.1/l4v/tools/autocorres/tools/stats/
H A Dsummary.py19 def fetch_match(str, r):
20 m = re.search(r, str)
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dbraces.py25 This behaves exactly like a str, except for split, map, and
102 def split(self, str=None, num=-2, braces=False):
103 """Split into multiple BracedStrings, using `str` as a delimiter, and
127 n_bits = bit.split(str)
129 n_bits = bit.split(str, d)
145 bits1 = s.split(str, num)
212 def clone(str, obj):
214 return BracedString(str.__str__(), obj.l, obj.r)
216 return str
219 str variable
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dbasicio.cpp284 void close_stream(PIOSTRUCT str) argument
286 if (!isOpen(str)) return;
287 if (isDirectory(str))
290 FindClose(str->device.directory.hFind);
292 closedir(str->device.ioDir);
296 else if (isSocket(str))
298 closesocket(str->device.sock);
300 else if (isConsole(str)) return;
302 else close(str->device.ioDesc);
303 str
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dpath.scala77 def explode(str: String): Path =
87 catch { case ERROR(msg) => cat_error(msg, "The error(s) above occurred in " + quote(str)) }
89 val ss = space_explode('/', str)
102 def is_wellformed(str: String): Boolean =
103 try { explode(str); true } catch { case ERROR(_) => false }
105 def is_valid(str: String): Boolean =
106 try { explode(str).expand; true } catch { case ERROR(_) => false }
108 def split(str: String): List[Path] =
109 space_explode(':', str).filterNot(_.isEmpty).map(explode)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dpath.scala77 def explode(str: String): Path =
87 catch { case ERROR(msg) => cat_error(msg, "The error(s) above occurred in " + quote(str)) }
89 val ss = space_explode('/', str)
102 def is_wellformed(str: String): Boolean =
103 try { explode(str); true } catch { case ERROR(_) => false }
105 def is_valid(str: String): Boolean =
106 try { explode(str).expand; true } catch { case ERROR(_) => false }
108 def split(str: String): List[Path] =
109 space_explode(':', str).filterNot(_.isEmpty).map(explode)
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dconvert_loop_bounds.py28 print 'working on %s' % str(map(hex,ret))
49 #print 'funs_with_phantom_preempt: %s' % str(funs_with_phantom_preempt)
53 print 'bin_heads: ' + str(bin_heads)
88 print 'functions with unbounded loop and not bounded by preemption: %s' % str(unex_unbounded_funcs)
97 parser.add_argument('--worker_ids', type=str, help="multiple worker IDs, e.g. 1,2,3", default= None)
/seL4-l4v-10.1.1/l4v/misc/autostop/
H A Dkillbig.c40 fatal(const char *str) argument
42 printf("%s\n", str);
/seL4-l4v-10.1.1/seL4/libsel4/tools/
H A Dinvocation_header_gen.py188 invocation_labels.append((str(method.getAttribute("id")), str(method.getAttribute("condition"))))
/seL4-l4v-10.1.1/seL4/manual/tools/libsel4_tools/
H A Dinvocation_header_gen.py188 invocation_labels.append((str(method.getAttribute("id")), str(method.getAttribute("condition"))))
/seL4-l4v-10.1.1/seL4/tools/
H A Dinvocation_header_gen.py188 invocation_labels.append((str(method.getAttribute("id")), str(method.getAttribute("condition"))))
/seL4-l4v-10.1.1/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) }

Completed in 250 milliseconds

1234567891011>>