/seL4-l4v-10.1.1/seL4/libsel4/tools/ |
H A D | syscall_header_gen.py | 19 import re namespace 216 words = re.findall('[A-Z][A-Z]?[^A-Z]*', s)
|
H A D | bitfield_gen.py | 24 import re namespace 2686 search_re = re.compile('[a-zA-Z0-9_]+'); 2807 guard = re.sub(r'[^a-zA-Z0-9_]', '_', out_file.filename.upper())
|
/seL4-l4v-10.1.1/seL4/manual/tools/libsel4_tools/ |
H A D | syscall_header_gen.py | 19 import re namespace 216 words = re.findall('[A-Z][A-Z]?[^A-Z]*', s)
|
H A D | bitfield_gen.py | 24 import re namespace 2686 search_re = re.compile('[a-zA-Z0-9_]+'); 2807 guard = re.sub(r'[^a-zA-Z0-9_]', '_', out_file.filename.upper())
|
/seL4-l4v-10.1.1/seL4/tools/ |
H A D | syscall_header_gen.py | 19 import re namespace 216 words = re.findall('[A-Z][A-Z]?[^A-Z]*', s)
|
H A D | lex.py | 40 import re, sys, types, copy, os namespace 67 _is_identifier = re.compile(r'^[a-zA-Z0-9_]+$') 126 # tuples (re,findex) where re is a compiled 138 self.lexreflags = 0 # Optional re compile flags 248 titem.append((re.compile(lre[i][0],lextab._lexreflags),_names_to_funcs(lre[i][1],fdict))) 487 # form the master regular expression. Given limitations in the Python re 495 lexre = re.compile(regex,re.VERBOSE | reflags) 765 c = re [all...] |
H A D | circular_includes.py | 20 import re namespace 33 ignore_args = [re.escape(ignore) for ignore in ignore_args] 35 ignore_re = re.compile(r'^# 1 ".*' + ignore_re_string + '"') 37 header_re = re.compile(r'^# (\d+) "(.*\..)"')
|
H A D | bitfield_gen.py | 24 import re namespace 2686 search_re = re.compile('[a-zA-Z0-9_]+'); 2807 guard = re.sub(r'[^a-zA-Z0-9_]', '_', out_file.filename.upper())
|
/seL4-l4v-10.1.1/seL4/manual/tools/ |
H A D | parse_doxygen_xml.py | 21 import re namespace 60 escape_regex = re.compile(re.escape('|'.join(self.ESCAPE_PATTERNS.keys()))) 462 match_details = re.match( r'^DOCREF$', details, re.M|re.I) 466 details_string = "**Description:** " + re.sub(r"\n(?!\n)", " ", details) 468 ret_string = "**Return value:** " + re.sub("\n(?!\n)", " ", ret) 471 ret_string = re.sub(r'DOCREF', "", ret_string) 472 details_string = re [all...] |
/seL4-l4v-10.1.1/seL4/manual/parts/ |
H A D | threads.tex | 283 attempt to re-configure \texttt{bp\_num} for Breakpoint or Watchpoint usage until
|
H A D | cspace.tex | 250 re-use.
|
H A D | api.tex | 102 functionality: if this is \texttt{true}, the caller should not attempt to re-use \texttt{bp\_num}
|
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/ |
H A D | lhs_pars.py | 14 import re namespace 362 """Close and then re-open a locale so instantiations can go through""" 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 [all...] |
/seL4-l4v-10.1.1/l4v/tools/autocorres/tools/stats/ |
H A D | summary.py | 14 import re namespace 20 m = re.search(r, str)
|
H A D | stats.py | 21 import re namespace 175 m = re.match("^SC: ([A-Za-z0-9]+): ([^ ]+) (\d+) LoS: (\d+)$", line)
|
/seL4-l4v-10.1.1/l4v/tools/autocorres/tools/ |
H A D | release.py | 17 import re namespace 239 sessions = ['session ' + re.sub(r'\(\*.*?\*\)', '', x, flags=re.DOTALL)
|
/seL4-l4v-10.1.1/l4v/misc/zsh/ |
H A D | isabelle_session_names.py | 12 import sys, re namespace 45 sessions += [unquote(s) for s in re.findall('session\s+("[^"]*"|\S+)', root)]
|
/seL4-l4v-10.1.1/l4v/misc/scripts/ |
H A D | thydeps | 24 import re 60 m = re.match(r'Session (' + session_name_re + ')/(' + session_name_re + ')(?: \(.*\))?', l)
|
/seL4-l4v-10.1.1/l4v/misc/pysymbols/isasymbols/ |
H A D | isasymbols.py | 14 import codecs, collections, numbers, re, types namespace 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/l4v/misc/benchmark-isabelle/ |
H A D | benchmark.py | 15 import re namespace 50 re.compile('^result:: (.*)$', re.MULTILINE), 51 re.compile('^category:: (.*)$', re.MULTILINE), 52 re.compile('^\*\*\* (.*)$', re.MULTILINE),
|
/seL4-l4v-10.1.1/l4v/camkes/adl-spec/document/ |
H A D | intro.tex | 18 assembled to form a re-usable composite, that can then be referenced within
|
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
H A D | pretty_text_area.scala | 215 val re = Library.make_regex(s) 216 (re, re.isDefined)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | pretty_text_area.scala | 215 val re = Library.make_regex(s) 216 (re, re.isDefined)
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Stream.sig | 15 (* If you're wondering how to create an infinite stream: *)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Stream.sig | 15 (* If you're wondering how to create an infinite stream: *)
|