/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | IR.sml | 147 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 D | pegML.sml | 122 val mk = map str o explode
|
/seL4-l4v-10.1.1/HOL4/src/n-bit/ |
H A D | bitstringSyntax.sml | 141 String.translate (fn c => if Char.isSpace c then "" else String.str c)
|
/seL4-l4v-10.1.1/HOL4/src/proofman/tests/ |
H A D | selftest.sml | 109 val strings = map str (explode s)
|
/seL4-l4v-10.1.1/HOL4/src/simp/src/ |
H A D | Sequence.sml | 12 (*Return next sequence element as NONE or SOME(x,str) *)
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | winNT-systeml.sml | 116 fun munge s = String.translate (fn #"/" => "\\" | c => str c) s
|
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
H A D | conflict.py | 165 #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 D | elf_correlate.py | 351 #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 D | reconstruct.py | 468 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 D | selftest.sml | 18 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 D | sysv.S | 262 str sp, [sp, #8] 433 str sp, [sp, #64]
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/ |
H A D | html.scala | 45 def output_string(str: String): Unit = 46 str.iterator.foreach(output_char)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/ |
H A D | html.scala | 45 def output_string(str: String): Unit = 46 str.iterator.foreach(output_char)
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | term_pp.sml | 813 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 D | liteLib.sml | 206 val (str,rm) = strip r value 207 in (l::str,rm)
|
/seL4-l4v-10.1.1/HOL4/tools/mllex/ |
H A D | mllex.sml | 297 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 D | problem.py | 525 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 D | stats.py | 204 return (seconds, str (datetime.timedelta (seconds = int (seconds))))
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
H A D | file_readerLib.sml | 51 fun is_hex_string str = every is_hex_char (explode str)
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
H A D | Pretty.sml | 291 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 D | makebase.sml | 190 handle exn as OS.SysErr (str, _) => (print(str ^ "\n\n"); raise exn)
|
/seL4-l4v-10.1.1/l4v/misc/git-commit-emails/ |
H A D | commit-email.py | 56 assert isinstance(s, str)
|
/seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
H A D | fieldTools.sml | 270 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 D | codegenLib.sml | 121 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 D | exporter.cpp | 787 unsigned long ExportStringTable::makeEntry(const char *str) argument 789 unsigned len = (unsigned)strlen(str); 804 strcpy(strings + stringSize, str);
|