Searched refs:glob (Results 1 - 10 of 10) sorted by relevance
| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver443a.c | 9 } glob; variable in typeref:struct:foo
12 return &glob;
|
| /seL4-l4v-master/l4v/misc/scripts/ |
| H A D | gen_isabelle_root.py | 15 import glob namespace
60 theories += sorted(glob.glob(os.path.join(d, "*.thy")))
|
| /seL4-l4v-master/HOL4/tools/Holmake/ |
| H A D | parse_glob.sig | 13 shell glob-expression s. Glob-expressions use the ?, [ and *
|
| H A D | internal_functions.sig | 59 [wildcard s] treats s as a "shell glob" pattern and matches it
|
| /seL4-l4v-master/l4v/tools/autocorres/tools/ |
| H A D | release.py | 11 import glob namespace
47 """Recursively find files matching glob pattern 'pattern', from base
75 g = glob.glob(os.path.join(base, pattern))
275 for f in glob.glob(os.path.join(target_dir, "autocorres", "tests", "parse-tests", "*.c")):
|
| /seL4-l4v-master/isabelle/src/Pure/Tools/ |
| H A D | mkroot.scala | 145 """syntax: glob
|
| /seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
| H A D | mkroot.scala | 145 """syntax: glob
|
| /seL4-l4v-master/l4v/tools/autocorres/tools/stats/ |
| H A D | stats.py | 15 import glob namespace
|
| /seL4-l4v-master/graph-refine/ |
| H A D | loop_bounds.py | 333 def save_bound (glob, split_bin_addr, call_ctxt, prob_hash, prev_bounds, bound,
340 if glob:
344 if glob:
|
| /seL4-l4v-master/HOL4/Manual/Description/ |
| H A D | misc.tex | 591 \item[\texttt{\$(wildcard pattern)}] expands the shell ``glob'' pattern (\eg, \texttt{*Script.sml}) into the list of matching filenames.
|
Completed in 118 milliseconds