/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | generate-ios-source-and-headers.py | 50 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 D | generate-osx-source-and-headers.py | 45 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 D | genUseScript.sml | 105 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 D | quantHeuristicsLibFunRemove.sig | 17 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 D | emit_regexScript.sml | 81 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 D | ParseDoc.sig | 31 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 D | HOLPage.sml | 20 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 D | parser.py | 15 # 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 D | closures.c | 288 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 D | inttoTacs.sml | 25 (* integer parsing remains deprecated; note use of suffix i below. *)
|
H A D | inttoScript.sml | 39 (* integer parsing remains deprecated; note use of suffix i below. *)
|
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
H A D | envTools.sml | 101 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 D | regexpScript.sml | 71 ?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 D | winNT-systeml.sml | 27 (* the _ps suffix stands for 'protected string', as opposed to the 'l'
|
/seL4-l4v-10.1.1/isabelle/src/Pure/System/ |
H A D | isabelle_system.scala | 175 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 D | isabelle_system.scala | 175 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 D | STEScript.sml | 69 (* 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 D | Globals.sml | 152 * SOME s, increment a numerical suffix and append it to s. *
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | winNT-systeml.sml | 32 (* the _ps suffix stands for 'protected string', as opposed to the 'l'
|
/seL4-l4v-10.1.1/HOL4/polyml/Tests/ |
H A D | RunTests.sml | 17 (* First in list is the name with no suffix. *)
|
/seL4-l4v-10.1.1/seL4/libsel4/tools/ |
H A D | bitfield_gen.py | 1260 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 D | bitfield_gen.py | 1260 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 D | bitfield_gen.py | 1260 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 D | armAssemblerLib.sml | 81 (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 D | file_readerLib.sml | 204 fun get_filename suffix = base_name ^ suffix;
|