Searched refs:str (Results 226 - 250 of 332) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/graph-refine/
H A Drep_graph.py61 return str (self.n)
65 return '_'.join (map (str, self.opts))
628 assert type (n_vc[0]) != str
873 name = str (n)
874 bits = [str (n)] + ['%s=%s' % (split, count)
/seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/
H A Dlisp_parseScript.sml849 arm_token w str b x =
850 if str = "(" then (w = 4w) else
851 if str = ")" then (w = 8w) else
852 if str = "." then (w = 12w) else
853 if str = "'" then (w = 16w) else
854 if EVERY number_char (EXPLODE str)
855 then (w = ADDR32 (n2w (str2num str)) + 2w)
856 else (b + w - 3w, str) IN x /\ ALIGNED (w - 3w)`;
860 (arm_tokens a (str::xs) b x y =
862 cond (arm_token w1 str
[all...]
H A Dlisp_opsScript.sml1266 fun ARM_LISP_EQ_SYMBOL (i,name,rw) (j,str) = let
1279 val post_tm = ``aLISP (x1,x2,x3,x4,x5,x6,limit) * aPC (p + 0x4w) * ~(aS1 psrN) * aS1 psrZ (x = Sym str) * ~(aS1 psrC) * ~(aS1 psrV)``
1281 val post_tm = subst [``str:string`` |-> (stringSyntax.fromMLstring str)] post_tm
1288 fun X86_LISP_EQ_SYMBOL (i,name,rw) (j,str) = let
1303 val post_tm = ``xLISP (x1,x2,x3,x4,x5,x6,limit) * xPC eip * xS1 X_ZF (SOME (x = Sym str)) * ~xS1 X_PF * ~xS1 X_SF * ~xS1 X_AF * ~xS1 X_OF * ~xS1 X_CF``
1305 val post_tm = subst [``str:string`` |-> (stringSyntax.fromMLstring str)] post_tm
1314 fun PPC_LISP_EQ_SYMBOL (i,name,rw) (j,str) = let
1328 val post_tm = ``pLISP (x1,x2,x3,x4,x5,x6,limit) * pPC (p+4w) * pS1 (PPC_CR0 2w) (SOME (x = Sym str)) * ~(pS
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dltmain.sh5662 char *strendzap (char *str, const char *pat);
6166 strendzap (char *str, const char *pat)
6170 assert (str != NULL);
6173 len = strlen (str);
6178 str += len - patlen;
6179 if (STREQ (str, pat))
6180 *str = '\0';
6182 return str;
6241 char *str = xstrdup (value);
6242 setenv (name, str,
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dltmain.sh5662 char *strendzap (char *str, const char *pat);
6166 strendzap (char *str, const char *pat)
6170 assert (str != NULL);
6173 len = strlen (str);
6178 str += len - patlen;
6179 if (STREQ (str, pat))
6180 *str = '\0';
6182 return str;
6241 char *str = xstrdup (value);
6242 setenv (name, str,
[all...]
/seL4-l4v-10.1.1/HOL4/examples/ARM/arm6-verification/
H A DarmScript.sml65 ldr | str | ldm | stm | br | swi_ex | cdp_und |
448 (* The Single Data Transfer instruction class (ldr, str) *)
679 if ireg %% 20 then ldr else str
715 else if (ic = ldr) \/ (ic = str) then
807 if (ic = ldr) \/ (ic = str) then
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dselftest.sml280 val _ = parsetest (map str (explode "ab"))
281 val _ = parsetest (map str (explode "abcdef"))
416 mk_list00 elty n c (map (fn c => mk_var(str c, elty)) (String.explode s))
H A Dterm_tokens.sml215 grab (constid_categorise (str c0))
216 [str c0]
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DTerm.sml595 fun isNeg c = str c = !negation
603 some isNeg >> str ||
614 some isPunct >> str
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DTerm.sml595 fun isNeg c = str c = !negation
603 some isNeg >> str ||
614 some isPunct >> str
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DCooperSyntax.sml291 fun count_occurrences str tm = let
294 (f, []) => ((if #1 (dest_var f) = str then 1 + acc else acc)
/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A DBuildCommand.sml438 fun str (n,nI) = node_toString n ^ ": " ^ nodeInfo_toString pr nI function
444 diag (fn _ => "Failed nodes: \n"^String.concatWith "\n" (map str ns));
H A DMB_Monitor.sml46 fun statusString (MRunning c) = StringCvt.padLeft #" " 3 (str c)
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A Dhol_defaxiomsScript.sml333 (eqlable_listp (str st) = nil)
385 (acl2_make_character_list (str st) = nil)
666 |- immediate_force_modep = str "See :DOC immediate-force-modep.",
880 (character_listp (str st) = nil)
1569 andl [symbolp x; equal (symbol_package_name x) (str KEYWORD)],
1618 ite (endp x) (str "")
1720 (str "Unexpected event-type for xd-name, %x0")
1980 (str
1986 (str
2545 str
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dhol_defaxiomsScript.sml332 (eqlable_listp (str st) = nil)
384 (acl2_make_character_list (str st) = nil)
665 |- immediate_force_modep = str "See :DOC immediate-force-modep.",
879 (character_listp (str st) = nil)
1568 andl [symbolp x; equal (symbol_package_name x) (str KEYWORD)],
1617 ite (endp x) (str "")
1719 (str "Unexpected event-type for xd-name, %x0")
1969 (str
1975 (str
2507 str
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dhol_defaxiomsScript.sml328 (eqlable_listp (str st) = nil)
380 (acl2_make_character_list (str st) = nil)
661 |- immediate_force_modep = str "See :DOC immediate-force-modep.",
875 (character_listp (str st) = nil)
1564 andl [symbolp x; equal (symbol_package_name x) (str KEYWORD)],
1613 ite (endp x) (str "")
1715 (str "Unexpected event-type for xd-name, %x0")
1965 (str
1971 (str
2503 str
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DCommonControls.sml214 | ToolbarResource(hi, IdAsString str) => let val s = toCstring str in (hi, s, s) end
/seL4-l4v-10.1.1/HOL4/src/1/
H A DPmatch.sml49 fun pass str =
50 if Lib.mem str (!slist)
52 else (slist := str :: !slist; str)
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHM_Core_Cline.sml224 str (String.sub(#short d, 0))
/seL4-l4v-10.1.1/HOL4/tools/unicode-grep/
H A Dugrep.sml101 String.translate (fn c => if c = #"\t" then boldred "\\t" else str c)
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/model/
H A Dx64AssemblerLib.sml125 String.translate (fn c => if Char.isSpace c then "" else String.str c)
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/
H A Dexample_axiomsScript.ml312 intern-in-package-of-symbol (str nx) (sym px ny)
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DStringSignatures.sml80 val str : char -> string value
H A DTopLevelPolyML.sml173 then readToEscape(soFar ^ str #"\u001b", terminator)
174 else protocolError(str ch ^ " not " ^ str terminator)
176 | SOME ch => readToEscape(soFar ^ str ch, terminator)
189 | SOME ch => protocolError(str ch ^ " not ESCAPE at start of packet")
325 fun printEsc ch = print (String.concat["\u001b", String.str ch])
339 fun printEsc ch = print (String.concat["\u001b", String.str ch])
/seL4-l4v-10.1.1/seL4/tools/
H A Dlex.py54 StringTypes = (str, bytes)
82 return str(self)

Completed in 380 milliseconds

1234567891011>>