/seL4-l4v-10.1.1/graph-refine/ |
H A D | rep_graph.py | 61 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 D | lisp_parseScript.sml | 849 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 D | lisp_opsScript.sml | 1266 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 D | ltmain.sh | 5662 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 D | ltmain.sh | 5662 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 D | armScript.sml | 65 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 D | selftest.sml | 280 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 D | term_tokens.sml | 215 grab (constid_categorise (str c0)) 216 [str c0]
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Term.sml | 595 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 D | Term.sml | 595 fun isNeg c = str c = !negation 603 some isNeg >> str || 614 some isPunct >> str
|
/seL4-l4v-10.1.1/HOL4/src/integer/ |
H A D | CooperSyntax.sml | 291 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 D | BuildCommand.sml | 438 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 D | MB_Monitor.sml | 46 fun statusString (MRunning c) = StringCvt.padLeft #" " 3 (str c)
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/ |
H A D | hol_defaxiomsScript.sml | 333 (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 D | hol_defaxiomsScript.sml | 332 (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 D | hol_defaxiomsScript.sml | 328 (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 D | CommonControls.sml | 214 | ToolbarResource(hi, IdAsString str) => let val s = toCstring str in (hi, s, s) end
|
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | Pmatch.sml | 49 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 D | HM_Core_Cline.sml | 224 str (String.sub(#short d, 0))
|
/seL4-l4v-10.1.1/HOL4/tools/unicode-grep/ |
H A D | ugrep.sml | 101 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 D | x64AssemblerLib.sml | 125 String.translate (fn c => if Char.isSpace c then "" else String.str c)
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/ |
H A D | example_axiomsScript.ml | 312 intern-in-package-of-symbol (str nx) (sym px ny)
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | StringSignatures.sml | 80 val str : char -> string value
|
H A D | TopLevelPolyML.sml | 173 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 D | lex.py | 54 StringTypes = (str, bytes) 82 return str(self)
|