/seL4-l4v-10.1.1/seL4/libsel4/tools/ |
H A D | bitfield_gen.py | 121 print('Token: %s' % str(t), file=sys.stderr) 2138 str([x for x in missed_fields]))
|
/seL4-l4v-10.1.1/seL4/manual/tools/libsel4_tools/ |
H A D | bitfield_gen.py | 121 print('Token: %s' % str(t), file=sys.stderr) 2138 str([x for x in missed_fields]))
|
/seL4-l4v-10.1.1/seL4/tools/ |
H A D | bitfield_gen.py | 121 print('Token: %s' % str(t), file=sys.stderr) 2138 str([x for x in missed_fields]))
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/ |
H A D | arm8.sml | 7203 else FAIL "syntax error: ldr, str, ..."; 7213 then FAIL "syntax error: ldr, str, ..." 7226 "unsigned offset required: ldr, str" 7230 "write-back not permitted: ldr, str, ..." 7307 else FAIL(err ^ ": ldr, str, ...")) 7309 | NONE => FAIL "syntax error: ldr, str, ...") 7310 | _ => FAIL "syntax error: ldr, str, ..."; 9523 [if memop = MemOp_LOAD then "ldr" else "str", 9554 [if memop = MemOp_LOAD then "ldr" else "str", 9585 [if memop = MemOp_LOAD then "ldr" else "str", [all...] |
/seL4-l4v-10.1.1/HOL4/src/emit/ |
H A D | basis_emitScript.sml | 137 \ toBaseStr q (^(str (d r), s))\n\ 757 :: MLSTRUCT "fun STRING c s = String.^(String.str c,s);"
|
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | ConseqConv.sml | 1206 val (str, weak) = !(cf ()) 1208 (Redblackmap.listItems str,
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | term_grammar.sml | 1713 let val (str, ty) = Term.dest_const tm ; value 1714 in fupdate_overload_info (Overload.add_overloading (str, tm)) tmG end ;
|
H A D | parse_term.sml | 1120 raise Temp ("Invalid suffix " ^ str c ^
|
/seL4-l4v-10.1.1/graph-refine/ |
H A D | check.py | 806 v += str ((n / 6) + 1)
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
H A D | TYPEIDCODE.sml | 929 fun eqStr (arg, str) = mkEqualWord(arg, mkConst(toMachineWord str))
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/ |
H A D | Import.sml | 780 (Char.succ c, Term.mk_var (String.str c, ty) :: l)) (#"a", [])
|
H A D | utilsLib.sml | 200 String.translate (fn c => if Char.isSpace c then "" else String.str c)
|
/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/ |
H A D | Logging.sml | 76 fun log_comment s = log_raw ("#"^(String.translate (fn #"\n" => "\n#" | c => String.str c) s))
|
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/ |
H A D | tttUnfold.sml | 185 "~ Subscript NONE ceil getOpt str substring use o explode foldr foldl ^ " ^
|
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/milawa-prover/ |
H A D | milawa_proofpScript.sml | 2829 str2func str = if str = "RANK" then mPrimitiveFun logic_RANK else 2830 if str = "NOT" then mPrimitiveFun logic_NOT else 2831 if str = "ORDP" then mPrimitiveFun logic_ORDP else 2832 if str = "ORD<" then mPrimitiveFun logic_ORD_LESS else mFun str`;
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/ |
H A D | decompilerLib.sml | 106 fun replace_char c str = 107 String.translate (fn x => if x = c then str else implode [x]);
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
H A D | GraphLangScript.sml | 2000 (ASM (SOME (\s. SKIP_TAG str)) [] 2002 !old. (old = str) ==>
|
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/ |
H A D | Regexp_Type.sml | 173 if Char.isGraph ch then String.str ch
|
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/ |
H A D | holfootParser.sml | 142 val h' = String.translate (fn #"#" => "" | c => String.str c) h
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | OS.sml | 696 fn ch => if isSeparator ch then "/" else String.str ch)
|
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/ |
H A D | definitions.tex | 1585 - val Match = Define `Match pat str = match pat str pat str`;
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/ |
H A D | fmapExample.sml | 158 val ONE_ONE_str = prove(``ONE_ONE str``, RW_TAC std_ss [ONE_ONE_THM]); 206 val ONE_ONE_str = prove(``ONE_ONE str``, RW_TAC std_ss [ONE_ONE_THM]); 256 val ONE_ONE_str = prove(``ONE_ONE str``, RW_TAC std_ss [ONE_ONE_THM]);
|
/seL4-l4v-10.1.1/HOL4/src/datatype/ |
H A D | ind_types.sml | 1278 val name = str (app_letter ty)
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Tptp.sml | 271 | _ => str c;
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Tptp.sml | 271 | _ => str c;
|