Searched refs:str (Results 301 - 325 of 332) sorted by relevance

<<11121314

/seL4-l4v-10.1.1/seL4/libsel4/tools/
H A Dbitfield_gen.py121 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 Dbitfield_gen.py121 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 Dbitfield_gen.py121 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 Darm8.sml7203 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 Dbasis_emitScript.sml137 \ 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 DConseqConv.sml1206 val (str, weak) = !(cf ())
1208 (Redblackmap.listItems str,
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dterm_grammar.sml1713 let val (str, ty) = Term.dest_const tm ; value
1714 in fupdate_overload_info (Overload.add_overloading (str, tm)) tmG end ;
H A Dparse_term.sml1120 raise Temp ("Invalid suffix " ^ str c ^
/seL4-l4v-10.1.1/graph-refine/
H A Dcheck.py806 v += str ((n / 6) + 1)
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DTYPEIDCODE.sml929 fun eqStr (arg, str) = mkEqualWord(arg, mkConst(toMachineWord str))
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DImport.sml780 (Char.succ c, Term.mk_var (String.str c, ty) :: l)) (#"a", [])
H A DutilsLib.sml200 String.translate (fn c => if Char.isSpace c then "" else String.str c)
/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/
H A DLogging.sml76 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 DtttUnfold.sml185 "~ Subscript NONE ceil getOpt str substring use o explode foldr foldl ^ " ^
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/milawa-prover/
H A Dmilawa_proofpScript.sml2829 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 DdecompilerLib.sml106 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 DGraphLangScript.sml2000 (ASM (SOME (\s. SKIP_TAG str)) []
2002 !old. (old = str) ==>
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DRegexp_Type.sml173 if Char.isGraph ch then String.str ch
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/
H A DholfootParser.sml142 val h' = String.translate (fn #"#" => "" | c => String.str c) h
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DOS.sml696 fn ch => if isSeparator ch then "/" else String.str ch)
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A Ddefinitions.tex1585 - val Match = Define `Match pat str = match pat str pat str`;
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/
H A DfmapExample.sml158 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 Dind_types.sml1278 val name = str (app_letter ty)
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DTptp.sml271 | _ => str c;
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DTptp.sml271 | _ => str c;

Completed in 593 milliseconds

<<11121314