Searched refs:re (Results 1 - 25 of 175) sorted by last modified time

1234567

/seL4-l4v-10.1.1/seL4/libsel4/tools/
H A Dsyscall_header_gen.py19 import re namespace
216 words = re.findall('[A-Z][A-Z]?[^A-Z]*', s)
H A Dbitfield_gen.py24 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 Dsyscall_header_gen.py19 import re namespace
216 words = re.findall('[A-Z][A-Z]?[^A-Z]*', s)
H A Dbitfield_gen.py24 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 Dsyscall_header_gen.py19 import re namespace
216 words = re.findall('[A-Z][A-Z]?[^A-Z]*', s)
H A Dlex.py40 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 Dcircular_includes.py20 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 Dbitfield_gen.py24 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 Dparse_doxygen_xml.py21 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 Dthreads.tex283 attempt to re-configure \texttt{bp\_num} for Breakpoint or Watchpoint usage until
H A Dcspace.tex250 re-use.
H A Dapi.tex102 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 Dlhs_pars.py14 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 Dsummary.py14 import re namespace
20 m = re.search(r, str)
H A Dstats.py21 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 Drelease.py17 import re namespace
239 sessions = ['session ' + re.sub(r'\(\*.*?\*\)', '', x, flags=re.DOTALL)
/seL4-l4v-10.1.1/l4v/misc/zsh/
H A Disabelle_session_names.py12 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 Dthydeps24 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 Disasymbols.py14 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 Dbenchmark.py15 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 Dintro.tex18 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 Dpretty_text_area.scala215 val re = Library.make_regex(s)
216 (re, re.isDefined)
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dpretty_text_area.scala215 val re = Library.make_regex(s)
216 (re, re.isDefined)
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DStream.sig15 (* If you're wondering how to create an infinite stream: *)
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DStream.sig15 (* If you're wondering how to create an infinite stream: *)

Completed in 126 milliseconds

1234567