Searched refs:str (Results 201 - 225 of 332) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DIR.sml147 fun inspectVar str =
148 case H.peek (!symbolT) str of
152 tmpT := T.enter(!tmpT, i, str);
153 H.insert (!symbolT) (str, i);
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/
H A DpegML.sml122 val mk = map str o explode
/seL4-l4v-10.1.1/HOL4/src/n-bit/
H A DbitstringSyntax.sml141 String.translate (fn c => if Char.isSpace c then "" else String.str c)
/seL4-l4v-10.1.1/HOL4/src/proofman/tests/
H A Dselftest.sml109 val strings = map str (explode s)
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DSequence.sml12 (*Return next sequence element as NONE or SOME(x,str) *)
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DwinNT-systeml.sml116 fun munge s = String.translate (fn #"/" => "\\" | c => str c) s
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dconflict.py165 #print 'fs: %s' % str(fs)
166 #print 'cs_so_far: %s' % str(cs_so_far)
179 #print ' phy_rets: %s' % str(phy_rets)
191 #print 'context: %s' % str(context)
192 #print 's: %s' % str(s)
368 print 'bbcs: %s' % str(bbCallStrings)
373 #print 'final_callee_bb: %s'% str(final_callee_bb)
555 print 'ret: %s' % str(ret)
H A Delf_correlate.py351 #print 'adding: %s' % str(p_nf)
437 print 'tags: %s'% str(p.node_tags[p_n])
468 print 'g_n %s' % str(g_n)
H A Dreconstruct.py468 print 'max_bb_addr: %x' % id_to_bb_addr[str(max_id)]
470 print_context(id_to_context[str(max_id)])
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Dselftest.sml18 fun test str f x = let
23 TextIO.print ("\n" ^ str ^ " ... " ^ Time.toString elapsed ^ "s" ^
675 str r1,[r2,#4]
735 str r1,[r2],#8
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arm/
H A Dsysv.S262 str sp, [sp, #8]
433 str sp, [sp, #64]
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/
H A Dhtml.scala45 def output_string(str: String): Unit =
46 str.iterator.foreach(output_char)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/
H A Dhtml.scala45 def output_string(str: String): Unit =
46 str.iterator.foreach(output_char)
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dterm_pp.sml813 fun tm nmight_print str = let
828 NONE => Name = str
830 List.exists (mem str o term_grammar.rule_tokens G o #3) rrlist
833 fun tm might_print str =
835 COMB(Rator, Rand) => Rator might_print str orelse Rand might_print str
836 | LAMB(_,Body) => Body might_print str
837 | VAR(Name,Ty) => Name = str
838 | CONST x => tm nmight_print str
935 str
[all...]
/seL4-l4v-10.1.1/HOL4/src/lite/
H A DliteLib.sml206 val (str,rm) = strip r value
207 in (l::str,rm)
/seL4-l4v-10.1.1/HOL4/tools/mllex/
H A Dmllex.sml297 val removeTABs = String.translate (fn #"\t" => " " | c => str c)
539 String.toString (String.str ch)))
607 then get_state(prev,matched ^ String.str x)
616 getID(matched ^ String.str x)
619 in ID(getID(String.str ch))
629 then get_r(matched ^ String.str x,r1)
632 in REPS(get_r(String.str ch,~1))
676 String.toString (String.str c))))
/seL4-l4v-10.1.1/graph-refine/
H A Dproblem.py525 if type (n) == str:
536 elif type (details) != str:
537 details = '_'.join (map (str, details))
583 if type (c) != str]) for n in nodes])
H A Dstats.py204 return (seconds, str (datetime.timedelta (seconds = int (seconds))))
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dfile_readerLib.sml51 fun is_hex_string str = every is_hex_char (explode str)
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DPretty.sml291 val str = Substring.string a value
293 val fields = String.fields (fn #"\t" => true | _ => false) str
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A Dmakebase.sml190 handle exn as OS.SysErr (str, _) => (print(str ^ "\n\n"); raise exn)
/seL4-l4v-10.1.1/l4v/misc/git-commit-emails/
H A Dcommit-email.py56 assert isinstance(s, str)
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DfieldTools.sml270 val (str,brk) = (#add_string ppfns, #add_break ppfns); value
284 str s;
312 str ("<<" ^ int_to_string n ^ ">>");
316 if b then str "(" else ();
318 str (" " ^ s);
321 if b then str ")" else ();
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A DcodegenLib.sml121 fun replace_char c str =
122 String.translate (fn x => if x = c then str else implode [x]);
142 val str = implode (repeatc m #" ") value
146 val zs = map (fn (x,y) => (x, option_concat str y)) ys
396 val str = code2string code false value
397 in print ("\n" ^ str ^ "\n") end
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dexporter.cpp787 unsigned long ExportStringTable::makeEntry(const char *str) argument
789 unsigned len = (unsigned)strlen(str);
804 strcpy(strings + stringSize, str);

Completed in 171 milliseconds

1234567891011>>