/seL4-l4v-10.1.1/seL4/tools/ |
H A D | circular_includes.py | 35 ignore_re = re.compile(r'^# 1 ".*' + ignore_re_string + '"') 37 header_re = re.compile(r'^# (\d+) "(.*\..)"')
|
/seL4-l4v-10.1.1/l4v/misc/benchmark-isabelle/ |
H A D | benchmark.py | 50 re.compile('^result:: (.*)$', re.MULTILINE), 51 re.compile('^category:: (.*)$', re.MULTILINE), 52 re.compile('^\*\*\* (.*)$', re.MULTILINE),
|
/seL4-l4v-10.1.1/HOL4/examples/dev/Fact32/ |
H A D | Fact32.ml | 10 ["compileTheory","compile","metisLib", "wordsLib", "dffTheory","vsynth"]; 11 open compile metisLib wordsTheory wordsLib; 13 devTheory composeTheory compileTheory compile vsynth dffTheory; 56 compile.cirDefine 67 compile.cirDefine 75 compile.cirDefine 86 compile.cirDefine
|
H A D | NotXor32.ml | 11 ["compileTheory","compile","metisLib","intLib", "wordsLib", 13 open compile metisLib wordsTheory; 15 devTheory composeTheory compileTheory compile vsynth dffTheory;
|
H A D | Xor32.ml | 8 ["compileTheory","compile","metisLib","intLib","wordsLib", 10 open compile metisLib wordsTheory; 12 devTheory composeTheory compileTheory compile vsynth dffTheory;
|
/seL4-l4v-10.1.1/HOL4/tools/ |
H A D | configure.sml | 159 (* default values ensure that later things fail if Systeml doesn't compile *) 198 (* can now compile basis2002, if necessary *) 224 else die "Couldn't compile basis2002.sml") 233 Now compile Systeml.sml in tools/Holmake/ 258 fun die () = (print ")\nFailed to compile system-specific code\n"; 334 fun compile opts s = function 360 compile [] "QuoteFilter.sml"; 361 compile [] "QFRead.sig"; 362 compile [] "QFRead.sml"; 363 compile [] "FunctionalRecordUpdat [all...] |
H A D | make_iss.sml | 2 (* to compile this structure, cd to the tools directory, and 49 \; use the compile option (probably Control-F9) to compile this file\n\
|
/seL4-l4v-10.1.1/l4v/misc/pysymbols/isasymbols/ |
H A D | isasymbols.py | 133 (re.compile(r'\\<\^sub>(.)'), r'\\textsubscript{\1}'), 134 (re.compile(r'\\<\^sup>(.)'), r'\\textsuperscript{\1}'), 135 (re.compile(r'\\<\^bold>(.)'), r'\\textbf{\1}'), 136 (re.compile(r'\\<\^bsub>'), r'\\textsubscript{'), 137 (re.compile(r'\\<\^bsup>'), r'\\textsuperscript{'), 138 (re.compile(r'\\<\^esu\(b|p\)>'), '}'),
|
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | polyc.in | 37 compile() function 118 compile "$sourcefile" "$outputfile" 123 compile "$sourcefile" "$TMPOBJFILE" && link "$TMPOBJFILE" "$outputfile"
|
/seL4-l4v-10.1.1/isabelle/Admin/lib/scripts/ |
H A D | churn_pie | 10 re_entry = re.compile(R'^(.*\S+)\s+(\d+)\s*\**\s*$')
|
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/scripts/ |
H A D | churn_pie | 10 re_entry = re.compile(R'^(.*\S+)\s+(\d+)\s*\**\s*$')
|
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/ |
H A D | lhs_pars.py | 652 r = re.compile(r"[,\s\(\)]+") 1489 dollar_lambda_regex = re.compile(r"\$\s*\\<lambda>") 1633 varname_re = re.compile(r"\w+") 2123 (re.compile(r" \. "), r" \<circ> "), 2124 (re.compile('-1'), '- 1'), 2125 (re.compile('-2'), '- 2'), 2126 (re.compile(r"\(!(\w+)\)"), r"(flip id \1)"), 2127 (re.compile(r"\(\+(\w+)\)"), r"(\<lambda> x. x + \1)"), 2128 (re.compile(r"\\([^<].*?)\s*->"), r"\<lambda> \1."), 2129 (re.compile('}'), [all...] |
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/ |
H A D | compilerLib.sig | 20 val compile : string -> term -> thm * thm * thm value
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
H A D | make_imported_acl2_theory.ml | 9 4. create and compile imported_acl2Theory.
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/ |
H A D | compiler.sml | 64 let fun compile (env,[]) = PASS(rev env) function 65 | compile (env,h::t) = 70 of SOME def1 => (print "succeeded.\n"; compile(def1::env,t)) 74 compile 154 let fun compile (env,[]) = PASS(rev env) function 155 | compile (env,h::t) = 160 of SOME def1 => (print "succeeded.\n"; compile(def1::env,t)) 164 compile
|
/seL4-l4v-10.1.1/graph-refine/ |
H A D | inst_logic.py | 29 inst_split_re = re.compile('[_,]*') 30 crn_re = re.compile('cr[0123456789][0123456789]*') 31 pn_re = re.compile('p[0123456789][0123456789]*') 113 inst_addr_re = re.compile('E[0123456789][0123456789]*')
|
H A D | objdump.py | 46 is_rodata_line = re.compile('^\s*[0-9a-fA-F]+:\s+[0-9a-fA-F]+\s+') 110 non_var_re = re.compile('[(),\s\[\]]+')
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/mosml/ |
H A D | BuildCommand.sml | 53 fun compile debug args = let function 70 (print ("Wanted to compile "^file^", but it wasn't there\n"); 93 compile debug ("-q"::(include_flags @ ["-c"] @ 101 print("Unable to compile: "^file^ 106 compile debug ("-q"::(include_flags@ ("-c"::(overlay_stringl @ 140 isSuccess (compile debug
|
/seL4-l4v-10.1.1/isabelle/src/Pure/System/ |
H A D | isabelle_tool.scala | 21 private def compile(path: Path): Body = 36 tool_box.compile(universe.Ident(symbol))() match { 87 compile(dir + Path.explode(name + ".scala"))
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/ |
H A D | isabelle_tool.scala | 21 private def compile(path: Path): Body = 36 tool_box.compile(universe.Ident(symbol))() match { 87 compile(dir + Path.explode(name + ".scala"))
|
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/ |
H A D | constrFamiliesLib.sig | 105 (* A compile database combines constructor families, 137 (* A database represents essentially a compile fun. 139 turn it into a compile fun. *) 143 use a hand-written compile-fun, [NONE] is returned. Similarly, 158 (* add a compile fun to a db *)
|
/seL4-l4v-10.1.1/HOL4/examples/dev/ |
H A D | FactScript.sml | 15 app load ["compile","vsynth"]; 17 devTheory composeTheory compileTheory compile vsynth; 34 composeTheory compile vsynth;
|
H A D | inlineCompile.sml | 17 (* compile are created. *) 30 map load ["compile"]; 31 open compile; 38 open HolKernel (* Parse boolLib bossLib compileTheory compile;*) 45 open compile; 140 raise ERR "CompileExp2" "attempt to compile non-function")
|
H A D | Fact.ml | 9 app load ["compile","vsynth","dffTheory"]; 11 devTheory composeTheory compileTheory compile vsynth dffTheory;
|
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/chronos/ |
H A D | parser.py | 64 valid_instruction_re = re.compile( 98 ldrstr_args_re = re.compile( 137 onereg_and_operand2_re = re.compile( 142 tworegs_and_operand2_re = re.compile(
|