Searched refs:compile (Results 1 - 25 of 115) sorted by relevance

12345

/seL4-l4v-10.1.1/seL4/tools/
H A Dcircular_includes.py35 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 Dbenchmark.py50 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 DFact32.ml10 ["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 DNotXor32.ml11 ["compileTheory","compile","metisLib","intLib", "wordsLib",
13 open compile metisLib wordsTheory;
15 devTheory composeTheory compileTheory compile vsynth dffTheory;
H A DXor32.ml8 ["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 Dconfigure.sml159 (* 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 Dmake_iss.sml2 (* 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 Disasymbols.py133 (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 Dpolyc.in37 compile() function
118 compile "$sourcefile" "$outputfile"
123 compile "$sourcefile" "$TMPOBJFILE" && link "$TMPOBJFILE" "$outputfile"
/seL4-l4v-10.1.1/isabelle/Admin/lib/scripts/
H A Dchurn_pie10 re_entry = re.compile(R'^(.*\S+)\s+(\d+)\s*\**\s*$')
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/scripts/
H A Dchurn_pie10 re_entry = re.compile(R'^(.*\S+)\s+(\d+)\s*\**\s*$')
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py652 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 DcompilerLib.sig20 val compile : string -> term -> thm * thm * thm value
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dmake_imported_acl2_theory.ml9 4. create and compile imported_acl2Theory.
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A Dcompiler.sml64 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 Dinst_logic.py29 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 Dobjdump.py46 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 DBuildCommand.sml53 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 Disabelle_tool.scala21 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 Disabelle_tool.scala21 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 DconstrFamiliesLib.sig105 (* 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 DFactScript.sml15 app load ["compile","vsynth"];
17 devTheory composeTheory compileTheory compile vsynth;
34 composeTheory compile vsynth;
H A DinlineCompile.sml17 (* 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 DFact.ml9 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 Dparser.py64 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(

Completed in 200 milliseconds

12345