/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/ML/ |
H A D | ml_syntax.scala | 42 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 D | tptp.lex | 45 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 D | ForeignTest.c | 29 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 D | mk_umm_types.py | 38 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 D | Lexis.sml | 89 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 D | milawa_coreScript.sml | 141 ``!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 D | MLY_stream.sml | 30 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 D | traps.S | 54 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 D | decompile.py | 9 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 D | assert.h | 20 const char* str,
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | String.sml | 199 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 D | Date.sml | 299 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 D | arm_tests.sml | 4737 "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 D | arm8_decomp_demoScript.sml | 14 str x2, [x1, #8]!
|
/seL4-l4v-10.1.1/l4v/tools/autocorres/tools/stats/ |
H A D | summary.py | 19 def fetch_match(str, r): 20 m = re.search(r, str)
|
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/ |
H A D | braces.py | 25 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 D | basicio.cpp | 284 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 D | path.scala | 77 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 D | path.scala | 77 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 D | convert_loop_bounds.py | 28 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 D | killbig.c | 40 fatal(const char *str) argument 42 printf("%s\n", str);
|
/seL4-l4v-10.1.1/seL4/libsel4/tools/ |
H A D | invocation_header_gen.py | 188 invocation_labels.append((str(method.getAttribute("id")), str(method.getAttribute("condition"))))
|
/seL4-l4v-10.1.1/seL4/manual/tools/libsel4_tools/ |
H A D | invocation_header_gen.py | 188 invocation_labels.append((str(method.getAttribute("id")), str(method.getAttribute("condition"))))
|
/seL4-l4v-10.1.1/seL4/tools/ |
H A D | invocation_header_gen.py | 188 invocation_labels.append((str(method.getAttribute("id")), str(method.getAttribute("condition"))))
|
/seL4-l4v-10.1.1/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) }
|