Searched refs:suffix (Results 1 - 25 of 64) sorted by relevance

123

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dgenerate-ios-source-and-headers.py50 suffix = "\n\n#endif" variable in class:simulator_platform
60 suffix = "\n\n#endif" variable in class:device_platform
63 def move_file(src_dir, dst_dir, filename, file_suffix=None, prefix='', suffix=''):
80 if suffix:
81 out_file.write(suffix)
85 def move_source_tree(src_dir, dest_dir, dest_include_dir, arch=None, prefix=None, suffix=None):
89 def move_dir(arch, prefix='', suffix='', files=[]):
97 move_file(root, dest_include_dir, file, arch, prefix=prefix, suffix=suffix)
101 move_file(root, outroot, file, prefix=prefix, suffix
[all...]
H A Dgenerate-osx-source-and-headers.py45 suffix = "\n\n#endif" variable in class:desktop_platform_32
55 suffix = "\n\n#endif" variable in class:desktop_platform_64
57 def move_file(src_dir, dst_dir, filename, file_suffix=None, prefix='', suffix=''):
74 if suffix:
75 out_file.write(suffix)
79 def move_source_tree(src_dir, dest_dir, dest_include_dir, arch=None, prefix=None, suffix=None):
83 def move_dir(arch, prefix='', suffix='', files=[]):
91 move_file(root, dest_include_dir, file, arch, prefix=prefix, suffix=suffix)
95 move_file(root, outroot, file, prefix=prefix, suffix
[all...]
/seL4-l4v-10.1.1/HOL4/developers/
H A DgenUseScript.sml105 suffix : string}
107 val default_config = {dohelp = false, prefix = "", prelude = "", suffix = ""}
115 fun turnOnHelp _ = {dohelp = true, prefix = "", prelude = "", suffix = ""}
117 suffix = "\";",
119 fun setPrefix s {prefix,dohelp,suffix,prelude} =
120 {prefix = s, dohelp = dohelp, suffix = suffix, prelude = prelude}
121 fun setSuffix s {prefix,dohelp,suffix,prelude} =
122 {prefix = prefix, dohelp = dohelp, suffix = s, prelude = prelude}
136 {short = "s", long = ["suffix"],
[all...]
/seL4-l4v-10.1.1/HOL4/src/quantHeuristics/
H A DquantHeuristicsLibFunRemove.sig17 The string is suffix used for the new variable names and the
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/regular-play/src/
H A Demit_regexScript.sml81 ignore (List.map (fn suffix => ignore (OS.Process.system ("cp " ^ (OS.Path.concat(!Globals.emitMLDir, name ^ suffix)) ^ " " ^ emitDir))) ["ML.sml", "ML.sig"]);
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DParseDoc.sig31 the set in an appropriate order, and stripped of their .doc suffix.
34 stripped of its .doc suffix and returns the "core" part of the name.
H A DHOLPage.sml20 else let val (prefix, suffix) = splitAt(full s2, sz2 - sz1)
21 in if string suffix = s1 then SOME (string prefix) else NONE
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/chronos/
H A Dparser.py15 # These instructions can have the s suffix to set condition codes.
36 # These instructions cannot have the s suffix.
205 suffix = tmp_mnemonic[-1]
206 assert suffix in ('b', 'h')
207 if suffix == 'b':
209 elif suffix == 'h':
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Dclosures.c288 static const char suffix[] = "/ffiXXXXXX"; local
312 tempname = __builtin_alloca (lendir + sizeof (suffix));
318 memcpy (tempname + lendir, suffix, sizeof (suffix));
/seL4-l4v-10.1.1/HOL4/src/enumfset/
H A DinttoTacs.sml25 (* integer parsing remains deprecated; note use of suffix i below. *)
H A DinttoScript.sml39 (* integer parsing remains deprecated; note use of suffix i below. *)
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DenvTools.sml101 val (suffix,_) = List.foldl (fn (((q,s),(q',s')),(l,done)) => (* suffix of (ie2,ie') upto the differing mapping *) value
105 val res = if List.length suffix=1 then (ie_eqth,REFL ie') (* diff map already at the end *)
107 val (suff,suff') = ListPair.unzip suffix
/seL4-l4v-10.1.1/HOL4/examples/PSL/regexp/
H A DregexpScript.sml71 ?prefix w suffix.
72 (L = prefix <> [w] <> suffix) /\ EVERY ($~ o P) prefix /\ P w``,
77 [MAP_EVERY Q.EXISTS_TAC [`[]`, `h`, `prefix <> [w] <> suffix`]
79 MAP_EVERY Q.EXISTS_TAC [`h::prefix`, `w`, `suffix`] THEN
405 `sem r w /\ EVERY (sem r) suffix` by FULL_SIMP_TAC list_ss [EVERY_APPEND]
407 `CONCAT wlist = CONCAT (w::suffix)`
411 `MEM (w,CONCAT suffix) (TL(SPLITS(CONCAT wlist)))`
/seL4-l4v-10.1.1/HOL4/tools-poly/Holmake/
H A DwinNT-systeml.sml27 (* the _ps suffix stands for 'protected string', as opposed to the 'l'
/seL4-l4v-10.1.1/isabelle/src/Pure/System/
H A Disabelle_system.scala175 val suffix = if (ext == "") "" else "." + ext
176 val file = Files.createTempFile(base_dir.toPath, name, suffix).toFile
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/
H A Disabelle_system.scala175 val suffix = if (ext == "") "" else "." + ext
176 val file = Files.createTempFile(base_dir.toPath, name, suffix).toFile
/seL4-l4v-10.1.1/HOL4/examples/STE/
H A DSTEScript.sml69 (* Definition of suffix *)
229 (* Definition of suffix of a Boolean valued sequence *)
331 | the jth suffix of the lattice |
585 (* A rather obvious but useful lemma that the 0th suffix of the sequence
598 circuit model then every suffix of that sequence is in the language
628 (* Following up from Proposition above, clearly the first suffix is
644 then the ith suffix of sigma is less than or equal to the ith suffix
885 DefSeq tf t n returns a value less than the first suffix of the sequence
1211 if the ith suffix o
[all...]
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DGlobals.sml152 * SOME s, increment a numerical suffix and append it to s. *
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DwinNT-systeml.sml32 (* the _ps suffix stands for 'protected string', as opposed to the 'l'
/seL4-l4v-10.1.1/HOL4/polyml/Tests/
H A DRunTests.sml17 (* First in list is the name with no suffix. *)
/seL4-l4v-10.1.1/seL4/libsel4/tools/
H A Dbitfield_gen.py1260 def set_base(self, base, base_bits, base_sign_extend, suffix):
1263 self.constant_suffix = suffix
2142 def set_base(self, base, base_bits, base_sign_extend, suffix):
2144 self.constant_suffix = suffix
2655 suffix = suffix_map[base] variable
2656 b.set_base(base, base_bits, base_sign_extend, suffix)
2669 suffix = suffix_map[base] variable
2671 u.set_base(base, base_bits, base_sign_extend, suffix)
/seL4-l4v-10.1.1/seL4/manual/tools/libsel4_tools/
H A Dbitfield_gen.py1260 def set_base(self, base, base_bits, base_sign_extend, suffix):
1263 self.constant_suffix = suffix
2142 def set_base(self, base, base_bits, base_sign_extend, suffix):
2144 self.constant_suffix = suffix
2655 suffix = suffix_map[base] variable
2656 b.set_base(base, base_bits, base_sign_extend, suffix)
2669 suffix = suffix_map[base] variable
2671 u.set_base(base, base_bits, base_sign_extend, suffix)
/seL4-l4v-10.1.1/seL4/tools/
H A Dbitfield_gen.py1260 def set_base(self, base, base_bits, base_sign_extend, suffix):
1263 self.constant_suffix = suffix
2142 def set_base(self, base, base_bits, base_sign_extend, suffix):
2144 self.constant_suffix = suffix
2655 suffix = suffix_map[base] variable
2656 b.set_base(base, base_bits, base_sign_extend, suffix)
2669 suffix = suffix_map[base] variable
2671 u.set_base(base, base_bits, base_sign_extend, suffix)
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A DarmAssemblerLib.sml81 (addError ("Instruction has ." ^ x ^ " suffix"); p1)
85 (addError ("Instruction has ." ^ x ^ " suffix"); p1)
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dfile_readerLib.sml204 fun get_filename suffix = base_name ^ suffix;

Completed in 331 milliseconds

123